Теория алгоритмов

МЕНЮ


Искусственный интеллект
Поиск
Регистрация на сайте
Помощь проекту

ТЕМЫ


Новости ИИРазработка ИИВнедрение ИИРабота разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика

Авторизация



RSS


RSS новости


Лектор: Илья Мещерин

Основы теории множеств и логика Теорема Чёрча Машина Тьюринга Проблема равенства слов
Общезначимые формулы
Теорема Гёделя (начало доказательства)

Комментарии: