4 Семестр
Основная
-
О.Кузнецов,
Г.М. Адельсон-Вельский. Дискретная
математика для инженера // Энергоатомиздат,
М. - 1988.
-
А.
Фудзисава, Т. Касами. Математика для
радиоинженеров. Теория дискретных
структур // М., “Радио и связь”. 1984
-
Ч.Чень,
Р.Ли. Математическая логика и автоматическое
доказательство теорем // М., “Наука”,
1983.
Дополнительная
-
М.
Минский. Вычисления и автоматы. // М.
“Мир”,
1978
-
Д.
Биркгоф, Т. Барти. Современная прикладная
алгебра // М.
“Мир”,
1976
-
Р.Андерсон.
Доказательство правильности программ
// М., “Мир”, 1982
-
Э.
Дейкстра.
Дисциплина программирования // М., “Мир”,
1978
-
Д.
Грис.
Наука программирования // М., “Мир”,
1984
-
Г.
Майерс.
Искусство тестирования программ // М.,
“Финансы и статистика”,
1986
5-й
семестр
Основная
-
Ю.Г.Карпов.
Основы построения компиляторов // Л.,
ЛПИ, 1982
-
Дж.
Хантер. Проектирование компиляторов
// М. Мир, 1988
-
П.Льюис,
Д.Розенкранц, Р.Стирнз.
Теоретические
основы разработки компиляторов
// М. Мир, 1984
Дополнительная
-
А.
Ахо,
Дж. Ульман
Теория
синтаксического анализа, перевода и
компиляции
// М. Мир, 1978
-
Д.
Грис.
Конструирование компиляторов для
цифровых вычислительных машин
// М. Мир,
1975
-
Л.
Бек.
Введение в системное программирование
// М. Мир,
1988г., гл.
5
-
А.Н.Маслов,
Э.Д. Стоцкий (редакторы сборника). Языки
и автоматы, //,
"Радио
и связь", 1975
-
В.М.
Курочкин
(редактор сборника).
Семантика языков программирования
// М. Мир,
1980
Декан
факультета
Технической
кибернетики И.Г.Черноруцкий
Заведующий
кафедрой Распределенных вычислений
и
компьютерных сетей Ю.Г. Карпов
Автор Ю.Г.
Карпов