-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565920 (дата обращения: 20.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Семантика: от слова к тексту
-
Скопировать в буфер библиографическое описание
Глазков, А. В. Семантика: от слова к тексту : учебник и практикум для вузов / А. В. Глазков. — Москва : Издательство Юрайт, 2025. — 492 с. — (Высшее образование). — ISBN 978-5-534-15025-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/567894 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник и практикум для вузовКурс дает знания в области основных понятий в семантике, семантического значения, соотношения семантического значения и понятия. Цель курса — сформировать у студента теоретическое представление о семантике и представить ее в качестве лингвистического инструмента для практической работы со значением языковых единиц. Соответствует актуальным требованиям федерального гос...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Структурное программирование
-
Скопировать в буфер библиографическое описание
Якимов, С. П. Структурное программирование : учебник для вузов / С. П. Якимов. — Москва : Издательство Юрайт, 2025. — 342 с. — (Высшее образование). — ISBN 978-5-534-14885-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/567948 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник для вузовВ курсе освещены основные аспекты структурного программирования с примерами на языке Pascal. Каждый раздел содержит задания различной сложности для самостоятельного выполнения и контрольные примеры для проверки правильности выполнения. Уделено внимание технологии программирования и стандартам стилевого оформления программного кода. Основой данного курса послужили мате...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Социально-экономическая статистика
-
Скопировать в буфер библиографическое описание
Бычкова, С. Г. Социально-экономическая статистика : учебник и практикум для вузов / С. Г. Бычкова, Л. С. Паршинцева ; под общей редакцией С. Г. Бычковой. — Москва : Издательство Юрайт, 2025. — 488 с. — (Высшее образование). — ISBN 978-5-534-14952-4. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/567798 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник и практикум для вузовВ курсе представлены основные разделы социально-экономической статистики, освещены международные стандарты статистической деятельности и производства статистических данных, принципы построения перспективной модели государственной статистики в современных условиях и современные технологии, применяемые в статистической деятельности. Рассмотрены системы показателей стати...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Учебник логики
-
Скопировать в буфер библиографическое описание
Челпанов, Г. И. Учебник логики / Г. И. Челпанов. — Москва : Издательство Юрайт, 2025. — 230 с. — (Антология мысли). — ISBN 978-5-534-12267-1. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566849 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник, написанный русским психологом, логиком и философом Г. И. Челпановым, использовался в гимназиях для самообразования и получил премию Министерства просвещения еще до Первой мировой войны. В учебнике не только даются теоретические основы логики, он учит читателя и умению применять их на практике. По признанию самого автора, большое внимание уделено силлогистике,...2025 -
Скопировать в буфер библиографическое описание
-
Интерактивные образовательные технологии
-
Скопировать в буфер библиографическое описание
Кругликов, В. Н. Интерактивные образовательные технологии : учебник и практикум для вузов / В. Н. Кругликов, М. В. Оленникова. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2025. — 355 с. — (Высшее образование). — ISBN 978-5-534-15331-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/563025 (дата обращения: 20.12.2025).
- Добавить в избранное
3-е изд., испр. и доп. Учебник и практикум для вузовСегодня становится очевидным, что процесс обучения должен быть направлен на развитие личности, что само обучение заключается в целенаправленной, активной деятельности ученика по освоению учебного материала, выработке навыков и умений. На первый план выдвигаются отказ от авторитарных методов воздействия и принуждения, диалогические методы общения, совместный поиск исти...2025/ Гриф УМО ВО -
Скопировать в буфер библиографическое описание
-
Методы оптимальных решений
-
Скопировать в буфер библиографическое описание
Зенков, А. В. Методы оптимальных решений : учебник для среднего профессионального образования / А. В. Зенков. — Москва : Издательство Юрайт, 2025. — 201 с. — (Профессиональное образование). — ISBN 978-5-534-15370-5. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/568344 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник для СПО2025/ Гриф УМО СПОНаучная школа: Уральский государственный экономический университет (г. Екатеринбург)Учебное пособие соответствует лекционному курсу «Методы оптимальных решений», читаемому студентам направлений подготовки «Бизнес-информатика», «Экономика», «Менеджмент». Каждая глава заканчивается упражнениями (с ответами) для аудиторной и самостоятельной работы, а в конце пособия помещены индивидуальные домашние задания по всему курсу. Соответствует актуальным требов...
Уральский федеральный университет имени первого Президента России Б.Н. Ельцина (г. Екатеринбург)
-
Скопировать в буфер библиографическое описание
-
О свободе
-
Скопировать в буфер библиографическое описание
Милль, Д. О свободе / Д. Милль. — Москва : Издательство Юрайт, 2025. — 128 с. — (Антология мысли). — ISBN 978-5-534-15363-7. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/568293 (дата обращения: 20.12.2025).
- Добавить в избранное
Джон Стюарт Милль — английский философ и политический деятель, теоретик гражданского права. Книга «О свободе» посвящена именно гражданской свободе человека, в фокусе внимания автора — вопрос, насколько общество, власть и государство может вмешиваться в деятельность индивидуума, где находятся границы свободы человека. В этой работе Милль, утверждая такие фундаментальны...2025 -
Скопировать в буфер библиографическое описание
-
Великие композиторы. И. -С. Бах. Моцарт. Шопен. Шуман. Вагнер
-
Скопировать в буфер библиографическое описание
Базунов, С. А. Великие композиторы. И. -С. Бах. Моцарт. Шопен. Шуман. Вагнер / С. А. Базунов, М. А. Давыдова, Л. К. Давыдова. — Москва : Издательство Юрайт, 2025. — 322 с. — (Открытая наука). — ISBN 978-5-534-12499-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566937 (дата обращения: 20.12.2025).
- Добавить в избранное
В книге собраны биографические очерки о жизни великих композиторов — Баха, Моцарта, Шопена, Шумана и Вагнера. Рассказывая об их судьбах через их отношения с близкими, приводя множество бытовых подробностей, анекдотов, цитируя письма и критические статьи, авторы биографий в увлекательной форме дают контекст, важный для понимания творчества великих композиторов, раскрыв...2025 -
Скопировать в буфер библиографическое описание
-
Грузовые перевозки: комбинированные технологии
-
Скопировать в буфер библиографическое описание
Колик, А. В. Грузовые перевозки: комбинированные технологии : учебник для вузов / А. В. Колик. — Москва : Издательство Юрайт, 2025. — 258 с. — (Высшее образование). — ISBN 978-5-534-14884-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/566829 (дата обращения: 20.12.2025).
- Добавить в избранное
Учебник для вузовВ учебнике рассматривается одно из наиболее перспективных направлений в развитии транспортных технологий комбинированные перевозки. Описаны различные концепции перевозок с участием нескольких видов транспорта, основные организационные, технические и технологические решения в сфере комбинированных перевозок, условия эффективного применения контейнеров, контрейлеров и д...2025 -
Скопировать в буфер библиографическое описание
Библиотека
11492
