• Главная

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

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

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

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

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

  • Forekc.ru - Всё про деньги