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

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

Dades bibliogràfiques
Autor principal:	Кудрявцева И. Ирина
Altres autors:	Швецкий М. В. Михаил Владимирович (340)
Sumari:	URL: https://urait.ru/bcode/487514 (дата обращения: 27.08.2025). Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.
Publicat:	Москва, Юрайт, 2021
Edició:	2-е изд.
Col·lecció:	Профессиональное образование
Matèries:	Программирование Компьютерные и информационные науки Программирование и основы алгоритмизации Методы программирования Основы программирования Программирование для ЭВМ Основы алгоритмизации и программирования Введение в программирование Алгоритмизация и программирование Основы программирования и алгоритмизации Программирование и алгоритмизация Информатика (программирование и алгоритмы) Основы алгоритмизации и программирование Программирование на ЭВМ
Accés en línia:	https://urait.ru/bcode/487514
Format:	Electrònic Llibre

Ítems similars

Программирование: комбинаторная логика учебник для спо
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2025)

Программирование: комбинаторная логика учебное пособие для спо
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2023)

Программирование: комбинаторная логика учебное пособие для спо
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2022)

Программирование: комбинаторная логика учебное пособие для спо
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2024)

Алгоритмизация и программирование учебник для спо
per: Якимов С. П. Сергей Петрович
Publicat: (Москва, Юрайт, 2025)

Алгоритмизация и программирование учебное пособие для спо
per: Якимов С. П. Сергей Петрович
Publicat: (Москва, Юрайт, 2024)

Структурное программирование учебник для вузов
per: Якимов С. П. Сергей Петрович
Publicat: (Москва, Юрайт, 2025)

Структурное программирование учебное пособие для вузов
per: Якимов С. П. Сергей Петрович
Publicat: (Москва, Юрайт, 2023)

Структурное программирование учебное пособие для вузов
per: Якимов С. П. Сергей Петрович
Publicat: (Москва, Юрайт, 2022)

Структурное программирование учебное пособие для вузов
per: Якимов С. П. Сергей Петрович
Publicat: (Москва, Юрайт, 2024)

Прикладное программирование на Excel 2019 учебник для вузов
per: Казанский А. А. Александр Анатольевич
Publicat: (Москва, Юрайт, 2025)

Прикладное программирование на Excel 2019 учебное пособие для вузов
per: Казанский А. А. Александр Анатольевич
Publicat: (Москва, Юрайт, 2021)

Прикладное программирование на Excel 2019 учебное пособие для вузов
per: Казанский А. А. Александр Анатольевич
Publicat: (Москва, Юрайт, 2022)

Прикладное программирование на Excel 2019 учебное пособие для вузов
per: Казанский А. А. Александр Анатольевич
Publicat: (Москва, Юрайт, 2024)

Прикладное программирование на Excel 2019 учебное пособие для вузов
per: Казанский А. А. Александр Анатольевич
Publicat: (Москва, Юрайт, 2023)

Программирование: комбинаторная логика учебник для вузов
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2025)

Программирование: комбинаторная логика учебное пособие для вузов
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2021)

Программирование: комбинаторная логика учебное пособие для вузов
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2022)

Программирование: комбинаторная логика учебное пособие для вузов
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2023)

Программирование: комбинаторная логика учебное пособие для вузов
per: Кудрявцева И. Ирина
Publicat: (Москва, Юрайт, 2024)

Алгоритмические языки и программирование: ДРАКОН учебник для спо
per: Паронджанов В. Д. Владимир Даниелович
Publicat: (Москва, Юрайт, 2025)

Алгоритмические языки и программирование: ДРАКОН учебное пособие для спо
per: Паронджанов В. Д. Владимир Даниелович
Publicat: (Москва, Юрайт, 2021)

Алгоритмические языки и программирование: ДРАКОН учебное пособие для спо
per: Паронджанов В. Д. Владимир Даниелович
Publicat: (Москва, Юрайт, 2023)

Алгоритмические языки и программирование: ДРАКОН учебное пособие для спо
per: Паронджанов В. Д. Владимир Даниелович
Publicat: (Москва, Юрайт, 2024)

Алгоритмические языки и программирование: ДРАКОН учебное пособие для спо
per: Паронджанов В. Д. Владимир Даниелович
Publicat: (Москва, Юрайт, 2022)

Программирование на С++ учебное пособие для спо
per: Кувшинов Д. Р. Дмитрий Рустамович
Publicat: (Москва, Юрайт, 2025)

Основы программирования учебное пособие для спо
per: Кувшинов Д. Р. Дмитрий Рустамович
Publicat: (Москва, Юрайт, 2021)

Основы программирования учебное пособие для спо
per: Кувшинов Д. Р. Дмитрий Рустамович
Publicat: (Москва, Юрайт, 2022)

Основы алгоритмизации и программирования на языке C# учебник для спо
per: Кудрина Е. В. Елена Вячеславовна
Publicat: (Москва, Юрайт, 2025)

Основы алгоритмизации и программирования на языке C# учебное пособие для спо
per: Кудрина Е. В. Елена Вячеславовна
Publicat: (Москва, Юрайт, 2021)

Основы алгоритмизации и программирования на языке C# учебное пособие для спо
per: Кудрина Е. В. Елена Вячеславовна
Publicat: (Москва, Юрайт, 2022)

Основы алгоритмизации и программирования на языке C# учебное пособие для спо
per: Кудрина Е. В. Елена Вячеславовна
Publicat: (Москва, Юрайт, 2023)

Основы алгоритмизации и программирования на языке C# учебное пособие для спо
per: Кудрина Е. В. Елена Вячеславовна
Publicat: (Москва, Юрайт, 2024)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2021)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2024)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2023)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2022)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2025)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2024)

Основы алгоритмизации и программирования учебник для спо
per: Трофимов В. В. Валерий Владимирович
Publicat: (Москва, Юрайт, 2023)