Имеет ли отношение математическая логика к тому, что необходимо знать специалисту по ЭВМ?
Мы надеемся, что в результате изучения этого курса слушатель убедится. что имеет, и самое непосредственное. Так, главы III и IV имеют отношение к алгоритмическому проектированию электронных схем; главы V и VI — к автоматическому порождению синтаксически правильных текстов, т.е. к специальному программированию; остаток книги посвящен основам теории алгоритмов: здесь обсуждаются, какие задачи вообще являются алгоритмически разрешимыми и какова сложность соответствующих алгоритмов. В главах I и II собран материал по началам теории множеств, необходимый для понимания остального текста (как, впрочем, и почти всей математики).
