• Языки программирования - концепции
• Значение языков программирования
• Структуры данных
• Типизация и «неуспех»


• Язык преобразований XSL
• Пространство имен XSLT
• Фиксированные конечные элементы


• Язык процедур 2-REXX для OS-2
• Использование сравнений
• Язык процедур 2/REXX для OS/2
• Работа с переменными и выражениями
• Средства языка REXX
• Автоматизация повторяющихся задач - циклы
• Расширенные функции REXX
• Ключевые инструкции
• Функции
• Интерфейс очередей


• Формальные языки
• Трансляторы , интерпретаторы и компиляторы
• Приведенные грамматики
• Распознаватели и LL(K) - грамматики
• Магазинные Преобразователи
• Задача структурного синтеза


• Языки и исчисления
• Высказывания и операции
• Схемы из функциональных элементов
• Исчисление высказываний
• Поиск контрпримера и исчисление секвенций
• Языки первого порядка
• Выразимость в арифметике
• Арифметика Пресбургера
• Игра Эренфойхта
• Общезначимые формулы
• Примеры выводимых формул
• Предваренная нормальная форма
• Аксиомы равенства
• Неполные и неразрешимые теории
• Ультрафильтры и компактность