Формальная логика
Гамова А.Н.
Учебное пособие. Саратов: Изд-во СГУ, 2001. - 72 с.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.Содержание:
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.Содержание:
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.
언어:
russian
파일:
DOC, 822 KB
IPFS:
,
russian0