В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
V dannom uchebnom posobii izlagajutsja osnovy teorii formalnykh sistem i teorii algoritmov. V knige rassmatrivajutsja primery klassicheskogo i intuitsionistskogo ischislenija vyskazyvanij gilbertovskogo tipa, a takzhe ischislenie predikatov, osnovy formalnoj logiki pervogo porjadka i osnovy teorii algoritmov. V knige soderzhitsja bolshoe kolichestvo raznoobraznykh zadach, kotorye pomogut luchshemu usvoeniju materiala, takzhe v knige dany otvety k zadacham s podrobnym razborom reshenij i ukazanijami, chto pozvoljaet studentam ispolzovat posobie pri samostojatelnoj rabote. V spravochnom prilozhenii dlja udobstva chitatelej razjasnjaetsja smysl ponjatij, ne opredelennykh v osnovnom tekste.
