Математическая логика и теория алгоритмов (МФТИ)

МЕНЮ


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

ТЕМЫ


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

Авторизация



RSS


RSS новости


Курс охватывает такие классические темы, как теория множеств, пропозициональная логика, логика первого порядка, теория моделей, теория вычислимых функций, лямбда-исчисление, формальная арифметика.


Источник: vk.com

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