Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов — Михаил Владимирович Швецкий

Книга Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов

Михаил Владимирович Швецкий
Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов — Михаил Владимирович Швецкий
Добавить в закладки
Оценки пользователей:
95%
5%
131
7

Описание Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов

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

Книги цикла

Современные проблемы науки и образования 2-е изд., пер. и доп. Учебное пособие для вузов - Марина Ивановна Алдошина
Современные проблемы науки и образования 2-е изд., пер. и доп. Учебное пособие для вузов
Марина Ивановна Алдошина
Психология фотографии. Культурно-исторический анализ. Учебное пособие для вузов - Вероника Валерьевна Нуркова
Психология фотографии. Культурно-исторический анализ. Учебное пособие для вузов
Вероника Валерьевна Нуркова
Земельное право России 16-е изд., пер. и доп. Учебник для вузов - Борис Владимирович Ерофеев
Земельное право России 16-е изд., пер. и доп. Учебник для вузов
Борис Владимирович Ерофеев
Русский язык в деловой документации 2-е изд., пер. и доп. Учебник и практикум для вузов - Анна Юрьевна Иванова
Русский язык в деловой документации 2-е изд., пер. и доп. Учебник и практикум для вузов
Анна Юрьевна Иванова
Технология послепечатных процессов: лакирование продукции 2-е изд., пер. и доп. Учебное пособие для вузов - Лариса Олеговна Горшкова
Технология послепечатных процессов: лакирование продукции 2-е изд., пер. и доп. Учебное пособие для вузов
Лариса Олеговна Горшкова
Международное уголовное право 4-е изд., пер. и доп. Учебник для вузов - Владислав Николаевич Орлов
Международное уголовное право 4-е изд., пер. и доп. Учебник для вузов
Владислав Николаевич Орлов
Криминалистическая техника. Учебник для вузов - Татьяна Владимировна Орлова
Криминалистическая техника. Учебник для вузов
Татьяна Владимировна Орлова
Социальное предпринимательство. Учебное пособие для вузов - Надежда Яковлевна Калюжнова
Социальное предпринимательство. Учебное пособие для вузов
Надежда Яковлевна Калюжнова

Рекомендуем к прочтению

Базы данных: конспект лекций - Коллектив авторов
Базы данных: конспект лекций
Коллектив авторов
Открытые системы. СУБД №06/2009 - Открытые системы
Открытые системы. СУБД №06/2009
Открытые системы
Открытые системы. СУБД №07/2009 - Открытые системы
Открытые системы. СУБД №07/2009
Открытые системы
Открытые системы. СУБД №08/2009 - Открытые системы
Открытые системы. СУБД №08/2009
Открытые системы
Открытые системы. СУБД №09/2009 - Открытые системы
Открытые системы. СУБД №09/2009
Открытые системы
Открытые системы. СУБД №10/2009 - Открытые системы
Открытые системы. СУБД №10/2009
Открытые системы
Открытые системы. СУБД №03/2010 - Открытые системы
Открытые системы. СУБД №03/2010
Открытые системы
Открытые системы. СУБД №04/2010 - Открытые системы
Открытые системы. СУБД №04/2010
Открытые системы