Пропуск в контексте

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

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным...

全面介紹

Сохранить в:
書目詳細資料
主要作者: Ганичева А. В.
格式: Книга
語言:Russian
出版: Санкт-Петербург Лань 2024
版:2-е изд., стер.
主題:
在線閱讀:https://e.lanbook.com/book/426269
https://e.lanbook.com/img/cover/book/426269.jpg
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
實物特徵
總結:Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
實物描述:92 с.
讀者:Книга из коллекции Лань - Математика
參考書目:Библиогр.: доступна в карточке книги, на сайте ЭБС Лань
ISBN:978-5-507-51643-8