Математическая логика
Миронов А.М.
Содержание.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Litres
غواړئ کتاب پلورنځي ته اضافه وکړئ؟ مونږ سره د support@z-lib.do له لارې اړیکه ونیسئ
File converter
د لټون نورې نبیجې
More benefits 
![Сергей Н. Тронин — Введение в универсальную и категорную алгебру. Часть 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)
