Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Кудрявцева, Ирина Андреевна$<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

004
К 889

    Кудрявцева, Ирина Андреевна.
    Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line. - (Высшее образование). - Библиогр.: с. 588-595. - ISBN 978-5-534-11088-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.42(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ЛАБОРАТОРНЫЕ РАБОТЫ -- КОНКРЕТИЗАЦИЯ -- УНИФИКАЦИЯ -- ИЗОМОРФИЗМ -- ТИПИЗАЦИЯ -- НУМЕРАЛЫ -- КАЙНДЫ -- ЛОГИКА -- ИНТУИЦИЯ -- ПРЕДИКАТЫ

Доп.точки доступа:
Швецкий, Михаил Владимирович
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-teoriya-tipov-444496#page/1
Постоянная гиперссылка

004
К 889

    Кудрявцева, Ирина Андреевна.
    Программирование: комбинаторная логика [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line : ил. - (Высшее образование). - Библиогр.: с. 519-522. - ISBN 978-5-534-10620-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.42:510.584(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ИСЧИСЛЕНИЯ -- БИНАРНЫЕ ОТНОШЕНИЯ -- ЭКСТЕНСИОНАЛЬНОСТЬ -- ЗАМЫКАНИЕ -- КОМБИНАТОРЫ -- НУМЕРАЛЫ -- МОДЕЛИРОВАНИЕ -- ФОРМАЛИЗМ -- ТРАНСФОРМАЦИЯ -- HASKELL

Доп.точки доступа:
Швецкий, Михаил Владимирович
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-kombinatornaya-logika-430924#page/1
Постоянная гиперссылка

510
П 784


    Программирование: математическая логика [Электронный ресурс] : учебное пособие для вузов / М. В. Швецкий [и др.] ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line. - (Высшее образование). - Библиогр.: с. 663-672. - ISBN 978-5-534-11009-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510:004.43(075.8)
~РУБ 510

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- УПРАЖНЕНИЯ -- ИСЧИСЛЕНИЯ -- СИГНАТУРА -- СИНТАКСИС -- СЕКВЕНЦИИ -- ТЕОРИЯ РАВЕНСТВА -- АВТОМАТИЗАЦИЯ -- ИНТУИЦИОНИЗМ -- ПРЕДИКАТЫ

Доп.точки доступа:
Швецкий, Михаил Владимирович
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина Андреевна
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-matematicheskaya-logika-439066#page/1
Постоянная гиперссылка

Статистика за 26.06.2024
Число запросов	118596
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)