Приложение
для AndroidПолное описание
| УДК | |
| 004.4(075.32) |
| ББК | |
| 32.973я723 |
Кл.слова (ненормированные): Программирование -- Компьютерные и информационные науки -- Программирование -- Программирование и основы алгоритмизации -- Методы программирования -- Основы программирования -- Программирование для ЭВМ -- Основы алгоритмизации и программирования -- Введение в программирование -- Алгоритмизация и программирование -- Основы программирования и алгоритмизации -- Программирование и алгоритмизация -- Информатика (программирование и алгоритмы) -- Основы алгоритмизации и программирование -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.
Доп. точки доступа:
Швецкий, Михаил Владимирович\ред.\
Держатели документа:
Образовательная платформа «Юрайт» : 111123, г. Москва, ул. Плеханова, д.4А, комната 15 (Шифр в БД-источнике (URITE): RU/URAIT/587253)
Шифр в сводном ЭК: 6bbaa8f605bc44b5f5005e95e70b51ca
Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.
Слагода В.Г. Основы экономики / В. Г. Слагода, 2003. - 215 с. - Текст : непосредственный.Худолеев В.В. Налоги и налогообложение / В. В. Худолеев, 2007. - 319 с. - Текст : непосредственный.Туревский И.С. Экономика отрасли (автомобильный транспорт) : учебное пособие / И. С. Туревский, 2008. - 287 с. - Текст : непосредственный.Этика деловых отношений / В. К. Борисов, Е. М. Панина, М. И. Панов [и др.], 2006. - 175 с. - Текст : непосредственный.Щербаков Е.Ф. Электроснабжение и электропотребление на предприятиях : выставочные материалы / Е. Ф. Щербаков, Д. С. Александров, А. Л. Дубов, 2012. - 494 с. - Текст : непосредственный.Маслов В.И. Сварочные работы / В. И. Маслов, 2003. - 234 с. - Текст : непосредственный.Кнышова Е.Н. Экономика организации / Е. Н. Кнышова, Е. Е. Панфилова, 2005. - 334 с. - Текст : непосредственный.Кошевая И.П. Метрология, стандартизация, сертификация : учебное пособие / И. П. Кошевая, А. А. Канке, 2009. - 414 с. - Текст : непосредственный.Овчинников В. В. Оборудование термических цехов : выставочные материалы / В. В. Овчинников, 2014. - 364 с. - Текст : непосредственный.Овчинников В.В. Технология изготовления сварных конструкций : выставочные материалы / В. В. Овчинников, 2015. - 208 с. - Текст : непосредственный.Овчинников В.В. Производство сварных конструкций : выставочные материалы / В. В. Овчинников, 2015. - 287 с. - Текст : непосредственный.Голицына О.Л. Программное обеспечение : учебное пособие / О. Л. Голицына, Т. Л. Партыка, И. И. Попова, 2008. - 447 с. - Текст : непосредственный.Дубовой Н.Д. Основы метрологии, стандартизации и сертификации : учебное пособие / Н. Д. Дубовой, Е. М. Портнов, 2008. - 255 с. - Текст : непосредственный.Герасимова Е.Б. Управление качеством : учебное пособие / Е. Б. Герасимова, Б. И. Герасимов, А. Ю. Сизикин, 2007. - 255 с. - Текст : непосредственный.Блинова Т.В. Основы бухгалтерского учета / Т. В. Блинова, 2005. - 204 с. - Текст : непосредственный.Чичерин И.И. Общестроительные работы / И. И. Чичерин, 2002. - 416 с. - Текст : непосредственный.Канке А.А. Анализ финансово-хозяйственной деятельности предприятия : учебное пособие / А. А. Канке, И. П. Кошевая, 2008. - 287 с. - Текст : непосредственный.Слагода В.Г. Экономическая теория : учебное пособие / В. Г. Слагода, 2008. - 367 с. - Текст : непосредственный.Кудина М.В. Основы экономики : учебное пособие / М. В. Кудина, 2008. - 351 с. - Текст : непосредственный.Кругликов Г.И. Настольная книга мастера профессионального обучения : учебное пособие / Г. И. Кругликов, 2008. - 272 с. - Текст : непосредственный.
Показать все результатыКравченко, Лидия Викторовна. Photoshop шаг за шагом. Практикум : Учебное пособие / Л. В. Кравченко, С. И. Кравченко, 2023. - 136 с. - Текст : электронный.Шитов В.Н. Внедрение информационных систем : Учебное пособие / В.Н. Шитов, 2024. - 341 с. - Текст : электронный.Шитов В.Н. Инженерно-техническая поддержка сопровождения информационных систем : Учебник / В.Н. Шитов, 2024. - 280 с. - Текст : электронный.Шевченко, Алеся Сергеевна. Линейное программирование : Учебное пособие / Югорский государственный университет, 2024. - 253 с. - Текст : электронный.Зараменских, Евгений Петрович. Информационные системы: управление жизненным циклом : учебник и практикум для спо / Е. П. Зараменских., 2025. - 486 с. - Текст : электронный.Сысолетин, Евгений Геннадьевич. Разработка интернет-приложений : учебник для спо / Е. Г. Сысолетин, С. Д. Ростунцев., 2025. - 80 с. - Текст : электронный.Шитов В.Н. Внедрение информационных систем : Учебное пособие / В.Н. Шитов, 2025. - 341 с. - Текст : электронный.Чистов, Дмитрий Владимирович. Проектирование информационных систем : учебник и практикум для спо / Д. В. Чистов, П. П. Мельников, А. В. Золотарюк, Н. Б. Ничепорук., 2026. - 273 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Казанский, Александр Анатольевич. Программирование на C# : учебное пособие для спо / А. А. Казанский., 2026. - 181 с. - Текст : электронный.Казанский, Александр Анатольевич. Объектно-ориентированное программирование. Visual Basic : учебник для спо / А. А. Казанский., 2026. - 295 с. - Текст : электронный.Лисьев, Григорий Авенирович. Программное обеспечение компьютерных сетей и web-серверов : Учебное пособие / Южно-Уральский государственный гуманитарно-педагогический университет, 2026. - 145 с. - Текст : электронный.Синаторов, Сергей Владимирович. Информационные технологии в профессиональной деятельности : Учебное пособие / Саратовский областной институт развития образования. - 277 с. - Текст : электронный.
Просмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация