Приложение
для AndroidПолное описание
| УДК | |
| 004.4(075.8) |
| ББК | |
| 32.973я73 |
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
Доп. точки доступа:
Швецкий, Михаил Владимирович
Держатели документа:
Образовательная платформа «Юрайт» : 111123, г. Москва, ул. Плеханова, д.4А, комната 15 (Шифр в БД-источнике (URITE): RU/URAIT/587151)
Шифр в сводном ЭК: f15a7fa0b0e36fae2490953baae0723d
Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.
Бродовой В.В. Комплексирование геофизических методов / В. В. Бродовой, 1991. - 330 с. - Текст : непосредственный.Юкша Я.А. Гражданское право : учебное пособие / Я. А. Юкша, 2011. - 368 с. - Текст : непосредственный.Мотивация и стимулирование трудовой деятельности : выставочные материалы / А. Я. Кибанов, И. А. Баткаева, Е. А. Митрофанова, М. В. Ловчева, 2012. - 523 с. - Текст : непосредственный.Письменный Д.Т. Конспект лекций по теории вероятностей, математической статистике и случайным процессам / Д. Т. Письменный, 2015. - 287 с. - Текст : непосредственный.Маслов Е.В. Управление персоналом предприятия / Е. В. Маслов, 2003. - 312 с. - Текст : непосредственный.Басовский Л.Е. Управление качеством / Л. Е. Басовский, В. Б. Протасьев, 2003. - 211 с. - Текст : непосредственный.Остапенко Ю.М. Экономика труда / Ю. М. Остапенко, 2003. - 267 с. - Текст : непосредственный.Мамаева Л.М. Институциональная экономика / Л. М. Мамаева, 2015. - 409 с. - Текст : непосредственный.Абрамов А.А. Флотационные методы обогащения / А. А. Абрамов, 1993. - 412 c. - Текст : непосредственный.Раджабова З.К. Мировая экономика : учебное пособие / З. К. Раджабова, 2010. - 304 с. - Текст : непосредственный.Рыхтикова Н.А. Анализ и управление рисками организации : учебное пособие / Н. А. Рыхтикова, 2009. - 239 с. - Текст : непосредственный.Черник Д.Г. Налоги и налогообложение / Д. Г. Черник, Д. Г. Черник, Л. П. Павлова, А. З. Дадашев, 2001. - 415 с. - Текст : непосредственный.Левита Р.Я. История экономических учений / Р. Я. Левита, 2002. - 224 с. - Текст : непосредственный.Кондраков Н.П. Бухгалтерский учет : учебное пособие / Н. П. Кондраков, 2008. - 718 с. - Текст : непосредственный.Ушаков И.А. Курс теории надежности систем : учебное пособие / И. А. Ушаков, 2008. - 240 с. - Текст : непосредственный.Владимиров Ю.А. Физико-химические основы фотобиологических процессов / Ю. А. Владимиров, А. Я. Потапенко, 2006. - 286 с. - Текст : непосредственный.Басовский Л.Е. Прогнозирование и планирование в условиях рынка / Л. Е. Басовский, 2001. - 259 с. - Текст : непосредственный.Смолкин А.М. Менеджмент: основы организации / А. М. Смолкин, 2001. - 247 с. - Текст : непосредственный.Басовский Л.Е. Менеджмент / Л. Е. Басовский, Э. М. Коротков, А. А. Беляев, М. Б. Жернакова, О. Ю. Кириллова, 2003. - 216 с. - Текст : непосредственный.Зубкова А.В. Приемы антикризисного менеджмента : монография / А. В. Зубкова, 2008. - 397 с. - Текст : непосредственный.
Показать все результатыТитов, Константин Викторович. Функции комплексной переменной, ряды и операционное исчисление : Компьютерные технологии решения задач и примеров в Wolfram Mathematica: Учебное пособие / Московский государственный технический университет им. Н.Э. Баумана, 2019. - 238 с. - Текст : электронный.Титов, Константин Викторович. Компьютерная математика : Учебное пособие / Московский государственный технический университет им. Н.Э. Баумана, 2018. - 261 с. - Текст : электронный.Титов, Константин Викторович. Уравнения математической физики. Практикум. Компьютерные технологии решения задач : Учебное пособие / Московский государственный технический университет им. Н.Э. Баумана, 2022. - 262 с. - Текст : электронный.Беккер, Вячеслав Филиппович. Технические средства автоматизации. Интерфейсные устройства и микропроцессорные средства : Учебное пособие / Пермский национальный исследовательский политехнический университет, Березниковский ф-л, 2024. - 152 с. - Текст : электронный.Лехмус М.Ю. Управление контентом организации с использованием CMS : Учебно-методическое пособие / М.Ю. Лехмус, 2023. - 113 с. - Текст : электронный.Горюшкин А.А. Офисное программное обеспечение : Учебное пособие / А.А. Горюшкин, 2024. - 130 с. - Текст : электронный.Горюшкин А.А. Офисное программное обеспечение : Учебное пособие / А.А. Горюшкин, 2025. - 118 с. - Текст : электронный.Шаталова А.Ю. Основы веб-разработки : Учебное пособие / А.Ю. Шаталова, М.В. Коротеев, 2024. - 282 с. - Текст : электронный.Кудрявцев, Константин Яковлевич. Методы оптимизации : учебное пособие для вузов / К. Я. Кудрявцев, А. М. Прудников., 2025. - 114 с. - Текст : электронный.Зараменских, Евгений Петрович. Разработка информационных систем : учебник и практикум для спо / Е. П. Зараменских., 2025. - 78 с. - Текст : электронный.Зараменских, Евгений Петрович. Проектирование информационных систем : учебник и практикум для спо / Е. П. Зараменских., 2025. - 119 с. - Текст : электронный.Зараменских, Евгений Петрович. Проектирование информационных систем : учебник и практикум для вузов / Е. П. Зараменских., 2025. - 119 с. - Текст : электронный.Зараменских, Евгений Петрович. Разработка информационных систем : учебник и практикум для вузов / Е. П. Зараменских., 2025. - 78 с. - Текст : электронный.Сысолетин, Евгений Геннадьевич. Разработка интернет-приложений : учебник для вузов / Е. Г. Сысолетин, С. Д. Ростунцев; под научной редакцией Л. Г. Доросинского., 2025. - 80 с. - Текст : электронный.Шаталова А.Ю. Основы веб-разработки : Учебное пособие / А.Ю. Шаталова, М.В. Коротеев, 2025. - 282 с. - Текст : электронный.Горбенко А.О. Программная инженерия : Учебник / А.О. Горбенко, А.А. Попов, 2025. - 307 с. - Текст : электронный.Дадян, Эдуард Григорьевич. Конфигурирование и моделирование в системе "1С: Предприятие" : Учебник / Финансовый университет при Правительстве Российской Федерации, 2026. - 417 с. - Текст : электронный.Горюшкин А.А. Офисное программное обеспечение: лабораторный практикум для студентов экономических специальностей : Учебное пособие / А.А. Горюшкин, 2026. - 118 с. - Текст : электронный.Зараменских, Евгений Петрович. Управление жизненным циклом информационных систем : учебник и практикум для вузов / Е. П. Зараменских., 2026. - 458 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.
Показать все результатыПросмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация