-
Программирование: комбинаторная логика
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 524 с. — (Высшее образование). — ISBN 978-5-534-10620-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565666 (дата обращения: 20.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа ...
-
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: математическая логика
-
Скопировать в буфер библиографическое описание
Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 675 с. — (Высшее образование). — ISBN 978-5-534-11009-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565921 (дата обращения: 20.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество з...
-
Скопировать в буфер библиографическое описание
-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565920 (дата обращения: 20.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Радиотехнические системы
-
Скопировать в буфер библиографическое описание
Радиотехнические системы : учебник для вузов / под общей редакцией М. Ю. Застела. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 495 с. — (Высшее образование). — ISBN 978-5-534-06598-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/563971 (дата обращения: 20.12.2025).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Казанский национальный исследовательский технический университет имени А.Н. Туполева — КАИ (г. Казань)В учебном пособии изложены основы теории радиотехнических систем. Рассмотрены модели сигналов, помех и каналов, особенности обнаружения и различения сигналов, содержатся материалы по практическому использованию полигауссовых моделей и методов, описаны возможные технические решения в области радиотехнических систем. Также в пособии рассмотрены основные структуры, харак...
-
Скопировать в буфер библиографическое описание
-
Радиоэлектроника. Формирование стабильных частот и сигналов
-
Скопировать в буфер библиографическое описание
Белов, Л. А. Радиоэлектроника. Формирование стабильных частот и сигналов : учебник для вузов / Л. А. Белов. — 3-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 268 с. — (Высшее образование). — ISBN 978-5-534-14694-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/563824 (дата обращения: 20.12.2025).
- Добавить в избранное
3-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Национальный исследовательский университет «Московский энергетический институт» (г. Москва)Изложены основы теории сигналов, представлены принципы построения аналоговых и цифровых устройств формирования радиосигналов. Показаны варианты устройств формирования периодических колебаний негармонической формы и исследован возникающий в них эффект ангармонизма обертонов. Представлен краткий обзор моделей микросхем, узлов и устройств формирования сигналов, предлагае...
-
Скопировать в буфер библиографическое описание
-
Разработка системы управления рисками и капиталом (ВПОДК)
-
Скопировать в буфер библиографическое описание
Разработка системы управления рисками и капиталом (ВПОДК) : учебник и практикум для вузов / под научной редакцией А. Д. Дугина, Г. И. Пеникаса. — Москва : Издательство Юрайт, 2025. — 367 с. — (Высшее образование). — ISBN 978-5-9916-4949-0. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/561968 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник и практикум для вузовВ учебнике рассматриваются теоретические и практические аспекты реализации внутренних процедур оценки достаточности капитала (ВПОДК) в кредитных организациях и банковских группах, затрагивающие все ключевые этапы ВПОДК: идентификацию рисков, определение риск-аппетита, стресс-тестирование, оценку потребности в капитале, внутренний аудит и валидацию моделей оценки риска...2025 -
Скопировать в буфер библиографическое описание
-
Риск-менеджмент
-
Скопировать в буфер библиографическое описание
Вяткин, В. Н. Риск-менеджмент : учебник / В. Н. Вяткин, В. А. Гамза, Ф. В. Маевский. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 365 с. — (Высшее образование). — ISBN 978-5-9916-3502-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/560309 (дата обращения: 20.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. УчебникВы держите в руках первый, в настоящее время единственный современный учебник по дисциплине «Управление рисками организации». Управление рисками - это управление будущим. Это парадигма и стиль упреждающего мышления руководителей качественно нового века, в котором ошибки принятия решений неприемлемо опасны. Умение маневрировать в сложном рисковом ландшафте стало одной ...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Силовая электроника
-
Скопировать в буфер библиографическое описание
Розанов, Ю. К. Силовая электроника : учебник и практикум для вузов / Ю. К. Розанов, М. Г. Лепанов ; под редакцией Ю. К. Розанова. — Москва : Издательство Юрайт, 2025. — 206 с. — (Высшее образование). — ISBN 978-5-9916-9440-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/560583 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник и практикум для вузов2025/ Гриф УМО ВОНаучная школа: Национальный исследовательский университет «Московский энергетический институт» (г. Москва)Курс дает студентам представление о принципах действия и основных характеристиках силовых электронных приборов, а также о современных тенденциях развития данной отрасли. В курсе подробно описаны принципы регулирования и основные функциональные элементы систем управления устройствами силовой электроники. Представлены базовые схемы тиристорных преобразователей, автономн...
-
Скопировать в буфер библиографическое описание
-
Системный анализ в менеджменте
-
Скопировать в буфер библиографическое описание
Прокофьева, Т. А. Системный анализ в менеджменте : учебник для вузов / Т. А. Прокофьева, В. В. Челноков. — Москва : Издательство Юрайт, 2025. — 313 с. — (Высшее образование). — ISBN 978-5-534-10451-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565703 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник для вузовВ рамках учебного курса «Системный анализ в менеджменте» изучаются история зарождения, теоретические предпосылки и методологические аспекты применения системного подхода к исследованиям в менеджменте, его роль и значение в стратегическом и оперативном планировании и управлении развитием предприятий и организаций. Рассматривается роль системного анализа и системных мет...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Системный анализ и программно-целевой менеджмент рисков
-
Скопировать в буфер библиографическое описание
Белов, П. Г. Системный анализ и программно-целевой менеджмент рисков : учебник и практикум для вузов / П. Г. Белов. — Москва : Издательство Юрайт, 2025. — 289 с. — (Высшее образование). — ISBN 978-5-534-04690-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/563680 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник и практикум для вузов2025/ Гриф УМО ВОНаучная школа: Московский авиационный институт (национальный исследовательский университет) (г. Москва)В учебнике излагается методология системного анализа и программно-целевого прогнозирования рисков, сопутствующих функционированию человеко-машинных систем. По итогам изучения данного учебника студенты научатся пользоваться современными информационными технологиями, пригодными для оптимизации мероприятий по обоснованию, обеспечению, контролю и поддержанию социально-при...
-
Скопировать в буфер библиографическое описание
09.03.04 Программная инженерия
1113
