Google 
Аннотация: Теория логического вывода
| Автор/составитель | Ганичева Антонина Валериановна |
| Серия | Математика |
| Год выпуска | 2021 |
| ISBN | 978-5-8114-7284-0 |
| Производитель | Лань |
| Издательство | Лань |
| Количество томов | 1 |
| Количество страниц | 92 |
| Переплет | Мягкая обложка |
| Размеры | 235x164x5 мм |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 70x100/16 (170x240 мм) |
| Стандарт | 10 |
| Вес | 132 |
| Язык | русский |
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики - теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
