51 Г522 Гладкий, Алексей Всеволодович. Язык математической логики [Текст] / А. В. Гладкий ; Калининский государственный университет. - Калинин : Калининский гос. ун-т, 1977. - 83, [1] с. ; 20 см. - (в обл.) : 0.25 р. Рубрики: Математическая логика Аннотация: Предметом настоящего пособия, предназначенного для студентов первого курса, является не математическая логика как таковая, а лишь ее язык: понятие предиката, квантры, пропозициональные связки и основные содержательные свойства этих понятий, а также некоторые особенно важные типы бинарных отношений (эквивалентности и порядки). По содержанию пособие примыкает к издающейся одновременно с ним книжке автора "Элементы теории множеств" (далее она будет сокращенно обозначаться ЭТМ) и может рассматриваться как ее продолжение. Впрочем, для чтения данного пособия достаточно знакомства с разделом 1 ЭТМ. Держатели документа: Библиотека НТГСПА Доп.точки доступа: Калининский государственный университет Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |