| Поле | Название | Значение |
| |
Тип записи |
a |
| |
Библиографический уровень |
m |
| 001 |
Контрольный номер |
RU/URAIT/542169 |
| 003 |
Принадлежность контрольного номера |
https://urait.ru/bcode/542169 |
| 005 |
Дата корректировки |
20240827112639.1 |
| 008 |
Кодируемые данные |
|
| 020 |
Индекс ISBN |
__ |
| a |
ISBN |
978-5-534-15382-8 |
| c |
Цена, тираж |
2319.00 |
| 040 |
Источник каталогиз. |
__ |
| a |
Служба первич. каталог. |
ИКО Юрайт |
| b |
Код языка каталог. |
rus |
| c |
Служба, преобразующая запись |
ИКО Юрайт |
| 041 |
Код языка издания |
0_ |
| a |
Код языка текста |
rus |
| 044 |
Код страны публикации |
__ |
| a |
Код страны публикации |
RU |
| 073 |
|
_1 |
| a |
|
9785534153828 |
| d |
|
2319.00 |
| 080 |
Индекс УДК |
__ |
| a |
Индекс УДК |
004.42(075.32) |
| 084 |
Индекс другой классификации/Индекс ББК |
__ |
| a |
Индекс другой классификации/Индекс ББК |
32.973я723 |
| 2 |
Источник индекса |
rubbk |
| 091 |
Индексы/ коды |
__ |
| a |
Индекс ББК (DOS) |
32.973я723 |
| 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 |
Объем |
652 с |
| 440 |
Серия |
_0 |
| a |
Серия |
Профессиональное образование |
| 500 |
Примечания |
__ |
| a |
Примечание |
URL: https://urait.ru/bcode/542169 (дата обращения: 27.08.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 |
Ключевые слова |
Программирование на ЭВМ |
| 700 |
Другие авторы |
1_ |
| a |
Другие авторы |
Швецкий М. В. |
| q |
Полное имя |
Михаил Владимирович |
| 856 |
Электронный адрес документа |
40 |
| n |
Местонахождение сервера |
Юрайт |
| g |
|
Электронная книга |
| q |
Тип электронного формата |
html |
| h |
Имя пользователя |
ЮРАЙТ |
| v |
Часы доступа к ресурсу |
20251231 |
| 2 |
Способ доступа |
Показать документ |
| x |
Служебное примечание |
https://urait.ru/book/cover/6D2D61BC-884D-4682-BB63-773033FA2DD0 |
| u |
URL |
https://urait.ru/bcode/542169 |
| 856 |
Электронный адрес документа |
41 |
| q |
Тип электронного формата |
cover |
| u |
URL |
https://urait.ru/book/cover/6D2D61BC-884D-4682-BB63-773033FA2DD0 |