• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

Основы современного программирования. Разработка гетерогенных систем в интернет-ориентированной среде: Учебное пособие для вузов.

Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированию на основе метаязыка SML.NET и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором В НИУ ВШЭ и НИЯУ МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной технологической платформы Microsoft NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами.

Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть полезной для опытных программистов.

Основы современного программирования. Разработка гетерогенных систем в интернет-ориентированной среде: Учебное пособие для вузов.