|
|
|
|
| LEADER |
00000nam a2200000 4500 |
| 001 |
RU/URAIT/541888 |
| 003 |
https://urait.ru/bcode/541888 |
| 005 |
20250827050525.1 |
| 010 |
|
|
|a 978-5-534-10620-6
|d 2479.00
|
| 073 |
|
1 |
|a 9785534106206
|d 2479.00
|
| 100 |
|
|
|a 20210412d2024 km y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y j 000yy
|
| 106 |
|
|
|a s
|
| 200 |
1 |
|
|a Программирование: комбинаторная логика
|e учебное пособие для вузов
|f И. А. Кудрявцева, М. В. Швецкий.
|
| 205 |
|
|
|a 2-е изд.
|b пер. и доп
|
| 210 |
|
|
|a Москва
|c Юрайт
|d 2024
|
| 215 |
|
|
|a 524 с
|
| 225 |
1 |
|
|a Высшее образование
|
| 230 |
|
|
|a Электрон. дан.
|
| 300 |
|
|
|a URL: https://urait.ru/bcode/541888 (дата обращения: 27.08.2025).
|
| 330 |
|
|
|a Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
|
| 337 |
|
|
|a Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей
|
| 610 |
2 |
|
|a Программирование
|
| 610 |
2 |
|
|a Компьютерные и информационные науки
|
| 610 |
2 |
|
|a Программирование
|
| 610 |
2 |
|
|a Теория и технология программирования
|
| 610 |
2 |
|
|a Методы программирования
|
| 610 |
2 |
|
|a Основы программирования
|
| 610 |
2 |
|
|a Программирование для ЭВМ
|
| 610 |
2 |
|
|a Введение в программирование
|
| 610 |
2 |
|
|a Теория языков программирования
|
| 610 |
2 |
|
|a Программирование на ЭВМ
|
| 610 |
2 |
|
|a Основы алгоритмизации и языки программирования
|
| 675 |
|
|
|a 004.4(075.8)
|
| 686 |
|
|
|a 32.973я73
|2 rubbk
|
| 700 |
|
1 |
|a Кудрявцева
|b И.
|g Ирина
|
| 701 |
|
1 |
|a Швецкий
|b М. В.
|g Михаил Владимирович
|
| 801 |
|
0 |
|a RU
|b ИКО Юрайт
|c 20210412
|g RCR
|2 rusmarc
|
| 801 |
|
1 |
|a RU
|b ИКО Юрайт
|c 20210412
|g RCR
|2 rusmarc
|
| 856 |
4 |
0 |
|n Юрайт
|g Электронная книга
|q html
|h ЮРАЙТ
|v 20250912
|2 Показать документ
|u https://urait.ru/bcode/541888
|
| 955 |
|
|
|a учебное пособие
|
| 957 |
|
|
|a Программирование
|
| 957 |
|
|
|a Теория и технология программирования
|
| 957 |
|
|
|a Методы программирования
|
| 957 |
|
|
|a Основы программирования
|
| 957 |
|
|
|a Программирование для ЭВМ
|
| 957 |
|
|
|a Введение в программирование
|
| 957 |
|
|
|a Теория языков программирования
|
| 957 |
|
|
|a Программирование на ЭВМ
|
| 957 |
|
|
|a Основы алгоритмизации и языки программирования
|
| 900 |
|
|
|l
|