Математическая логика и теория алгоритмов, Часть 2

МЕНЮ


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

ТЕМЫ


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

Авторизация



RSS


RSS новости


2.3. Отношения

2.4. Специальные свойства отношений

2.5. Эквивалентность и порядок

2.6. Функции(отображения)

3.1. Пропозициональная логика

3.3. Язык логики высказываний

3.4.Тавтологии

3.5.Равносильности

4.1.Языки первого порядка. Предикаты и кванторы

4.2.Термы и формулы


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

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