Теория сложности +14 20.11.2023 11:46 badcasedaily1 2 Программирование Алгоритмы Анализ и проектирование систем Аналитика мобильных приложений Блог компании OTUS
Вычислительная сложность некоторых игр и головоломок (часть 2) +13 29.06.2023 08:03 jasiejames 4 Алгоритмы Математика Логические игры Блог компании FirstVDS
Есть проблемы гораздо сложнее, чем NP-Complete +43 06.06.2023 08:01 Albert_Wesker 1 Алгоритмы Информационная безопасность Математика Криптография Блог компании Timeweb Cloud
Специалисты по информатике расширяют рубежи проверяемого знания +16 18.07.2019 07:00 SLY_G 0 Математика Квантовые технологии
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8 29.04.2019 14:32 scp1001 3 Информационная безопасность PHP Python Ненормальное программирование Децентрализованные сети
Формальная верификация на примере задачи о волке, козе и капусте +27 22.04.2019 12:42 scp1001 48 Информационная безопасность Из песочницы
Что такое логическое программирование и зачем оно нам нужно +27 04.02.2019 07:35 varagian 16 Программирование Алгоритмы Математика Data Mining Prolog
Краткое руководство по сложным вычислительным задачам +28 28.08.2018 12:00 SLY_G 8 Математика Алгоритмы
О сложности выращивания сакуры: как я участвовал в Ludum Dare 34 +62 04.01.2016 11:00 ripatti 17 Алгоритмы Game Development Математика