Информатика и вычислительная техника
  • формат pdf
  • размер 121.7 КБ
  • добавлен 01 февраля 2011 г.
Фоккер Е. Систематическое конструирование однокомбинаторного базиса для ?-термов
В этой статье описывается простое замкнутое ?-выражение, при помощи которого можно выразить все прочие ?-выражения. Его построение осуществляется систематическим образом. Полученное ?-выражение является более простым, чем известные из литературы однокомбинаторные базисы.
Похожие разделы
Смотрите также

Курсовая работа - Поиск кратчайшего пути в лабиринте

Курсовая работа
  • формат doc
  • размер 42.56 КБ
  • добавлен 29 мая 2010 г.
Курсовая работа. По по предмету конструирование программ и языки программирования на тему: Поиск кратчайшего пути в лабиринте. Постановка задачи. Проектирование программы. Реализация программы. Модуль GRAPHICA. Модуль SHORTWAY. Модуль MOUSE. Описание работы программы. Методика и результаты тестирования. задачи. 22 стр.