Поиск

Кудрявцева И.А. ЛОГИКО-СЕМИОТИЧЕСКИЙ АНАЛИЗ СОДЕРЖАНИЯ ОБУЧЕНИЯ МОНОМОРФНОЙ СИСТЕМЕ ТИПОВ λ→ // Вестник Томского государственного педагогического университета (Tomsk State Pedagogical University Bulletin). 2016. Вып. 12 (177). С. 143-150

Автор предлагает направление развития содержания обучения теоретическому программированию, которое понимается как наука о математических моделях понятия «программа» и включающая следующие разделы: λ-исчисление, теория комбинаторов, теория типов, теория категорий. Проведен логико-семиотический анализ содержания одного из разделов обучения теоретическому программированию «мономорфная система типов λ→» (демонстрирующая зависимость термов от термов). Основной акцент сделан на методах решения основных типов задач системы с использованием интерпретатора GHC, содержащего инструментарий по установлению существования вывода типизированного λ-терма и вывода типа λ-терма. В результате сформулированы компетенции, приобретаемые обучаемыми по итогам изучения мономорфной системы типов.

Ключевые слова: теоретическое программирование, λ-куб, мономорфная система типов, логико-семиотический анализ содержания, изоморфизм Карри-Говарда, минимальная пропозициональная логика (Prop)