Вебинар:
-
Программирование: комбинаторная логика
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 524 с. — (Высшее образование). — ISBN 978-5-534-10620-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565666 (дата обращения: 21.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа ...
-
Скопировать в буфер библиографическое описание
-
Программирование: комбинаторная логика
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: комбинаторная логика : учебник для среднего профессионального образования / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 524 с. — (Профессиональное образование). — ISBN 978-5-534-15128-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565805 (дата обращения: 21.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2025/ Гриф УМО СПОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)
ПОП СПО: 09.02.01 Компьютерные системы и комплексы, 09.02.01.П Компьютерные системы и комплексы (профессионалитет), 09.02.06.П Сетевое и системное администрирование (профессионалитет)... ещё 1 09.02.09 Веб-разработка
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа ... -
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: математическая логика
-
Скопировать в буфер библиографическое описание
Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 675 с. — (Высшее образование). — ISBN 978-5-534-11009-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565921 (дата обращения: 21.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество з...
-
Скопировать в буфер библиографическое описание
-
Ознакомиться Бесплатная доставка Бесплатная доставка при заказе ПЕЧАТНЫХ КНИГ от 3000 руб.Программирование: математическая логика
-
Скопировать в буфер библиографическое описание
Программирование: математическая логика : учебник для среднего профессионального образования / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 675 с. — (Профессиональное образование). — ISBN 978-5-534-13248-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565926 (дата обращения: 21.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2025/ Гриф УМО СПОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество з...
-
Скопировать в буфер библиографическое описание
-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/565920 (дата обращения: 21.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для вузов2025/ Гриф УМО ВОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального госуд...
-
Скопировать в буфер библиографическое описание
-
Программирование: теория типов
-
Скопировать в буфер библиографическое описание
Кудрявцева, И. А. Программирование: теория типов : учебник для среднего профессионального образования / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2024. — 652 с. — (Профессиональное образование). — ISBN 978-5-534-15382-8. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/542169 (дата обращения: 21.12.2025).
- Добавить в избранное
2-е изд., пер. и доп. Учебник для СПО2024/ Гриф УМО СПОНаучная школа: Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)Учебник представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственн...
-
Скопировать в буфер библиографическое описание
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы