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

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

Михаил Владимирович Швецкий
Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО — Михаил Владимирович Швецкий
Добавить в закладки
Оценки пользователей:
86%
14%
193
33

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

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

Книги цикла

Математика для гуманитарных специальностей 3-е изд., пер. и доп. Учебник для СПО - Алла Владимировна Дорофеева
Математика для гуманитарных специальностей 3-е изд., пер. и доп. Учебник для СПО
Алла Владимировна Дорофеева
Возрастная анатомия и физиология в 2 т. Т. 1 организм человека, его регуляторные и интегративные системы 2-е изд., пер. и доп. Учебник для СПО - А. А. Никитина
Возрастная анатомия и физиология в 2 т. Т. 1 организм человека, его регуляторные и интегративные системы 2-е изд., пер. и доп. Учебник для СПО
А. А. Никитина
Управление персоналом 2-е изд., пер. и доп. Учебник и практикум для СПО - Николай Афанасьевич Горелов
Управление персоналом 2-е изд., пер. и доп. Учебник и практикум для СПО
Николай Афанасьевич Горелов
Профессиональные ценности и этика бухгалтеров и аудиторов. Учебник для СПО - Лариса Николаевна Герасимова
Профессиональные ценности и этика бухгалтеров и аудиторов. Учебник для СПО
Лариса Николаевна Герасимова
Судебная медицина. Учебник для СПО - Петр Петрович Грицаенко
Судебная медицина. Учебник для СПО
Петр Петрович Грицаенко
Экономическая география. Учебник и практикум для СПО - Яков Дмитриевич Вишняков
Экономическая география. Учебник и практикум для СПО
Яков Дмитриевич Вишняков
Логистика 5-е изд., пер. и доп. Учебник и практикум для СПО - Ю. М. Неруш
Логистика 5-е изд., пер. и доп. Учебник и практикум для СПО
Ю. М. Неруш
Физическая и коллоидная химия. Учебник и практикум для СПО - Н. С. Кудряшева
Физическая и коллоидная химия. Учебник и практикум для СПО
Н. С. Кудряшева

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

Базы данных: конспект лекций - Коллектив авторов
Базы данных: конспект лекций
Коллектив авторов
Открытые системы. СУБД №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
Открытые системы