Учебное пособие: Контрольные вопросы по логике

Положение логики высказываний для решения текстовых логических задач.

Тема 4. Средства моделирования логики предикатов

Предикатные функции. Кванторы существования и всеобщности. Свободные и связанные переменные. Интерпретация формул. Выполнимые, общезначимые формулы. Моделирование закономерностей предметных областей логическими формулами.

Базы данных, языки запросов и логические формулы.

Понятие логического исчисления. Аристотелева силлогистика. Модусы и фигуры силлогизма.

Тема 5. Логика научного познания

Доказательство и дедуктивный вывод. Виды индукции. Методы установления причинных связей. Гипотетико-дедуктивный метод. Аналогия.

Литература

1. Вайнтроб А.Ю., Ганнушкина С.А. Элементы теории множеств. М.: РГГУ, 1992.

2. Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001.

3. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.

4. Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М, 2000

5. Уемов А.И. Логические основы метода моделирования. М.: Мысль, 1971.