TY  - BOOK
AU  - Зыков,Сергей Викторович
TI  - Введение в теорию программирования. Курс лекций: учебное пособие: [для студентов вузов, обучающихся по специальности 351400 "Прикладная информатика"]
T2  - Основы информационных технологий
SN  - 5955600094
PY  - 2004///
CY  - М.
PB  - Интернет-Университет Информационных Технологий
KW  - учебные пособия для вузов
KW  - теория программирования
KW  - языки программирования
KW  - SML-язык
KW  - метаязыки программирования
KW  - языки программирования функциональные
KW  - объектно-ориентированный подход
KW  - информационные сущности-объекты
KW  - проектирование программных продуктов
KW  - функциональный подход
KW  - программные платформы
KW  - Microsoft. NET платформа
KW  - SNL
KW  - объектно-ориентированные языки программирования
KW  - C#, язык программирования
KW  - классификация языков программирования
KW  - ламбда-исчисление
KW  - комбинаторная логика
KW  - теория типов
KW  - синтаксис языков программирования
KW  - семантика языков программирования
KW  - рекурсивные функции
KW  - множества
KW  - комбинаторная логика категориальная
KW  - абстрактные вычислительные машины
KW  - семантическое равенство
KW  - синтаксическое равенство
KW  - оптимизация вычислений
KW  - семантика С#
KW  - объекты объектно-ориентированного подхода
KW  - классы объектно-ориентированного подхода
KW  - типы в Microsoft. NET
KW  - типизация в Microsoft. NET
KW  - наследование в С#
KW  - инкапсуляция в С#
KW  - полформизм в С#
KW  - программирование событийно управляемое в Microsoft. NET
KW  - программирование компонентное в Microsoft. NET
KW  - языки программирования императивные
KW  - языки программирования декларативные
N1  - Курс разработан при поддержке Microsoft Research, Ltd; Библиогр.: с. 387-392
ER  -