Теория сложности +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