Теория логического вывода - А. В. Ганичева
| Автор: | А. В. Ганичева |
| Издательство: | Издательство ЛАНЬ |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 0 |
| isbn: | 978-5-8114-7284-0 |
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.