Программирование: теория типов учебное пособие для вузов
| मुख्य लेखक: | |
|---|---|
| अन्य लेखक: | |
| सारांश: | URL: https://urait.ru/bcode/517823 (дата обращения: 27.08.2025). Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий. |
| प्रकाशित: |
Москва, Юрайт, 2023
|
| संस्करण: | 2-е изд. |
| श्रृंखला: | Высшее образование |
| विषय: | |
| ऑनलाइन पहुंच: | https://urait.ru/bcode/517823 |
| स्वरूप: | इलेक्ट्रोनिक पुस्तक |