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

{{Проблеми тисячоліття}} Зараз проблема рівності класів P і NP є однією із семи [[проблеми тисячоліття|проблем тисячоліття]], за вирішення якої [[Математичний інститу ...

== Теоретичні проблеми == [[Категорія:Нерозв'язані проблеми інформатики]] ...

...У 1953 році він опублікував роботу, в якій намітив шлях вирішення десятої проблеми в [[Натуральні числа|натуральних числах]]. ...а саму множину також назвав діофантова. Для доказу нерозв'язності десятої проблеми потрібно було лише показати діофантовість будь-якої [[Зліченна множина|зліч ...

...чки зору [[Теорія складності обчислень|теорії складності]], зокрема теорії проблеми поліноміального часу. Те, що функція не є [[бієкція|бієкцією]] не є достатн [[Категорія:Нерозв'язані проблеми інформатики]] ...

...s?id=L7HMACFgnXMC&pg=PA32}}</ref> Це початковий набір кандидатських рішень проблеми до того, як сукупність кандидатів була звужена. ...ною. Випуклі допустимі множини виникають у багатьох видах задач, включаючи проблеми лінійного програмування, і вони представляють особливий інтерес, оскільки, ...

...еза Рімана входить до списків [[Проблеми Гільберта|проблем Гільберта]] і [[Проблеми тисячоліття|завдань тисячоліття]]. ...до списку завдань тисячоліття і є однією з головних проблем [[Інформатика|інформатики]]. Неформально, але досить точно питання зводиться до того, чи можна будь-я ...

[[Категорія:Нерозв'язані проблеми інформатики]] ...

== Ранні праці з інформатики == ...азивати [[Автомат Мура|автоматами Мура]]. Наприкінці статті, у главі «Нові проблеми» Мур формулює задачу про поліпшення оцінок отриманих ним у теоремах 8 і 9: ...

...лічний моноїд. Таким чином, системи Thue є природною основою для вирішення проблеми слів для моноїдів та груп. По суті, кожен моноїд має представлення форми < * [[Прозорість посилань (інформатика)|Прозорість посилань]] в галузі інформатики ...

...ї''', є розділом [[Математична логіка|математичної логіки]], [[Інформатика|інформатики]] та [[Теорія алгоритмів|теорії обчислень]], що виникла в 1930-х роках з ви В свою чергу, в фокусі інформатики знаходяться теорія [[Теорія складності обчислень|субрекурсивних ієрархій]], ...

...рії]], [[математика|математики]], [[статистика|статистики]], [[інформатика|інформатики]], [[нейробіологія|нейробіології]], [[фізика|фізики]] та [[електротехніка|е ...рованої обробки нейронної інформації в контексті {{li|проблема зв'язування|проблеми зв'язування|Q863678}} в [[когнітивна нейронаука|когнітивній нейронауці]].<r ...