Математическая логика
Миронов А.М.
Содержание.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Litres
Хотите добавить книжный магазин? Свяжитесь с нами по support@z-lib.do
Конвертируйте файлы
Больше результатов поиска
Другие преимущества 
![Сергей Н. Тронин — Введение в универсальную и категорную алгебру. Часть I. Классическая алгебра [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/e6fdf0012e3e4c9570f522da8581c8054b608da3baf847bbaefcd908c6256053.jpg)
![Сергей Н. Тронин — Введение в универсальную и категорную алгебру. Часть II. Универсальная алгебра [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/dc0562e70887c6dd6adccde33e30950118aea7bf29bba219bbc02d93297bf2aa.jpg)
