Аппликативные вычисления в теории алгоритмов

СПИСОК ЛІТЕРАТУРИ

1. Колесник А.А., Елизарова Л.Г. Теоретические основы товароведения продовольственных товаров. –М.: Экономика, 1985.

2. Жук Ю.Т., Жук В.А. та ін. Теоретичні основи товарознавства.- К.:НМЦ „Укоопосвіта”, 2000

3. Исследование продовольственных товаров/Базарова В.И., Боровикова Л.А. и др. – М.: Экономика, 1986

4. Азгальдов Г.Г. Теория и практика оценки качества товаров (основы квалиметрии) –М: Экономика,1982

5. Бобровник Л.Д., Лезенко Г.А. Углеводы в пищевой промышленности. – К.: Урожай, 1991.

6. Березовский В.М. Химия витаминов.- М.:Пищевая промышленность, 1983

7. Нечаєв А.П. и др. Пищевая химия. – СПб.: ГИОРД, 2003

8. Гумовская И. Десять заповедей правильного питания Варшава.- Ватра, 1982

9. Качество: Справочник/Барашов Э.И., Запунный А.И., Калитич Г.И. – К: Политиздат Украины, 1985.

10. Ловачев Л.Н., Волков М.А., Церевитинов О.Б. Снижение потерь продовольственных товаров при хранении. - М.: Экономика, 1980

11. Лемешек-Ходоровская К. Химические консерванты для пищевых продуктов. – М.: Пищевая промышленность, 1988.

12. Митюков А.Д., Руцкий А.В. Оценка качества продуктов питания – Минск, Ураджай, 1991.

13. Наумова Н.Ф., Роговин В.З. Культура разумного потребления. – М.: Педагогика, 1992

14. Овчинников Ю.А. Шамин А.Н. Строение и функции белков – М.: Педагогика, 1988.

15. Основы биохимии./ под ред. А.А.Анисимова. – М.: Высшая школа, 1986.

16. Парамонова Т.Н. Экспресс-методы оценки качества продовольственных товаров. – М.: Экономика, 1988.

17. Прикладные вопросы квалиметрии/ Гличев А.В., Рабинович Г.О. М.: Из-во стандартов, 1993.

18. Вольф Отто Что мы едим? М.: Просветительский фонд «Эвидентис», 2002.

19. Скурихин И.М., Нечаев А.П. Все о пище с точки зрения химика. – М.: Агропромиздат, 1991.

20. Сойфер В.Н. Молекулы живых клеток. – М.: Знание,1988.

21. Хмелевский И.В., Подберезкина Н.Б. Витамины и возраст человека. – К,: Наукова думка, 1990

22. Химический состав пищевых продуктов: Книга 1/ Под ред. проф. И.М.Скурихина, проф. М.Н.Волгарева -2-е изд.. – М.ВО Агропроиздат, 1987.

23. Цыперович А.С. Ферменты – К.: Техника, 1991.

24. Чоговадзе Ш.К. Теоретические основы товароведения продовольственных товаров. – М.: Экономика, 1981.

Утверждено

редсоветом института

в качестве

учебного пособия

Москва 2003

УДК 681.3

Гаврилов А.В. Аппликативные вычисления в теории алгоритмов: Учебное пособие. М.:МИФИ, 2003. – 48 с.

Учебное пособие дает базовые сведения по теории алгоритмов.
Подробно рассматриваются основы построения и использования формальных систем, ламбда-исчисление и комбинаторная логика, основы теории абстрактных машин.
Основной упор делается на использование полученных теоретических знаний при решении конкретных алгоритмических задач. На примере категориальной абстрактной машины демонстрируются методы формальной реализации и верификации конструкций языков программирования и объектной модели.

Полученные навыки позволяют проводить проектирование, анализ и реализацию формальных моделей для конкретных алгоритмических задач, грамотно специфицировать корректное решение.
Учебное пособие "Дискретная математика" является базовым в специальной математической подготовке инженера-математика и предназначено для изучения студентами соответствующих специальностей (факультеты «К», «А», «Б» МИФИ).

Содержание

Аппликативные вычисления в теории алгоритмов. 1

Содержание. 3

Введение. 5

Построение λ- теории. 6

Основы теории формальных систем. 6

Понятие λ-исчисления. 7

Построение бестипового λ-исчисления. 7

Свободные и связанные переменные. 8

Подстановка. 9

Коллизия имен переменных. 10

Редукция. 10

Погружение классических вычислений в λ-исчисление. 12

Нумералы. 13

Рекурсия. 14

Рекурсия в λ-исчислении. 15

Контрольные вопросы.. 16

Бестиповая комбинаторная логика. 17

Комбинаторы. 17

Построение комбинаторной логики. 18

Базис K,S. 19

Базис I,B,C,S. 20

Преимущества комбинаторов. 20

Контрольные вопросы.. 20

Типизированные системы. 21

Использование типов. 21

Приписывание типа комбинатору неподвижной точки. 22

Вычисление выражений при помощи комбинаторной логики. 22

Контрольные вопросы.. 22

Реализация языков программирования. 23

Общая схема реализации функциональных языков. 23

Расширенное λ-исчисление. 24

Редукция графа. 25

Алгоритм редукции графа (РГ) 26

Суперкомбинаторы. 27

Алгоритм приведения λ-выражения к суперкомбинаторному виду. 28

Упорядочивание параметров. 29

Способы реализации рекурсии. 30

Контрольные вопросы.. 32

Компиляция в коды абстрактных машин. 33

Кодирование по де Брейну. 33

Алгоритм преобразования λ-выражений по де Брейну. 34

Семантические равенства для кодов де Брейна: 35

Категориальная комбинаторная логика (ККЛ). 36

Общие свойства абстрактных машин. 37

Категориальная абстрактная машина (КАМ). 38

Цикл работы КАМ... 39

Оптимизация кода КАМ... 40

Дополнительные функциональные инструкции. 41

Рекурсия в КАМ... 41

Схема трансляции терма расширенного λ-исчисления в код КАМ... 41

Пример вычисления выражений на КАМ... 42

Контрольные вопросы.. 45

Смешанные вычисления. 46

Процедура смешанных вычислений. 46

Трансформационные семантики. 48

Проекции Футамуры.. 50

Контрольные вопросы.. 50

ЛИТЕРАТУРА.. 51

Дата добавления: 2014-01-11