Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные...
ISBN: 978-5-8114-1666-0
Издательство:
Лань
Дата выхода: июнь 2014
Найденных опечаток пока нет
Добавить запись