Программирование: учебник и практикум для вузов

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

Курс построен на уникальном синтезе теоретических основ и практической технологической платформы Microsoft .NET. Первая часть учебника, как следует из оглавления, посвящена основам функционального программирования на языке F#, который является частью экосистемы .NET. Это позволяет студентам не только освоить абстрактные концепции, но и применить их в современной промышленной среде разработки.

Книга структурирована как учебник и практикум, что подразумевает сочетание теоретического материала с контрольными вопросами и, вероятно, практическими заданиями. Она рекомендована для студентов инженерно-технических направлений и охватывает ключевые темы: классификацию языков программирования, концепцию .NET, синтаксис и семантику функциональных программ.

Издание входит в серию «Высшее образование» и доступно на образовательной платформе «Юрайт», что делает его удобным для использования в учебном процессе. Автор, С.В. Зыков, является кандидатом технических наук и доцентом нескольких ведущих технических вузов России, что гарантирует высокий научно-методический уровень материала.