Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере языка С#. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
Osnovnoy zadachey dannogo kursa yavlyaetsya formirovanie tochki zreniya na sovremennuyu teoriyu i praktiku programmirovaniya. Kurs baziruetsya na tvorcheskom sinteze izbrannykh formalnykh teoriy (lyambda-ischislenie, kombinatornaya logika, teoriya kategoriy i dr.) i unikalnoy tekhnologicheskoy platformy Microsoft .NET. Pervyy razdel kursa posvyashchen osnovam funktsionalnogo podkhoda k programmirovaniyu na osnove yazyka F#, vtoroy osnovam obektno-orientirovannogo podkhoda na primere yazyka S#. V kurse predlagaetsya ne prosto izuchenie konkretnogo yazyka programmirovaniya, a sistematicheskoe sravnenie sovremennykh paradigm razrabotki programmnogo obespecheniya. Dlya studentov akademicheskogo bakalavriata tekhnicheskikh vuzov, spetsializiruyushchikhsya v oblasti razrabotki programmnykh sistem. Mozhet byt polezen aspirantam, prepodavatelyam, a takzhe programmistam-professionalam.