-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для среднего профессионального образования / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 652 с. — (Профессиональное образование). — ISBN 978-5-534-15382-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542169 (дата обращения: 25.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2024/ Гриф УМО СПОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебник представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственн...
-
Скопировать в буфер библиографическое описание
-
Математическое моделирование
-
Скопировать в буфер библиографическое описание
Рейзлин, В. И. Математическое моделирование : учебник для среднего профессионального образования / В. И. Рейзлин. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 126 с. — (Профессиональное образование). — ISBN 978-5-534-15286-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/568277 (дата обращения: 25.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПОВ пособии изложены основы численных методов решения краевых задач для обыкновенных дифференциальных уравнений и уравнений в частных производных, возникающих в сфере инфокоммуникаций, радиофизике, радиосвязи и других отраслях науки и техники; рассмотрены некоторые вопросы функционального анализа. Соответствует актуальным требованиям федерального государственного образо...2025/ Гриф УМО СПО -
Скопировать в буфер библиографическое описание
-
Адаптивные информационные и коммуникационные технологии в управлении средой обитания
-
Скопировать в буфер библиографическое описание
Суворова, Г. М. Адаптивные информационные и коммуникационные технологии в управлении средой обитания : учебник для среднего профессионального образования / Г. М. Суворова. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 210 с. — (Профессиональное образование). — ISBN 978-5-534-15192-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/568202 (дата обращения: 25.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2025/ Гриф УМО СПОНаучная школа: Ярославский государственный педагогический университет им. К.Д. Ушинского (г. Ярославль)
ПОП СПО: 09.02.01 Компьютерные системы и комплексы, 09.02.01.П Компьютерные системы и комплексы (профессионалитет), 09.02.06.П Сетевое и системное администрирование (профессионалитет)
Курс содержит разделы, в которых рассмотрены следующие вопросы: информационные технологии и экологические проблемы, мониторинг состояния окружающей среды, экологическая безопасность, управление качеством окружающей среды, влияние состояния окружающей среды на здоровье человека. Рассматриваются основные понятия, методы информационных технологий управления средой обитан... -
Скопировать в буфер библиографическое описание
-
Программирование: комбинаторная логика
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: комбинаторная логика : учебник для среднего профессионального образования / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 524 с. — (Профессиональное образование). — ISBN 978-5-534-15128-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565805 (дата обращения: 25.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2025/ Гриф УМО СПОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)
ПОП СПО: 09.02.01 Компьютерные системы и комплексы, 09.02.01.П Компьютерные системы и комплексы (профессионалитет), 09.02.06.П Сетевое и системное администрирование (профессионалитет)... ещё 1 09.02.09 Веб-разработка
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа ... -
Скопировать в буфер библиографическое описание
-
Математические расчеты в среде Mathcad
-
Скопировать в буфер библиографическое описание
Черняк, А. А. Математические расчеты в среде Mathcad : учебное пособие для среднего профессионального образования / А. А. Черняк, Ж. А. Черняк ; под общей редакцией А. А. Черняк. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 163 с. — (Профессиональное образование). — ISBN 978-5-534-15126-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/544471 (дата обращения: 25.12.2025).
- Добавить в избранное
3-е изд., испр. и доп. Учебное пособие для СПО2024/ Гриф УМО СПОНаучная школа: Белорусский государственный педагогический университет имени Максима Танка (г. Минск)В настоящем курсе разработан оригинальный лекционно-лабораторный комплекс для преподавания высшей математики на базе Mathcad. Каждый пункт курса состоит из следующих разделов: «теоретический минимум», который служит кратким справочным материалом; подготовительный практикум, оставляющий возможность решения ряда задач «вручную»; практикум на Mathcad: к нему прилагаются ...
-
Скопировать в буфер библиографическое описание
-
Математическая обработка информации
-
Скопировать в буфер библиографическое описание
Тропин, М. П. Математическая обработка информации : учебное пособие для среднего профессионального образования / М. П. Тропин. — Москва : Издательство Юрайт, 2025. — 151 с. — (Профессиональное образование). — ISBN 978-5-534-20556-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/558380 (дата обращения: 25.12.2025).
- Добавить в избранное
Учебное пособие для СПОЭтот курс для всех, кто хочет приобщиться к богатому миру математики и возможностям, которые она предоставляет. Рассматриваемого материала достаточно, чтобы начинающие исследователи в рамках своей научной работы могли спланировать небольшое статистическое исследование, вручную провести все вычисления и сделать обоснованные выводы. Изложение дается на максимально досту...2025/ Гриф УМО СПО -
Скопировать в буфер библиографическое описание
-
Алгоритмические языки и программирование: ДРАКОН
-
Скопировать в буфер библиографическое описание
Паронджанов, В. Д. Алгоритмические языки и программирование: ДРАКОН : учебник для среднего профессионального образования / В. Д. Паронджанов. — Москва : Издательство Юрайт, 2025. — 436 с. — (Профессиональное образование). — ISBN 978-5-534-14733-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/567171 (дата обращения: 25.12.2025).
- Добавить в избранное
Учебник для СПОУлучшенные блок-схемы (дракон-схемы) позволяют быстро и без усилий изучить алгоритмы и жизнеритмы. Рассмотрены линейные, разветвленные, циклические и параллельные алгоритмы с примерами в виде наглядных и легко запоминающихся чертежей. Эргономичные дракон-алгоритмы, понятные с первого взгляда, помогут быстро освоить секреты мастерства. Даны примеры бизнес-процессов, по...2025/ Гриф УМО СПО -
Скопировать в буфер библиографическое описание
-
Основы информационной безопасности: защита информации
-
Скопировать в буфер библиографическое описание
Внуков, А. А. Основы информационной безопасности: защита информации : учебное пособие для среднего профессионального образования / А. А. Внуков. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 161 с. — (Профессиональное образование). — ISBN 978-5-534-13948-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542340 (дата обращения: 25.12.2025).
- Добавить в избранное
3-е изд., пер. и доп. Учебное пособие для СПО2024/ Гриф УМО СПОПОП СПО: 10.02.05.П Обеспечение информационной безопасности автоматизированных систем (профессионалитет), 11.02.15 Инфокоммуникационные сети и системы связи, 11.02.15.П Инфокоммуникационные сети и системы связи (профессионалитет)... ещё 11 11.02.18 Системы радиосвязи, мобильной связи и телерадиовещания [ранее 11.02.08 Средства связи с подвижными объектами и 11.02.10 Радиосвязь, радиовещание и телевидение], 19.02.11 Технология продуктов питания из растительного сырья [ранее 19.02.02, 19.02.03, 19.02.04, 19.02.05, 19.02.06, 19.02.09, 35.02.06], 19.02.11.П Технология продуктов питания из растительного сырья [ранее 19.02.02, 19.02.03, 19.02.04, 19.02.05, 19.02.06, 19.02.09, 35.02.06] (профессионалитет), 19.02.12 Технология продуктов питания животного происхождения [ранее 19.02.07, 19.02.08, 35.02.06], 19.02.12.П Технология продуктов питания животного происхождения [ранее 19.02.07, 19.02.08, 35.02.06] (профессионалитет), 38.02.03 Операционная деятельность в логистике, 38.02.03.П Операционная деятельность в логистике (профессионалитет), 38.02.07 Банковское дело, 38.02.07.П Банковское дело (профессионалитет), 38.02.08 Торговое дело [ранее 38.02.04 Коммерция (по отраслям), 38.02.05 Товароведение и экспертиза качества потребительских товаров], 38.02.08.П Торговое дело [ранее 38.02.04 Коммерция (по отраслям), 38.02.05 Товароведение и экспертиза качества потребительских товаров] (профессионалитет)
В учебнике представлены основные современные проблемы защиты информации, соответствующие описательные примеры из предпринимательской деятельности, методы решения и статистические данные. В нем рассмотрены вопросы правовой и административной защиты информации, интеллектуальной собственности в предпринимательской деятельности, работы службы безопасности предприятия, орг... -
Скопировать в буфер библиографическое описание
-
Подъемно-транспортные машины: расчет металлических конструкций методом конечных элементов
-
Скопировать в буфер библиографическое описание
Подъемно-транспортные машины: расчет металлических конструкций методом конечных элементов : учебник для среднего профессионального образования / А. В. Лагерев, А. В. Вершинский, И. А. Лагерев, А. Н. Шубин ; под редакцией А. В. Лагерева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 198 с. — (Профессиональное образование). — ISBN 978-5-534-13675-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566947 (дата обращения: 25.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2025/ Гриф УМО СПОНаучная школа: Московский государственный технический университет имени Н.Э. Баумана (г. Москва)Рассматриваются вопросы, связанные с проведением расчетов напряженно-деформированного состояния металлических конструкций подъемно-транспортных машин и сварных соединений методом конечных элементов на основе универсального вычислительного комплекса NX Nastran и специализированного вычислительного комплекса МГТУ им. Н. Э. Баумана. Изложены основы метода конечных элемен...
Брянский государственный университет имени академика И.Г. Петровского (г. Брянск)
-
Скопировать в буфер библиографическое описание
-
Математическое моделирование
-
Скопировать в буфер библиографическое описание
Зализняк, В. Е. Математическое моделирование : учебник для среднего профессионального образования / В. Е. Зализняк, О. А. Золотов. — Москва : Издательство Юрайт, 2025. — 125 с. — (Профессиональное образование). — ISBN 978-5-534-20526-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566811 (дата обращения: 25.12.2025).
- Добавить в избранное
Учебник для СПОВ учебном пособии рассматриваются основные идеи и подходы, позволяющие строить математические модели изучаемых объектов. Представлены примеры построения математических моделей на основе использования фундаментальных законов сохранения и вариационных принципов. Приводятся примеры построения математических моделей в различных областях знаний, таких как физика, химия, би...2025/ Гриф УМО СПО -
Скопировать в буфер библиографическое описание
Компьютерные и информационные науки
142
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы