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