- Язык программирования Форт
- Что такое Форт ?
- Операторы сравнения и ветвления
- Память Форта. Словари и контекстные словари
- Ответы к упражнениям
- Способ мышления-Форт
- Введение
- Философия Форта
- Анализ
- Предварительный проект декомпозиция
- Детализированная разработка решения
- Разработка: элементы Форт-стиля
- Фрагментация
- Работа с данными: стеки и состояния
- Минимизация структур управления
- Обзор Форта (для новичков)
- Язык Форт и его реализации
- Предисловие
- Основные понятия
- Шитый код и его разновидности
- Примеры программных разработок
- Модель форт-системы
- Распространенные форт-системы
- Список литературы
- Программирование. Функциональный подход
- Вступительная лекция
- Классификация языков программирования
- Концепция и возможности подхода .NET
- Функциональный подход к программированию
- Ламбда-исчисление как формализация языка
- Теоретические сведения
- Комбинаторная логика как система
- Теория типов и комбинаторная логика
- Задание
- Синтаксис языков программирования
- Семантика языков программирования
- Варианты заданий
- Рекурсивные функции и множества
- Теоретические сведения
- Абстрактные машины и логика
- Категориальная абстрактная машина
- Оптимизация вычислений
- Теоретические сведения
