Математическая логика
Миронов А.М.
Содержание.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
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)
