Введение в логику. Курс лекций

МЕНЮ


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

ТЕМЫ


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

Авторизация



RSS


RSS новости

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


2018-09-29 21:05

кибернетика

Введение в математическую логику. Курс основан на первой главе учебника по математике Романа Добровенского. Классическая логика является формальной основой для 99% современной математики. Несмотря на то, что логика, вроде бы, стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения.

Список лекций:

Лекция 1. Базовые понятия логики, логические операции, наша первая теорема и закон де Моргана;

Лекция 2. Представление функций через базовые операции;

Лекция 3. Решение "Самой сложной логической задачи";

Лекция 4. Предикаты, кванторы, множества и подмножества;

Лекция 5. Рассматриваем систему математических доказательств;

Лекция 6. Парадоксы классической логики и заключение.

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