PT - JOURNAL ARTICLE
AU - Кудрявцева, Ирина Андреевна
TI - Актуальность развития содержания обучения теоретическому программированию
DP - 2023-07-10
TA - Известия Российского государственного педагогического университета им. А.И. Герцена
SO - https://rep.herzen.spb.ru/publication/2407
AB - Автором рассматривается обоснование актуальности развития содержания обучения теоретическому программированию, под которым понимается наука о математических моделях понятия «программа», и включающая следующие разделы: λ-исчисление, теория комбинаторов, теория типов, теория категорий, формальная семантика языков программирования.