Цена: 1 250 ₽
Издательство: Наука
Год издания: 1983
Книга посвящена математической логике и автоматическому доказательству теорем. Рассматриваются основные понятия и методы математической логики, а также алгоритмические аспекты доказательства теорем. Особое внимание уделяется построению систем автоматического доказательства. Книга предназначена для специалистов в области математики, информатики и кибернетики, а также для студентов соответствующих специальностей.
#Математическая логика #теория алгоритмов #доказательство теорем #автоматическое доказательство