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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

Поисковый запрос: (<.>K=HASKELL<.>)

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

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
Постоянная гиперссылка

004
К 880

    Кубенский, Александр Александрович.
    Функциональное программирование [Электронный ресурс] : учебник и практикум для вузов / А. А. Кубенский ; Университет ИТМО. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., схемы. - (Высшее образование). - Библиогр.: с. 347. - ISBN 978-5-9916-9242-7 : Б. ц.

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

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

Доп.точки доступа:
Университет ИТМО

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

    Анохина, М. С.
    Создание моделей искусственного интеллекта на языке Haskell [Текст] : доклад / М. С. Анохина, А. А. Березников, П. А. Докшин, Я. А. Иванова // Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 4. - С. 70-72. - Библиогр. в конце ст.

    Коды, Ключ.слова, Доп.точки доступа

Кл.слова (ненормированные):
узлы граф -- программирование -- пространство состояний

Доп.точки доступа:
Березников, А. А.
Докшин, П. А.
Иванова, Я. А.

Полный текст/внешний ресурс (постраничный просмотр) : 2011_anyuhina_070711.pdf или скачать

Постоянная гиперссылка

004
Р 590

    Роганова, Н. А.
    Функциональное программирование : учебное пособие для вузов / Н. А. Роганова ; Федеральное агентство по образованию, Московский государственный индустриальный университет. - М. : МГИУ, 2007. - 214, [2] с. : ил., табл. - Библиогр.: с. 215. - ISBN 978-5-2760-1039-7 : 190.00 р.

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

Кл.слова (ненормированные):
учебные пособия -- программирование -- языки программирования -- Haskell
Доп.точки доступа:
Федеральное агентство по образованию
Московский государственный индустриальный университет

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

519
З-981

    Зюзьков, Валентин Михайлович.
    Ленивое функциональное программирование : учебное пособие / В. М. Зюзьков ; Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство Томского университета, 2007. - 293[1] с. : ил., табл. - Библиогр.: с. 292-293. - ISBN 978-5-7511-1843-3 : 200.00 р., 237.00 р.

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

Кл.слова (ненормированные):
учебные пособия -- программирование -- функциональное программирование -- языки программирования -- Haskell
Доп.точки доступа:
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , аунл (46 экз.), счз1 (4 экз.)
Свободны: аунл (46), счз1 (4)
Постоянная гиперссылка

519
З-981

    Зюзьков, Валентин Михайлович.
    Ленивое функциональное программирование : Учебное пособие для вузов / В. М. Зюзьков ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТУСУР, 2002. - 194 с. : ил. - Библиогр.: с. 190-191. - ISBN 5-86889-112-0 : 67.00 р.

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

Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- УЧЕБНЫЕ ПОСОБИЯ -- Ламбда-исчисление -- Haskell -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Министерство образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , аунл (25 экз.), счз1 (1 экз.)
Свободны: аунл (25), счз1 (1)
Постоянная гиперссылка

Статистика за 01.07.2024
Число запросов	89387
Число заказов	0

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