| Поле | Название | Значение |
| |
Тип записи |
a |
| |
Библиографический уровень |
m |
| 001 |
Контрольный номер |
RU/URAIT/565920 |
| 003 |
Принадлежность контрольного номера |
https://urait.ru/bcode/565920 |
| 005 |
Дата корректировки |
20250410093505.4 |
| 008 |
Кодируемые данные |
|
| 020 |
Индекс ISBN |
__ |
| a |
ISBN |
978-5-534-11088-3 |
| 040 |
Источник каталогиз. |
__ |
| a |
Служба первич. каталог. |
ИКО Юрайт |
| b |
Код языка каталог. |
rus |
| c |
Служба, преобразующая запись |
ИКО Юрайт |
| 041 |
Код языка издания |
0_ |
| a |
Код языка текста |
rus |
| 044 |
Код страны публикации |
__ |
| a |
Код страны публикации |
RU |
| 073 |
|
_1 |
| a |
|
9785534110883 |
| d |
|
2679.00 |
| 080 |
Индекс УДК |
__ |
| a |
Индекс УДК |
004.42(075.8) |
| 084 |
Индекс другой классификации/Индекс ББК |
__ |
| a |
Индекс другой классификации/Индекс ББК |
32.973я73 |
| 2 |
Источник индекса |
rubbk |
| 091 |
Индексы/ коды |
__ |
| a |
Индекс ББК (DOS) |
32.973я73 |
| z |
|
rubbk |
| 100 |
Автор |
1_ |
| a |
Автор |
Кудрявцева И. |
| 230 |
|
__ |
| a |
|
Электрон. дан. |
| 245 |
Заглавие |
00 |
| a |
Заглавие |
Программирование: теория типов |
| b |
Продолж. заглавия |
учебник |
| 250 |
Сведения об издании |
__ |
| a |
Основные сведения об издании |
2-е изд. |
| b |
Дополнительные сведения об издании |
пер. и доп |
| 260 |
Выходные данные |
1_ |
| a |
Место издания |
Москва |
| b |
Издательство |
Юрайт |
| c |
Дата издания |
2025 |
| 300 |
Физическое описание |
__ |
| a |
Объем |
652 с |
| 440 |
Серия |
_0 |
| a |
Серия |
Высшее образование |
| 500 |
Примечания |
__ |
| a |
Примечание |
URL: https://urait.ru/bcode/565920 |
| 520 |
Аннотация |
__ |
| a |
Аннотация |
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий. |
| 583 |
Примечание о действиях |
__ |
| z |
Открытое примечание |
Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей |
| 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 |
Другие авторы |
Швецкий М. В. |
| 856 |
Электронный адрес документа |
40 |
| n |
Местонахождение сервера |
Юрайт |
| g |
|
Электронная книга |
| q |
Тип электронного формата |
html |
| h |
Имя пользователя |
ЮРАЙТ |
| v |
Часы доступа к ресурсу |
20250831 |
| 2 |
Способ доступа |
Показать документ |
| x |
Служебное примечание |
https://urait.ru/book/cover/EC1F245A-78A3-4D2A-9467-0318BFB2BF0B |
| u |
URL |
https://urait.ru/read/565920 |
| 856 |
Электронный адрес документа |
41 |
| q |
Тип электронного формата |
cover |
| u |
URL |
https://urait.ru/book/cover/EC1F245A-78A3-4D2A-9467-0318BFB2BF0B |