Программирование. Теория типов (2022)

Программирование. Теория типов (2022) КНИГИ » ПРОГРАММИНГ

Название: Программирование. Теория типов
Автор(ы): Кудрявцева И.А., Швецкий М.В.
Издательство: Юрайт
Год: 2022
Страниц: 652
Формат: PDF
Размер: 165 Мб
Язык: русский

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP,TSP,TIP).
Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования.
Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.

Скачать Кудрявцева И.А., Швецкий М.В. - Программирование. Теория типов (2022)

Скачать с katfile.com
Скачать с turbo.to

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: MIHAIL62 1-03-2022, 08:02 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Программирование. Комбинаторная логика (2022) Название: Программирование. Комбинаторная логика Автор(ы): Кудрявцева И.А., Швецкий М.В. Издательство: Юрайт Год: 2022 Страниц: 524 Формат: PDF ...

Программирование. Математическая логика (2022) Название: Программирование. Математическая логика Автор(ы): Швецкий М.В., Демидов М.В., Голанова А.В., Кудрявцева И.А. Издательство: Юрайт Год: 2022...

Структурное программирование (2022) Название: Структурное программирование Автор(ы): Якимов С.П. Издательство: Юрайт Год: 2022 Страниц: 342 Формат: PDF Размер: 85 Мб Язык: русский ...

Введение в теорию программирования. Объектно-ориентированный подход Название: Введение в теорию программирования. Объектно-ориентированный подход Автор: Зыков С.В. Издательство: ИНТУИТ Год: 2021 Cтраниц: 187 Формат:...

Прикладное программирование (2022) Название: Прикладное программирование Автор: Никифоров С. Н. Издательство: Лань Год: 2022 Формат: pdf Размер: 16 мб Язык: русский Учебное пособие...

Математика и программирование в Maple Название: Математика и программирование в Maple Автор: Кирсанов М.Н. Издательство: Москва Год: 2020 Cтраниц: 164 Формат: pdf Размер: 28 мб Язык:...

Основы теории цепей (2019) Название: Основы теории цепей Автор: Литвинов Б. В., Давыденко О. Б., Заякин И. И. Издательство: Юрайт Год: 2019 Формат: pdf Страниц: 339 Для...

Объектно-ориентированное программирование : учебное пособие. Направление подготовки 09.03.02 – Информационные системы и технологии. Профиль подготовки «Прикладное программирование в информационных системах». Бакалавриат Название: Объектно-ориентированное программирование : учебное пособие. Направление подготовки 09.03.02 – Информационные системы и технологии. Профиль...

Объектно-ориентированное программирование. Часть 1 : лабораторный практикум. Направление подготовки 09.03.02 – Информационные системы и технологии. Профиль подготовки «Прикладное программирование в информационных системах». Бакалавриат Название: Объектно-ориентированное программирование. Часть 1 : лабораторный практикум. Направление подготовки 09.03.02 – Информационные системы и...

Основы теории вероятностей в задачах Название: Основы теории вероятностей в задачах Автор: Орехов Ю.В., Абдрахманова Р.П. Издательство: Уфимский государственный авиационный технический...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.