Курс математической логики и теории вычислимости. Учебное пособие
Автор:Герасимов А.С. Год: 2014 Издание:Лань Страниц: [не указано] ISBN: 9785811416660 Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены...