Введение в математическую логику и теорию алгоритмов

МЕНЮ


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

ТЕМЫ


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

Авторизация



RSS


RSS новости

Новостная лента форума ailab.ru


Введение в математическую логику и теорию алгоритмов

1.Логические формулы

2.Оценки. Булевы функции

3.Булева алгебра 1

4.Булева алгебра 2

5.Система аксиом

6.Логика предикатов

7.Эквивалентность моделей

8.Нормальные модели

9.Теории и модели

10.Преобразование формул


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

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