Программирование: теория типов, учебное пособие для вузов
| Autore principale: | |
|---|---|
| Altri autori: | |
| Riassunto: | URL: https://urait.ru/bcode/517823 (дата обращения: 27.08.2025). Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий. |
| Pubblicazione: |
Москва, Юрайт, 2023
|
| Edizione: | 2-е изд. |
| Serie: | Высшее образование |
| Soggetti: | |
| Accesso online: | https://urait.ru/bcode/517823 |
| Natura: | MixedMaterials Elettronico Libro |