книги Без категории

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

Код 5556226

  • ISBN: 978-5-507-51643-8
  • 92 страницы
  • сентябрь 2024
  • Лань

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 11.12.2025; планируемая отправка: 12.12.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 08.12.2025; планируемая отправка: 09.12.2025

Аннотация к книге "Теория логического вывода. Учебное пособие для вузов, 2-е изд., стер"

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

Оставить комментарий

Оцените книгу:

Издательство: Лань
Дата выхода: сентябрь 2024
ISBN: 978-5-507-51643-8
Объём: 92 страниц

Вместе с этой книгой покупают

Просмотренные товары