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