Теория логического вывода. Учебное пособие для вузов

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальности «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
- Серия: Высшее образование (Лань)
- Жанр:Учебная литература
- Страницы: 93
- Формат: fb2, epub, pdf, txt
Советуем прочитать похожую литературу

Математические модели и методы оценки событий, ситуаций и процессов
В учебном пособии представлена база моделей, методик и алгоритмов по оценке стоимости, риска,...

Теория вероятностей
В пособии кратко и доходчиво изложены основные разделы теории вероятностей: алгебра событий,...

Математика для юристов
В данном учебном пособии в краткой, доступной и увлекательной форме с достаточным количеством...

Теория вероятностей и математическая статистика
Учебное пособие состоит из двух разделов: «Теория вероятностей», «Математическая статистика». В...

Практикум по математической статистике с примерами в Excel
Рассмотрены задачи оценки законов распределения, точечного и интервального оценивания числовых...

Математика для юристов
В данном учебнике в краткой, доступной и увлекательной форме с достаточным количеством таблиц,...
Отзывы (0)
Вам понравилось читать онлайн книгу «Теория логического вывода. Учебное пособие для вузов»? Уделите пару минут, что бы оставить полезный отзыв другому читателю.