| Поле | Название | Значение |
| |
Тип записи |
a |
| |
Библиографический уровень |
m |
| 001 |
Контрольный номер |
RU/URAIT/541888 |
| 003 |
Принадлежность контрольного номера |
https://urait.ru/bcode/541888 |
| 005 |
Дата корректировки |
20240827112609.2 |
| 008 |
Кодируемые данные |
|
| 020 |
Индекс ISBN |
__ |
| a |
ISBN |
978-5-534-10620-6 |
| c |
Цена, тираж |
2149.00 |
| 040 |
Источник каталогиз. |
__ |
| a |
Служба первич. каталог. |
ИКО Юрайт |
| b |
Код языка каталог. |
rus |
| c |
Служба, преобразующая запись |
ИКО Юрайт |
| 041 |
Код языка издания |
0_ |
| a |
Код языка текста |
rus |
| 044 |
Код страны публикации |
__ |
| a |
Код страны публикации |
RU |
| 073 |
|
_1 |
| a |
|
9785534106206 |
| d |
|
2149.00 |
| 080 |
Индекс УДК |
__ |
| a |
Индекс УДК |
004.4(075.8) |
| 084 |
Индекс другой классификации/Индекс ББК |
__ |
| a |
Индекс другой классификации/Индекс ББК |
32.973я73 |
| 2 |
Источник индекса |
rubbk |
| 091 |
Индексы/ коды |
__ |
| a |
Индекс ББК (DOS) |
32.973я73 |
| z |
|
rubbk |
| 100 |
Автор |
1_ |
| a |
Автор |
Кудрявцева И. |
| q |
Полное имя |
Ирина |
| 230 |
|
__ |
| a |
|
Электрон. дан. |
| 245 |
Заглавие |
00 |
| a |
Заглавие |
Программирование: комбинаторная логика |
| b |
Продолж. заглавия |
учебное пособие |
| c |
Ответственность |
И. А. Кудрявцева, М. В. Швецкий. |
| 250 |
Сведения об издании |
__ |
| a |
Основные сведения об издании |
2-е изд. |
| b |
Дополнительные сведения об издании |
пер. и доп |
| 260 |
Выходные данные |
1_ |
| a |
Место издания |
Москва |
| b |
Издательство |
Юрайт |
| c |
Дата издания |
2024 |
| 300 |
Физическое описание |
__ |
| a |
Объем |
524 с |
| 440 |
Серия |
_0 |
| a |
Серия |
Высшее образование |
| 500 |
Примечания |
__ |
| a |
Примечание |
URL: https://urait.ru/bcode/541888 (дата обращения: 27.08.2024). |
| 520 |
Аннотация |
__ |
| a |
Аннотация |
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий. |
| 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 |
Ключевые слова |
Программирование на ЭВМ |
| 700 |
Другие авторы |
1_ |
| a |
Другие авторы |
Швецкий М. В. |
| q |
Полное имя |
Михаил Владимирович |
| 856 |
Электронный адрес документа |
40 |
| n |
Местонахождение сервера |
Юрайт |
| g |
|
Электронная книга |
| q |
Тип электронного формата |
html |
| h |
Имя пользователя |
ЮРАЙТ |
| v |
Часы доступа к ресурсу |
20251231 |
| 2 |
Способ доступа |
Показать документ |
| x |
Служебное примечание |
https://urait.ru/book/cover/17487EA3-02ED-4550-AFE3-F7ECD403017D |
| u |
URL |
https://urait.ru/bcode/541888 |
| 856 |
Электронный адрес документа |
41 |
| q |
Тип электронного формата |
cover |
| u |
URL |
https://urait.ru/book/cover/17487EA3-02ED-4550-AFE3-F7ECD403017D |