Математическая логика
Миронов А.М.
Содержание.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя.
Модальная логика.
Нечеткие логики.
Litres
ต้องการเพิ่มร้านหนังสือ? ติดต่อเราได้ที่ support@z-lib.fm
สามารถแปลงไฟล์ได้
ผลการค้นหาเพิ่มเติม
สิทธิประโยชน์อื่นๆ 
![Сергей Н. Тронин — Введение в универсальную и категорную алгебру. Часть 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)
