ВУЗ:
Составители:
Рубрика:
Самара 2002
УДК 519.1.
Задания к выполнению контрольной работы по курсу “Математическая логика
и теория алгоритмов” для студентов заочного обучения по специальности
071900 “Информационные системы в технике и технологиях” . – Самара:
СамИИТ, 2002. - 7 с.
Утверждено на заседании кафедры ИИС 30.11.2001., протокол № 4.
Печатается по решению редакционно-издательского совета института.
Данная методическая разработка содержит варианты заданий
для
выполнения контрольной работы по курсу “Математическая логика и теория
алгоритмов”.
Предназначена для студентов заочного обучения по специальности
071900 “Информационные системы в технике и технологиях”.
Составители: Никищенков Сергей Алексеевич, к.т.н., доцент кафедры ИИС,
Смышляев Валерий Анатольевич, к.т.н., доцент кафедры ИИС,
Юшков Сергей Анатольевич, к.т.н.,
доцент кафедры ИИС.
Рецензент: Васин Н.Н., д.т.н., профессор, зав. кафедрой ТКЖТ.
Редактор: И.А.Егорова.
Подписано в печать 20.05.2002 г.
Тираж 200 Заказ № 64
