Программирование: теория типов учебное пособие
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типо...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
Юрайт
2023
|
| Edition: | 2-е изд. |
| Series: | Высшее образование
|
| Subjects: | |
| Online Access: | https://urait.ru/bcode/517823 https://urait.ru/book/cover/EB8F263C-7284-4D0F-8A50-D12C275CAF83 |
| LEADER | 03332nam a2200457 4500 | ||
|---|---|---|---|
| 001 | urait517823 | ||
| 005 | 20240131082057.1 | ||
| 008 | 211224s2023 RU y fop 000 0 rus0d | ||
| 020 | |a 978-5-534-11088-3 |c 2209.00 | ||
| 040 | |a ИКО Юрайт |b rus |c ИКО Юрайт | ||
| 041 | 0 | |a rus | |
| 044 | |a RU | ||
| 073 | 1 | |a 9785534110883 |d 2209.00 | |
| 080 | |a 004.42(075.8) | ||
| 084 | |a 32.973я73 |2 rubbk | ||
| 091 | |a 32.973я73 |z rubbk | ||
| 100 | 1 | |a Кудрявцева И. |q Ирина | |
| 230 | |a Электрон. дан. | ||
| 245 | 0 | 0 | |a Программирование: теория типов |b учебное пособие |c И. А. Кудрявцева, М. В. Швецкий. |
| 250 | |a 2-е изд. |b пер. и доп | ||
| 260 | 1 | |a Москва |b Юрайт |c 2023 | |
| 300 | |a 652 с | ||
| 440 | 0 | |a Высшее образование | |
| 500 | |a URL: https://urait.ru/bcode/517823 (дата обращения: 31.01.2024). | ||
| 520 | |a Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий. | ||
| 538 | |a Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей | ||
| 653 | 2 | |a Программирование | |
| 653 | 2 | |a Технические науки и информационные технологии | |
| 653 | 2 | |a Программирование | |
| 653 | 2 | |a Теория и технология программирования | |
| 653 | 2 | |a Методы программирования | |
| 653 | 2 | |a Основы программирования | |
| 653 | 2 | |a Прикладное программирование | |
| 653 | 2 | |a Программирование для ЭВМ | |
| 653 | 2 | |a Введение в программирование | |
| 653 | 2 | |a Программирование на ЭВМ | |
| 653 | 2 | |a Теория типов | |
| 700 | 1 | |a Швецкий М. В. |q Михаил Владимирович | |
| 856 | 4 | 0 | |n Юрайт |g Электронная книга |q html |h ЮРАЙТ |v 20241219 |2 Показать документ |x https://urait.ru/book/cover/EB8F263C-7284-4D0F-8A50-D12C275CAF83 |u https://urait.ru/bcode/517823 |
| 856 | 4 | 1 | |q cover |u https://urait.ru/book/cover/EB8F263C-7284-4D0F-8A50-D12C275CAF83 |
| 910 | |a ЭБС Юрайг | ||