Введение в теорию программирования. Функциональный подход

: Глоссарий
[+]
Национальный исследовательский ядерный университет «МИФИ»
Опубликован: 09.01.2004 | Доступ: свободный | Студентов: 3811 / 327 | Оценка: 4.02 / 3.77 | Длительность: 10:03:00
ISBN: 978-5-9556-0009-3
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги: .net, common language infrastructure, CTS, FST, haskell, lisp, objective-c, SML, SND, аппликация, безопасность, вычисления, интерфейсы, комбинаторная логика, компиляторы, ламбда-исчисление, логика, программирование, рекурсивные вычисления, теория, формальная система, функциональное программирование, элементы
abstract machine
Посмотреть в Википедии
Абстрактной машиной (abstract machine) в рамках данного курса будем называть математическую формализацию, которая моделирует правила выполнения программы (или, иначе, алгоритмы) для реальной вычислительной машины (компьютера)
Лекция: 14 стр. 1
Предложите свое определение
Ada
Посмотреть в Википедии
Лекция: 1 стр. 2
Предложите свое определение
ALGOL
Посмотреть в Википедии
Лекция: 0 стр. 1
Предложите свое определение
algol-like
Посмотреть в Википедии
Лекция: 1 стр. 1, 6 стр. 2
Предложите свое определение
APL
Посмотреть в Википедии
Лекция: 1 стр. 1
Предложите свое определение
application programming
Посмотреть в Википедии
Лекция: 2 стр. 1
Предложите свое определение
association
Посмотреть в Википедии
Лекция: 2 стр. 1, 2 стр. 2
Предложите свое определение
Basic
Посмотреть в Википедии
Лекция: 1 стр. 1, 1 стр. 2, 2 стр. 1
Предложите свое определение
boxing
Посмотреть в Википедии
Лекция: 7 стр. 3
Предложите свое определение
BPL
Посмотреть в Википедии
Лекция: 1 стр. 1
Предложите свое определение
CLI
Посмотреть в Википедии
Лекция: 2 стр. 2
Предложите свое определение
CLR
Посмотреть в Википедии
Лекция: 2 стр. 2
Предложите свое определение
COBOL
Посмотреть в Википедии
Лекция: 1 стр. 1
Предложите свое определение
Common Language Infrastructure
Лекция: 2 стр. 2
Предложите свое определение
Common Language Runtime
Посмотреть в Википедии
Лекция: 2 стр. 2
Предложите свое определение
Common Lisp
Посмотреть в Википедии
Лекция: 1 стр. 1, 3 стр. 2
Предложите свое определение
Common Type System
Лекция: 2 стр. 1, 2 стр. 2, 5 стр. 1, 7 стр. 3
Предложите свое определение
compilation time
Лекция: 7 стр. 2
Предложите свое определение
computational science
Посмотреть в Википедии
Лекция: 12 стр. 2, 14 стр. 1
Предложите свое определение
computer
Посмотреть в Википедии
Лекция: 2 стр. 1, 2 стр. 2
Предложите свое определение
1  |  2  |  3  |  4  |  5  |  6  |  7  |  8  |  9  |  10  |  следующая ›  |  в конец »

Вопросы и ответы

вопросов: 0