Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены...
Nastojaschee uchebnoe posobie prednaznacheno dlja izuchenija matematicheskoj logiki i teorii algoritmov. V njom opisany jazyk logiki vyskazyvanij i jazyk logiki predikatov pervogo porjadka, semantika etikh jazykov. Na osnove obschego ponjatija ischislenija izlozheny...