Теория логического вывода. Учебное пособие для вузов
Soon
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Go to description and details| Publisher | Лань |
| Series | Математика |
| Pages | 92 |
| Language | Русский |
| ISBN | 978-5-8114-7284-0 |
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
| Publisher | Лань |
| Series | Математика |
| Pages | 92 |
| Language | Русский |
| ISBN | 978-5-8114-7284-0 |
| Cover | Мягкий переплёт |
| Paper | Офсет |
| Illustrations | Черно-белые |
| Dimensions | 165 × 4 × 235 mm |
| Weight, g | 140 |
