| Поле | Название | Значение |
| |
Тип записи |
a |
| |
Библиографический уровень |
m |
| 001 |
Контрольный номер |
RU/URAIT/587151 |
| 005 |
Дата корректировки |
20260429163558.5 |
| 008 |
Кодируемые данные |
260429s2026 RU y f j 000 0 rus u |
| 020 |
Индекс ISBN |
__ |
| a |
ISBN |
978-5-534-10620-6 |
| c |
Цена, тираж |
2659.00 |
| 040 |
Источник каталогиз. |
__ |
| a |
Служба первич. каталог. |
ИКО Юрайт |
| c |
Служба, преобразующая запись |
ИКО Юрайт |
| e |
Правила каталог. |
RCR |
| 041 |
Код языка издания |
__ |
| a |
Код языка текста |
rus |
| 044 |
Код страны публикации |
__ |
| a |
Код страны публикации |
RU |
| 080 |
Индекс УДК |
__ |
| a |
Индекс УДК |
004.4(075.8) |
| 084 |
Индекс другой классификации/Индекс ББК |
__ |
| 2 |
Источник индекса |
rubbk |
| a |
Индекс другой классификации/Индекс ББК |
32.973я73 |
| 100 |
Автор |
__ |
| a |
Автор |
Кудрявцева И. А. |
| q |
Полное имя |
Кудрявцева Ирина Андреевна |
| 245 |
Заглавие |
__ |
| a |
Заглавие |
Программирование: комбинаторная логика |
| b |
Продолж. заглавия |
учебник для вузов |
| c |
Ответственность |
И. А. Кудрявцева, М. В. Швецкий. |
| 250 |
Сведения об издании |
__ |
| g |
|
пер. и доп |
| a |
Основные сведения об издании |
2-е изд. |
| 256 |
Характеристики компьютерного файла |
__ |
| a |
Характеристики компьютерного файла |
Электрон. дан. |
| 260 |
Выходные данные |
__ |
| a |
Место издания |
Москва |
| b |
Издательство |
Юрайт |
| c |
Дата издания |
2026 |
| 300 |
Физическое описание |
__ |
| a |
Объем |
524 с |
| 440 |
Серия |
__ |
| a |
Серия |
Высшее образование |
| 500 |
Примечания |
__ |
| a |
Примечание |
URL: https://urait.ru/bcode/587151 (дата обращения: 29.04.2026). |
| 520 |
Аннотация |
__ |
| a |
Аннотация |
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий. |
| 538 |
Прим. о системных особенностях |
__ |
| a |
Прим. о системных особенностях |
Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Программирование |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Компьютерные и информационные науки |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Программирование |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Теория и технология программирования |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Методы программирования |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Основы программирования |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Программирование для ЭВМ |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Введение в программирование |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Теория языков программирования |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Программирование на ЭВМ |
| 653 |
Ключевые слова |
__ |
| a |
Ключевые слова |
Основы алгоритмизации и языки программирования |
| 700 |
Другие авторы |
__ |
| a |
Другие авторы |
Швецкий М. В. |
| q |
Полное имя |
Швецкий Михаил Владимирович |
| 856 |
Электронный адрес документа |
40 |
| n |
Местонахождение сервера |
Юрайт |
| g |
|
Электронная книга |
| q |
Тип электронного формата |
html |
| h |
Имя пользователя |
ЮРАЙТ |
| v |
Часы доступа к ресурсу |
20271231 |
| 2 |
Способ доступа |
Показать документ |
| x |
Служебное примечание |
https://urait.ru/book/cover/0463425D-ED93-479C-988F-05C429DB013D |
| u |
URL |
https://urait.ru/bcode/587151 |
| 856 |
Электронный адрес документа |
48 |
| q |
Тип электронного формата |
cover |
| u |
URL |
https://urait.ru/book/cover/0463425D-ED93-479C-988F-05C429DB013D |
| 911 |
|
__ |
| u |
|
0030=https://urait.ru/bcode/587151 |
| 911 |
|
__ |
| u |
|
073a=9785534106206 |
| u |
|
073d=2659.00 |
| 911 |
|
__ |
| u |
|
106a=s |
| 911 |
|
__ |
| u |
|
900l= |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Программирование |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Теория и технология программирования |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Методы программирования |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Основы программирования |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Программирование для ЭВМ |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Введение в программирование |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Теория языков программирования |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Программирование на ЭВМ |
| 952 |
Тип литературы |
__ |
| i |
Дисциплина |
Основы алгоритмизации и языки программирования |