Результаты поиска

...льтет вычислительной математики и кибернетики МГУ|факультет вычислительной математики и кибернетики МГУ им. М. В. Ломоносова]] в 1994 году. Обучался в аспирантуре [[Факультет вычислительной математики и кибернетики МГУ|факультета ВМК]] 1994—1997 годах. ...

***Авторы теоремы выдвинули гипотезу, что на самом деле достаточно <math> \frac{1}{4} n^2</ma [[Категория:Теоремы дискретной математики|Э]] ...

...орема]] в [[Теория Рамсея|теории Рамсея]], частный случай [[Теорема Рамсея|теоремы Рамсея]]. ...ательство|Доказательство]] можно провести с помощью графа, записав условие теоремы именно в этом виде. ...

Доказательство теоремы Редфилда — Пойи опирается на [[Лемма Бёрнсайда|лемму Бёрнсайда]]{{sfn|Нефед Известны многочисленные обобщения теоремы Редфилда — Пойи{{sfn|Рыбников|с=74|1972}}. ...

[[Категория:Теоремы дискретной математики]] ...

...ва РАН. Также с 2004 года — профессор кафедры фундаментальной и прикладной математики Института информационных наук и технологий безопасности РГГУ, читает курсы Предложил геометрический подход к решению некоторых задач дискретной природы: ...

...вляется обобщением [[Основная теорема о рекуррентных соотношениях|основной теоремы о рекуррентных соотношениях]], которая предполагает, что подзадачи на каждо ...кра-Баззи для поиска асимптотики на <math>T(n)</math>, так как все условия теоремы выполнены. Сначала необходимо найти значение <math>p</math>, решив уравнени ...

...вного доказательства полезно в областях [[Дискретная математика|дискретной математики]], таких как [[комбинаторика]], [[теория графов]] и [[теория чисел]]. * Биективные доказательства {{не переведено 5|Теорема о пятиугольных числах|теоремы о пятиугольных числах||pentagonal number theorem}}. ...

...(математика)|графе]]. Является обобщением [[Теорема Татта о паросочетаниях|теоремы Татта о паросочетаниях]]; установлена и доказана {{не переведено 5|Берж, Кл ...ие формулы Татта — Бержа, а саму формулу можно рассматривать как обобщение теоремы Татта. ...

...ном множестве]]. Этот принцип часто используется в [[Дискретная математика|дискретной математике]], где устанавливает связь между объектами («кроликами») и конте ...ство=Де Агостини |год=2014 |страниц=144 |isbn=978-5-9774-0729-8 |серия=Мир математики: в 45 томах, том 34 |страницы=87 }}</ref>. Разделим квадрат на 4 четверти, ...

...является верхней границей решения в [[Теория графов|теоретико-графовой]] теоремы Краскала{{Переход|#Теорема Краскала|||Kruskal's tree theorem}}. TREE(3) в н [[Категория:Теоремы дискретной математики]] ...

Версия теоремы для бесконечных частично упорядоченных множеств: частично упорядоченное мно [[Файл:Dilworth-via-König.svg|thumb|300px|Доказательство теоремы Дилуорса через теорему Кёнига — построение двудольного графа из частичного ...

...рое является достаточно важным для всей [[дискретная математика|дискретной математики]]. Оно также существует в [[математическая логика|логике]] и [[линейная алг .../math><ref>''Капитонова Ю. В., Кривой С. Л., Летичевский А. А.'' Лекции по дискретной математике. - СПб., БХВ-Петербург, 2004. - isbn 5-94157-546-7. - c. 529</re ...

'''Комбинато́рика''' — раздел [[Математика|математики]], посвящённый решению задач, связанных с выбором и расположением элементов Комбинаторика тесно связана со многими другими областями математики — [[Алгебра|алгеброй]], [[Геометрия|геометрией]], [[Теория вероятностей|тео ...

:: ''Данная статья — часть обзора [[История математики]].'' ...лилео|Галилей]] два тысячелетия спустя: «''книга природы написана на языке математики''»<ref>{{книга |автор=Шмутцер Э., Шютц В. |заглавие=Галилео Галилей |ссылка ...

...тным основаниям послужила написанная Воеводским библиотека формализованной математики «Foundations», ставшая к середине 2010-х годов частью библиотеки [[UniMath] ...выразить и проверить достаточно сложные результаты из абстрактных разделов математики, которые ранее считались не формализуемыми программными средствами. ...

...ния конечный автомат изучается разделом [[Дискретная математика|дискретной математики]] — теория конечных автоматов. ...ьности из такого множества называется соответствующим регулярным событием. Теоремы Клини устанавливают, что в конечном автомате могут быть представлены регуля ...

...приведённое Ю. Г. Карповым в книге «Теория автоматов». Доказательство этой теоремы конструктивное, то есть мы дадим алгоритм, по которому для любой машины Тью * {{книга | автор = Нефёдов В. Н., Осипова В. А. | заглавие = Курс дискретной математики | место = М. | издательство = МАИ | год = 1992 | страниц = 260 | isbn = | ...

...награда за выдающиеся работы в области [[дискретная математика|дискретной математики]], вручаемая совместно {{нп5|Общество математической оптимизации|Обществом | за обобщение [[Теорема Форда — Фалкерсона|теоремы Форда — Фалкерсона]] на [[матроид]]ы<ref>Paul Seymour, «The matroids with t ...

...атика|информатике]], во многих разделах [[Дискретная математика|дискретной математики]]. * Из [[Теорема Гельфонда|теоремы Гельфонда]] следует, что если <math>a, b</math> — алгебраические числа (<ma ...