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
Формальные языки, абстрактные автоматы и математическая логика
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования
Радиоэлектроника -- Кибернетика -- Теория автоматов
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов
формальные языки - абстрактные автоматы - машины Тьюринга
Шифр хранения:
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
Описание
| Автор | Parkes, Alan P. |
|---|---|
| Заглавие | 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 см |
| ISBN | ISBN 1-85233-464-9 |
| Тема | Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Языки программирования |
| Радиоэлектроника -- Кибернетика -- Теория автоматов | |
| Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
| Термины-указатели | формальные языки - абстрактные автоматы - машины Тьюринга |
| Резюме/аннотация | Формальные языки, абстрактные автоматы и математическая логика |
| BBK-код | З973.2-018.1,0 |
| З815,0 | |
| В123,0 | |
| Язык | Английский |
| Места хранения | FB 5 03-12/162-2 |
