Новые поступления (книга в стадии обработки) Эдельман, С. Л. Математическая логика [Текст] : учеб. пособие / С. Л. Эдельман. - М. : Высшая школа, 1975. - 176 с. : ил. ; 20 см. - Библиогр.: с. 172 (14 назв.). - 0.30 р. Гриф: допущено М-вом просвещения СССР в качестве учеб. пособия для студ. пед. ин-тов
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АКСИОМЫ -- ОТНОШЕНИЕ ЭКВИВАЛЕНТНОСТИ Аннотация: Учебное пособие соответствует программе курса "Математическая логика" для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |