В.Н. Мельников. Логические задачи (1989) DjVu

Издательство: Высшая школа
Автор В.Н. Мельников
Год: 1989
Страниц: 343
Формат: djvu
Размер 11.9 Мб

Описание Рассмотрены элементы логики классов, логики высказываний и логики предикатов, а также традиционная силлогистика. Кроме изложения теоретических проблем, каждый параграф содержит серию задач и методические пояснения к ним. Большое количество задач (свыше 1800), их различия по степени сложности дают возможность разнообразить задания студентам. В отличие от других учебников содержится материал для усвоения аналитико-табличного метода доказательства.