Rambler's Top100





21
Гузовская А.Н. и др. Язык формального описания протоколов и
сервисов (ФОПС) / АН Латв. ССР. Институт Электроники и вычисли-
тельной техники. – Рига, 1986.
Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые
задачи. – М.: Мир, 1982.
Дейкстра Э. Взаимодействие последовательных процессов // Языки
программирования / под ред. Ф. Женюи. – М.: Мир, 1972. С. 9-86.
Ивлев Ю. В Логика / учебник для вузов. М.: 1998.
Институт международных образовательных программ. СПбГТУ,
1999.
Клини С. Математическая логика. – М.: Мир, 1978.
Кузнецов О.Я, Адельсон-Велъский Г.М. Дискретная математика
для инженера. М.: Энергоатомиздат, 1988.
Матиясевич Ю.В. Диофантовы перечислимые множествах: докла-
ды АН СССР, 1970. Т. 191. С. 279-282.
Мендельсон Э. Введение в математическую логику. – М., 1971.
Минский М. Вычисления и автоматы. М.: Мир, 1978.
Никольская И. Л. Математическая логика. М.: Высшая школа, 1981.
Пензов Ю.Е. Элементы математической логики и теории мно-
жеств. Саратов: Изд-во Саратовского университета, 1968.
Попов Б. Я. Анализ и синтез законов управления системой «Им-
пульсный усилитель мощности электродвигатель» // Известия АН
РАН. Теория и системы управления. 1996. № 3. С. 94-102.
Поспелов Д. А. Логические методы анализа и синтеза схем. М.:
Энергия, 1974.
Поспелов Д. А Фантазия или наука. На пути к искусственному ин-
теллекту. – М.: Наука, 1982.
Рейуорд-СмитВ.Дж.. Теория формальных языков: вводный курс.
М.: Радио и связь, 1988.
Смаллиан Р. Принцесса или тигр. М.: Мир, 1985.
Таненбаум А. Компьютерные сети. – СПб.: Питер, 2002.