Учебное пособие содержит полное изложение материала учеб? ных дисциплин «Математическая логика и теория алгоритмов» и...