разделов которого являются типизированные формальные системы, определила

способ описания программных средств обучения теоретическому программированию. Автором представлено описание программной модели вывода типов в λ→, поддерживающей обучение простому типизированному λ-исчислению.

Ключевые слова: теоретическое программирование, способ описания программных средств обучения теоретическому программированию, типизированное λ-исчисление, программная модель вывода типов в простом типизированном λ-исчислении (λ→).

1. Душкин Р. Модель типизации Хиндли-Милнера и пример ее реализации на языке Haskell // Практика функционального программирования. 2010. № 5. С. 133–149.

2. Информационные и коммуникационные технологии в образовании: учебно-методическое пособие / И. В. Роберт, С. В. Панюкова, А. А. Кузнецов, А. Ю. Кравцова. М.: Дрофа, 2008. 312 с.

3. Кудрявцева И. А. Интерпретатор λ-термов и его возможности в процессе обучения теоретическому программированию студентов IT-специальностей // Письма в Эмиссия.Оффлайн (TheEmissia. OfflineLetters): электронный научный журнал. Декабрь 2014, ART 2304. СПб., 2014 г. URL: http://www. emissia.org/offline/2014/2304.htm, ISSN 1997-8588.

4. Лаптев В. В., Рыжова Н. И., Швецкий М. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки. СПб.: Изд-во С.-Петерб. ун-та, 2003. 352 с.

5. Лаптев В. В., Швецкий М. В. Методическая система фундаментальной подготовки в области информатики: теория и практика многоуровневого педагогического университетского образования. СПб.: Изд-во Санкт-Петербургского университета, 2000. 508 с.

6. Москвин Д. Свойства просто типизированной системы // Системы типизации лямбда-исчисления. 2011. Лекция 5. URL: http://compsciclub.ru/node/1003 (дата обращения: 22.03.2014).

7. Пирс Б. Типы в языках программирования. М.: Изд-во «Лямбда пресс»: «Добросвет», 2012. 656 с.

8. Роберт И. В. Современные информационные технологии в образовании: дидактические проблемы; перспективы использования. М.: «Школа-Пресс», 1994. 205 с.

9. Фаулер М. Предметно-ориентированные языки программирования. М.: ООО «И.  2011. 576 с.

10. Algorithm W Step by Step // Home Comics Posts Publications Talks Misc About RSS. URL: http://catamorph.de/publications/2007-09-01-algorithm-w-step-by-step.html (дата обращения: 13.07.2015).

11. Geuvers H. Introduction to Type Theory / Alfa Lernet summer school, Uruguay, 2008.

12. Harrison J. Introduction to Functional Programming. Cambridge University, 1996/1997.

13. Kfoury A.J., Tiurin J., Urzyczyn P. ML typability is DEXPTIME-complete // Proc. 15th Colloq. on Trees in Algebra and Programming, Springer LNCS 431. 1990. Р. 206–220.

14. Kfoury A.J., Tiurin J., Urzyczyn P. An analysis of ML typability // Journal of the ACM. 1994. 41(2). Р. 368–398.

15. Mairson H.G. Deciding ML typability is complete for deterministic exponential time // ACM Symposium on Principles of Programming Languages (POPL), San Francisco, California. ACM Press, New York, 1990. Р. 382–401.