RT - научная статья
SR - Electronic
T1 - Актуальность развития содержания обучения теоретическому программированию
JF - Известия Российского государственного педагогического университета им. А.И. Герцена
SP - 2023-07-10
A1 - Кудрявцева, Ирина Андреевна
YR - 2014
UL - https://rep.herzen.spb.ru/publication/2407
AB - Автором рассматривается обоснование актуальности развития содержания обучения теоретическому программированию, под которым понимается наука о математических моделях понятия «программа», и включающая следующие разделы: λ-исчисление, теория комбинаторов, теория типов, теория категорий, формальная семантика языков программирования.