Дисципліна ''Математична логіка і теорія алгоритмів'' входить до навчального плану підготовки дипломованих фахівців за напрямом 654600 - ''Інформатика та обчислювальна техніка'' за спеціальностями: 220100 - ''Обчислювальні машини, комплекси, системи і мережі''' і 220300 - ''Системи автоматизованого проектування'' на відкритому факультеті. Метою дисципліни є вивчення основних понять і методів математичної логіки та теорії алгоритмів, що використовуються в інформатиці та обчислювальній техніці; придбання умінь використання їх для побудови нескладних логічних моделей предметних областей, реалізації логічного висновку та оцінки обчислювальної складності алгоритмів; отримання уявлення про напрямки розвитку даної дисципліни та перспективи її використання в інформатиці та обчислювальній техніці. Робоча програма підготовлена на кафедрі Обчислювальної техніки факультету Комп'ютерних технологій та інформатики СПбГЕТУ. Читається на 3-му курсі: 51 година аудиторних занять (лекції 34 год. Курсова робота 17 годин. ).