%0 научная статья
%A Кудрявцева, Ирина Андреевна
%T Актуальность развития содержания обучения теоретическому программированию
%D 2014
%J Известия Российского государственного педагогического университета им. А.И. Герцена
%X Автором рассматривается обоснование актуальности развития содержания обучения теоретическому программированию, под которым понимается наука о математических моделях понятия «программа», и включающая следующие разделы: λ-исчисление, теория комбинаторов, теория типов, теория категорий, формальная семантика языков программирования.
%U https://rep.herzen.spb.ru/publication/2407