Записи с тегом «языки-исчисления»
- Хопкрофт Д. Введение в теорию автоматов, языков и вычислений — 21 января 2016 Метки: автоматизированные системы, вычислительная математика, математика, математическая кибернетика, матричные вычисления, Мотвани, теория, тип языка, Ульман, Хопкрофт, языки исчисления, языкознание
- Верещагин Н.К. Языки и исчисления — 9 октября 2012 Метки: Верещагин, логика высказываний, математика, математическая логика, операции, предикаты, теория алгоритмов, язык, языки исчисления
- Типы в языках программирования — 7 июня 2012 Метки: алгоритмы, Бронников, информатика, информационные технологии, основы информатики, Отт, Пирс, программирование, программные средства, семантика, тип языка, язык, язык программирования, языки исчисления