Программирование. Функциональный подход
Вступительная лекция
Классификация языков программирования
Концепция и возможности подхода .NET
Функциональный подход к программированию
Ламбда-исчисление как формализация языка
Теоретические сведения
Комбинаторная логика как система
Теория типов и комбинаторная логика
Задание
Синтаксис языков программирования
Семантика языков программирования
Варианты заданий
Рекурсивные функции и множества
Теоретические сведения
Абстрактные машины и логика
Категориальная абстрактная машина
Оптимизация вычислений
Теоретические сведения
Сущность технологии COM
Практичность
СОМ как улучшенный C++
Интерфейсы
Классы
Объекты
Апартаменты
Внутрипроцессная активация
Основы указателей
Эволюция объектов
Электронные издания
Структура и элементы гипертекста
Проектирование сайта в Dreamweaver
Обзор паттернов проектирования
Структуры данных и модели вычислений
Классы функций для оценки сложности
Общие сведения о списках
Операции над разделенными множествами
Представление очереди с помощью d-кучи
Левосторонние кучи
Ленивая левосторонняя куча
Биномиальные кучи
Тонкая куча в памяти компьютера
Избыточное представление чисел
Представление двоичных деревьев поиска
Исторические сведения
Абак
Способы задания формальных языков
Язык предикатов
Серверы корпоративных баз данных
Основы конфигурирования серверов БД
Серверы компании IBM
Основы работы с базами данных
Некоторые термины и определения
Классификация баз данных
IDEF1X для концептуальной модели данных
Общая характеристика системы
Назначение экранных форм
Разработка отчетов
Создание базы данных
Типы данных системы