Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектно-ориентированного подходов к разработке программных систем. Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400 "Прикладная информатика".
Uchebnyj kurs "Vvedenie v teoriju programmirovanija" osnovan na tvorcheskom sinteze izbrannykh formalnykh teorij (lambda-ischislenie, kombinatornaja logika, teorija kategorij i dr.) i unikalnoj tekhnologicheskoj platformy Microsoft.NET, obespechivajuschej prakticheski prozrachnuju integratsiju koda na jazykakh programmirovanija razlichnykh tipov. Tselju kursa javljaetsja formirovanie adekvatnogo mirovozzrenija na sovremennoe programmirovanie. Provoditsja sravnitelnyj analiz funktsionalnogo i obektno-orientirovannogo podkhodov k razrabotke programmnykh sistem. Rekomendovano UMO v oblasti prikladnoj informatiki dlja studentov vysshikh uchebnykh zavedenij, obuchajuschikhsja po spetsialnosti 351400 "Prikladnaja informatika".
