| Найдено документов - 1 | Найти похожие: "Заглавие" = 'Теория вычислений для программистов' | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 22.18 испр. - С 888
Стюарт, Т.
Теория вычислений для программистов / Т. Стюарт ; перевод с английского А. А. Слинкина. — Москва : ДМК Пресс, 2014. — 384 с. : ил. — Предм. указ.: с. 378. — ISBN 978-5-94074-979-0.
Теория вычислений для программистов / Т. Стюарт ; перевод с английского А. А. Слинкина. — Москва : ДМК Пресс, 2014. — 384 с. : ил. — Предм. указ.: с. 378. — ISBN 978-5-94074-979-0.
Экземпляры: Всего: 2, из них: аб.-2 в наличии 2
Подробнее
Авторы: Стюарт Т.
Отраслевые рубрики: вычислительная техника, математика, математическая кибернетика
Ключевые слова: Ruby, автоматы с магазинной памятью, вычисления, вычислимость, денотационная семантика, конечные автоматы, лямбда-исчисление, машина Тьюринга, неразрешимые проблемы, операционная семантика, программы, процедуры, разрешимость, регулярные выражения, семантика программирования, структуры данных, теория вычислений, универсальность, формальная семантика
Индексы ББК: 22.18, 32.973
Представления: Формат MARC21