Parkes, Alan P. - Introduction to languages, machines and logic : Computable lang., abstract machines a. formal logic / Alan P. Parkes. - London [etc.] : Springer, Cop. 2002. - XI, 351 с. : ил.; 24 см.; ISBN 1-85233-464-9

Экспресс-заказ фрагмента
Parkes, Alan P.
Introduction to languages, machines and logic : Computable lang., abstract machines a. formal logic / Alan P. Parkes. - London [etc.] : Springer, Cop. 2002. - XI, 351 с. : ил.; 24 см.; ISBN 1-85233-464-9

Формальные языки, абстрактные автоматы и математическая логика
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
Радиоэлектроника -- Кибернетика -- Теория автоматов
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
формальные языки - абстрактные автоматы - машины Тьюринга
Шифр хранения:
FB 5 03-12/162-2

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеIntroduction to languages, machines and logic : Computable lang., abstract machines a. formal logic
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 31.10.2003
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиAlan P. Parkes
Выходные данныеLondon [etc.] : Springer, Cop. 2002
Физическое описаниеXI, 351 с. : ил.; 24 см
ISBNISBN 1-85233-464-9
ТемаВычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
Радиоэлектроника -- Кибернетика -- Теория автоматов
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
Термины-указателиформальные языки - абстрактные автоматы - машины Тьюринга
Резюме/аннотацияФормальные языки, абстрактные автоматы и математическая логика
BBK-кодЗ973.2-018.1,0
З815,0
В123,0
ЯзыкАнглийский
Места храненияFB 5 03-12/162-2