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