TY - BOOK AU - Зыков С.В. TI - Программирование. Функциональный подход: учебник и практикум SN - 978-5-534-16942-3 PY - 2023/// CY - Москва PB - Юрайт KW - Программирование KW - Технические науки и информационные технологии KW - Информатика и программирование KW - Программирование и программное обеспечение информационных технологий KW - Функциональное программирование KW - Теория и технология программирования KW - Логическое программирование KW - Функциональное и логическое программирование KW - Методы программирования KW - Информатика и основы программирования KW - Функциональное программирование и интеллектуальные системы KW - Основы программирования KW - Прикладное программирование KW - Программирование для ЭВМ KW - Программирование: языки, методы и технологии KW - Введение в программирование KW - Основы информатики и программирования KW - Логическое и функциональное программирование KW - Основы программирования и информатики KW - Введение в функциональное и логическое программирование KW - Языки программирования функциональных парадигм KW - Рекурсивно-логическое и функциональное программирование KW - Введение в функциональное программирование KW - Основы логического программирования KW - Языки функционального программирования KW - Введение в функциональный анализ KW - Программирование на ЭВМ KW - Функциональные языки программирования KW - Функционально-логические языки программирования KW - Основы функционального программирования и интеллектуальные системы KW - Основы функционального программирования KW - Локально-рекурсивные алгоритмы KW - Функциональное программирование и интеллектуальные информационные системы KW - Функциональное программирование и интеллектуальные ИС KW - Объектно-функциональное программирование KW - Логические основы функционального программирования N1 - URL: https://urait.ru/bcode/532055 (дата обращения: 31.01.2024) N2 - Курс посвящен основам функционального подхода к программированию на основе языка F#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не просто изучение конкретного языка программирования, а систематическое сравнение современных парадигм разработки программного обеспечения. Для студентов академического бакалавриата технических вузов, специализирующихся в области разработки программных систем. Может быть полезен аспирантам, преподавателям, а также программистам-профессионалам UR - https://urait.ru/bcode/532055 UR - https://urait.ru/book/cover/D3082E73-B17A-4843-B185-E2E7F091AAE2 ER -