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

...льних <math>k,r \in \N,</math> залишається відкритим. Усі відомі доведення теореми ван дер Вардена дають лише верхні межі для визначення цих чисел. Найкращий [[Категорія:Теореми дискретної математики|Вардена]] ...

Довів [[Густав Роберт Кірхгоф|Густав Кірхгоф]] 1847 року; мотивуванням цієї теореми стали розрахунки [[Електричне коло|електричних кіл]]<ref> {{Стаття|author=K З матричної теореми виводиться: ...

[[Георг Кантор]] вважав, що твердження цієї теореми є «фундаментальним принципом думки».<ref>Georg Cantor (1883), «Ueber unendl ...oodle.nati.org.ua/mod/resource/view.php?id=9295 |назва=Вступ до дискретної математики |місце=Львів |видавництво=Видавничий центр ЛНУ ім. І.Франка |рік=2003 |page ...

'''Теорема про друзів і незнайомців''' є математичною теоремою у області математики з назвою [[теорія Ремзі]]. Доказ теореми не вимагає нічого, крім триступеневої логіки. Зручно викласти цю проблему н ...

[[Категорія:Теореми дискретної математики|Цибенко]] ...

...орем схем, які обґрунтовують ефективність інших класів алгоритмів, зокрема теореми схем для генетичного програмування. [[Категорія:Теореми дискретної математики|Схем]] ...

Як це часто буває в математиці, назва цієї теореми не правильно відображає її історію. Традиційна назва «Шредера-Бернштейна» ґ * 1895&nbsp;— [[Георг Кантор]] подає твердження теореми у своїй першій роботі з теорії множин. ...

...множина|скінченні множини]], що уточнює один з наслідків [[теорема Рамзея|теореми Рамсея]]. Тоді як теорема Рамсея полегшує доведення того, що кожна послідов ...ними способами; {{harvtxt|Steele|1995}} робить огляд шести різних доведень теореми, включно з наступними двома.<ref name="steele">{{citation ...

...иреніша [[аксіоматика теорії множин]], і, через це, найпоширеніша [[основа математики]]. ...н лежить система аксіом, які приймають без доведення і з яких виводять усі теореми теорії множин. Передумовами створення такої теорії стало відкриття деяких п ...

...ого, як було встановлено, що множина ''X'' містить лише непорожні множини, математики б говорили так: «нехай ''F(s)'' буде одним із членів ''s'' для всіх ''s'' в В різних галузях математики існують теореми, що в [[ZFC]] є [[Твердження, еквівалентні аксіомі вибору|еквівалентними до ...

...бієктивного доведення корисна в галузях [[Дискретна математика|дискретної математики]], таких як [[комбінаторика]], [[теорія графів]] та [[теорія чисел]]. * Бієктивні доведення {{Не перекладено|Теорема про п'ятикутні числа|теореми про п'ятикутні числа|en|pentagonal number theorem}}. ...

Зміст цієї теореми полягає в тому, що в рамках ординалістського підходу не існує методу об'єдн == Доказ теореми Ерроу == ...

...кінче́нною матема́тикою'''. Іноді саме це поняття розширюють до дискретної математики. Крім вказаних скінченних структур, дискретна математика вивчає деякі систе == Історія дискретної математики == ...

:: ''Ця стаття&nbsp;— частина огляду [[Історія математики]].'' ...[[Галілео Галілей]] два тисячоліття тому: «''книга природи написана мовою математики''»<ref> {{книга | автор = Шмутцер Е., Шютц В. | назва = Галілео Галілей | м ...

Для цілей теореми Шпрага-Гранді, '''''гра''''' — це [[послідовна гра]] для двох гравців з [[Г Як проміжний крок до доведення основної теореми ми покажемо це для кожної позиції <math>G</math> і кожної <math>\mathcal{P} ...

...аналіз постав визначною віхою в історії науки і сформував обличчя сучасної математики. Аналіз швидко перетворився на надзвичайно потужний інструмент для дослідни ...тематики. Межею, від якої ведеться відлік епохи нової (іноді&nbsp;— вищої) математики, стало [[XVII століття]]. Саме в XVII столітті з'явився математичний аналіз ...

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

...тичного аналізу]] (чим відрізняється від [[Дискретна математика|дискретної математики]]). Основні вимоги до числових методів, щоб вони були [[Числова стійкість|с ...енних об'ємів]]. Теоретичне обґрунтування цих методів часто використовують теореми [[Функціональний аналіз|функціонального аналізу]]. Ці методи зводять задачу ...

Оскільки ядра гомоморфізмів є ідеалами, то для алгебр Лі має місце [[Теореми про ізоморфізми|перша теорема про ізоморфізм]]. Згідно {{нп|Розклад Леві|теореми Леві||Levi decomposition}}, скінченновимірна алгебра Лі є напівпрямим добут ...

...за|ергодичної гіпотези]] з [[Теорія міри|теорією міри]], за допомогою цієї теореми було вирішено фундаментальну проблему статистичної механіки. Ергодична теор ...еорему про періоди дискретних динамічних систем]]. Одним із наслідків цієї теореми є те, що якщо дискретна динамічна система на дійсній прямій має [[Періодичн ...