Полное описание
Городняя, Лидия Васильевна .
Функциональное программирование : учебное пособие / Л. В. Городняя, Т. А. Андреева ; Министерство науки и высшего образования РФ, Новосибирский государственный университет, Механико-математический факультет, Кафедра программирования. - Новосибирск : Новосибирский гос. ун-т, 2024. - 349, [1] с. : ил. - Библиогр.: с. 290-293. - 100 экз. -
ISBN 978-5-4437-1482-0. - Текст (визуальный) : непосредственный.
ГРНТИ УДК 50.05.13 004.42.046
Рубрики: Программирование для ЭВМ функциональное
Кл.слова (ненормированные): ДАННЫЕ -- ИНФОРМАЦИЯ -- ЛИСП -- ПЕРЕМЕННЫЕ -- РЕКУРСИИ -- СИМВОЛЬНАЯ ОБРАБОТКА ДАННЫХ -- ФОРМЫ -- ФУНКЦИИ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Аннотация: Целью учебного пособия является учебно-методическое обеспечение дисциплины "Функциональное программирование". Пособие предназначено для студентов направления "Математика и компьютерные науки" очной формы обучения, включая дистанционный и смешанный формат. Пособие содержит методические рекомендации по изучению и преподаванию дисциплины, рабочую программу учебной дисциплины, тексты лекций, материалы для чтения и лабораторных работ, список рекомендованной литературы, глоссарий, упражнения для самостоятельной работы.
Доп. точки доступа: Андреева, Татьяна Анатольевна
Новосибирский государственный университет. Механико-математический факультет. Кафедра программирования
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д11-24/34173)
Шифр в сводном ЭК: ca25f1b53fbca0cab7f11e192270ed9d
Городняя, Лидия Васильевна. Гуманитарные факторы программирования : [монография] / Л. В. Городняя; ответственный редактор А. Ю. Пальянов, 2020. - 161, [1] с. - Текст (визуальный) : непосредственный. Городняя, Лидия Васильевна. Функциональное программирование. Парадигма, модели и методы / Л. В. Городняя; ответственный редактор А. Ю. Пальянов, 2022. - 481 с. - Текст (визуальный) : непосредственный. Городняя, Лидия Васильевна. Функциональное программирование : учебное пособие / Л. В. Городняя, Т. А. Андреева, 2024. - 349, [1] с. - Текст (визуальный) : непосредственный. Современная библиотека. - Журнал, 2023г. № 7. - Текст : непосредственный. Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный. Савушкин С.А. Функциональное программирование : учеб. пособие / С. А. Савушкин, 2012. - 144 с. - Текст : непосредственный. Роганова Н.А. Функциональное программирование : учеб. пособие для вузов / Н. А. Роганова, 2007. - 215 с. - Текст : непосредственный. Гордиенко А. П.Функциональное программирование : Учебник / Гордиенко А. П., 2022. - 277 с. - Текст : электронный. Петренко, Александр Анатольевич. Функциональное программирование : учебное пособие / А. А. Петренко, А. О. Суворов, Н. Ф. Шаякбаров, 2022. - 158, [1] с. - Текст (визуальный) : непосредственный. Городняя, Лидия Васильевна. Функциональное программирование : учебное пособие / Л. В. Городняя, Т. А. Андреева, 2024. - 349, [1] с. - Текст (визуальный) : непосредственный. Кубенский, Александр Александрович. Функциональное программирование : учебник и практикум для вузов / А. А. Кубенский., 2026. - 348 с. - Текст : электронный. Физика элементарных частиц, астрофизика и космология : МНСК-2018: материалы 56-й Международной научной студенческой конференции, 22-27 апреля 2018 г.: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук., 2018. - 17 с. - Текст : непосредственный. Дудников В.Г. Источники отрицательных ионов / В. Г. Дудников, 2018. - 307 с. - Текст : непосредственный. Экология России и сопредельных территорий. МЭСК-2018 : материалы XXIII Международной экологической студенческой конференции / Министерство образования и науки Российской Федерации [и др.], 2018. - 209 с. - Текст : непосредственный. Войтишек А.В. Лекции по численным методам Монте-Карло : учебное пособие / А. В. Войтишек, 2018. - 314 с. - Текст : электронный. Геология и магматизм конвергентных окраин тихоокеанского типа : на основе курса лекций проф. Шигенори Маруяма (Япония) / Ш. Маруяма [и др.], 2018. - 96 с. - Текст : непосредственный. Зибарев А.В. Физическая органическая химия : учебное пособие / А. В. Зибарев, 2018. - 178 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : научный журнал. Т. 16№ 4, 2018. - 169 с. - Текст : непосредственный. Володин В.А. Физические основы микроэлектроники: лекции и задачи : учебное пособие / В. А. Володин, А. А. Блошкин, 2019. - 212 с. - Текст : непосредственный. Вестник Новосибирского государственного университета. Серия: Информационные технологии : научный журнал. Т. 17№ 1, 2019. - 104 с. - Текст : непосредственный. Физика твердого тела. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 38 с. - Текст : непосредственный. Математика. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 185 с. - Текст : непосредственный. Менеджмент. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 90, [3] с. - Текст : непосредственный. Физические методы в естественных науках. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 79 с. - Текст : непосредственный. Инструментальные методы и техника экспериментальной физики. МНСК-2019 : материалы 57-й Международной научной студенческой конференции, 14-19 апреля 2019 г., Новосибирск: материалы секции / Новосибирский государственный университет, Сибирское отделение Российской академии наук, 2019. - 22, [2] с. - Текст : непосредственный. Дудников В.Г. Источники отрицательных ионов : [монография] / В. Г. Дудников, 2019. - 309 с. - Текст : непосредственный. Федотов А.М. Информационные системы: модели и технологии : учебное пособие / А. М. Федотов, О. А. Федотова, М. А. Самбетбаева; ответственный редактор В. Б. Барахнин, 2019. - 263 с. - Текст : непосредственный. Информатика образования : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 99 с. - Текст : непосредственный. Наукоемкое программное обеспечение : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 150 с. - Текст : непосредственный. Преподавание информационных технологий в Российской Федерации : материалы Семнадцатой открытой Всероссийской конференции (Новосибирск, 16-17 мая 2019 г.) / Министерство науки и высшего образования РФ, Новосибирский государственный университет, Ассоциация предприятий компьютерных и информационных технологий (АПКИТ), 2019. - 595 с. - Текст : непосредственный. Математика в приложениях : международная конференция в честь 90-летия Сергея Константиновича Годунова, 4-10 августа 2019, Новосибирск, Россия: тезисы докладов / Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева, Министерство науки и высшего образования Российской Федерации, Новосибирский государственный университет, 2019. - 311 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование на языках Лисп, Эрланг : учебное пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный. Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный. Заикин Н.М. Основы функционального программирования на языке AutoLISP / Н. М. Заикин, 2003. - 88 с. - Текст : непосредственный. Lippe W.-M. Funktionale und applikative Programmierung / W.-M. Lippe, 2009 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Красильников И.В. Основы функционального программирования : рекомендовано методсоветом ВУЗа / И. В. Красильников, Е. Ю. Напеденина, 2018. - 51 с. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный. Лукьянов А.С. Основы функционального программирования на языке Haskell : учеб. пособие / А. С. Лукьянов, В. Н. Пинаев, 2012. - 67 с. - Текст : непосредственный. Ездаков А.Л. Функционирование и логическое программирование : учеб. пособие / А. Л. Ездаков, 2009. - 119 с. - Текст : непосредственный. Савушкин С.А. Функциональное программирование : учеб. пособие / С. А. Савушкин, 2012. - 144 с. - Текст : непосредственный. Ризванов Д.А. Функциональное и логическое программирование. Математические основы и языковая семантика : учеб. пособие / Д. А. Ризванов, Д. В. Попов, Г. А. Макеев, 2009. - 160 с. - Текст : непосредственный. Гаджала, Л. Н. Введение в язык ЛИСП и функциональное программирование : Учеб.пособие. Ч. 1, 1996. - 67 с. - Текст : непосредственный. Poernomo I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing, 2005 r=on-line. - Текст : электронный. Седова Н.А. Смарт-технологии: язык функциональных блоковых диаграмм : учеб. пособие / Н. А. Седова, В. А. Седов, 2017. - 219 с. - Текст : непосредственный. Показать все результаты Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование на языках Лисп, Эрланг : учебное пособие / П. Ю. Шалимов, 2010. - 174 с. - Текст : непосредственный. Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный. Заикин Н.М. Основы функционального программирования на языке AutoLISP / Н. М. Заикин, 2003. - 88 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Functional and logic programming / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Красильников И.В. Основы функционального программирования : рекомендовано методсоветом ВУЗа / И. В. Красильников, Е. Ю. Напеденина, 2018. - 51 с. - Текст : непосредственный. Березун Д.А. Трассирующая нормализация / Д. А. Березун, 2017. - 15 с. - Текст : непосредственный. ICFP'10 : proc. of the 2010 ACM SIGPLAN 15th Intern. conf. on functional programming, Sept. 27-29, 2010, Baltimore, Md, USA / International conference on functional programming (15th; 2010; Baltimore, Md), 2010. - X, 387 p. - Текст : непосредственный. Шалимов П.Ю. Функциональное программирование : Учеб. пособие для студентов вузов, обучающихся по спец. 22040 - "Программное обеспечение вычислительной техники и автоматизированных систем" / П.Ю.Шалимов, 2003. - 160 с. - Текст : непосредственный. Лукьянов А.С. Основы функционального программирования на языке Haskell : учеб. пособие / А. С. Лукьянов, В. Н. Пинаев, 2012. - 67 с. - Текст : непосредственный. Ездаков А.Л. Функционирование и логическое программирование : учеб. пособие / А. Л. Ездаков, 2009. - 119 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
