TY  - JOUR
T1  - Актуальность развития содержания обучения теоретическому программированию
JF  - Известия Российского государственного педагогического университета им. А.И. Герцена
AU  - Кудрявцева, Ирина Андреевна
Y1  - 2023-07-10
UR  - https://rep.herzen.spb.ru/publication/2407
N2  - Автором рассматривается обоснование актуальности развития содержания обучения теоретическому программированию, под которым понимается наука о математических моделях понятия «программа», и включающая следующие разделы: λ-исчисление, теория комбинаторов, теория типов, теория категорий, формальная семантика языков программирования.