Рабочая программа учебной дисциплины
Направление подготовки: 15.03.04 Автоматизация технологических процессов и производств
Профиль: Системы автоматизации технологических процессов и производств, очная форма обучения, КСУП
Учебный план набора 2020 года
Кафедра компьютерных систем в управлении и проектировании
Основная литература
Дополнительная литература
Клини С.К. Математическая логика: Пер. англ. - 3-е изд.,стереотип. - М. : КомКнига, 2007 ; М.: УРСС, 2007. 480 с. ISBN 978-5-484-00802-5 (20 экз.)
Доступно в библиотеке:
20
экземпляров
Дисциплины
Математическая логика и теория алгоритмов
Направление подготовки (специальность): 15.03.04 Автоматизация технологических процессов и производств
Профиль: Системы автоматизации технологических процессов и производств
Индекс дисциплины: Б1.Б.03.05
Форма обучения: очная
Факультет: ФВС
Кафедра: КСУП
Курс:
Семестр:
Учебный план набора 2020 года
Пн. – пт., 8:30 – 17:30, обед, 13:00 – 14:00