Курс посвящен основам функционального подхода к программированию на основе языка F#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
Курс посвящен основам объектно-ориентированного подхода на примере языка С#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй – основам объектно-ориентированного подхода на примере языка С#. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам.
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET.
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированых сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET.
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированых сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первая часть учебника посвящена основам функционального подхода к программированию на основе языка F#.