Формальная логика
Гамова А.Н.
Учебное пособие. Саратов: Изд-во СГУ, 2001. - 72 с.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.Содержание:
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.Содержание:
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.
Γλώσσα:
russian
Αρχείο:
DOC, 822 KB
IPFS:
,
russian0
Litres
Θέλετε να προσθέσετε βιβλιοπωλείο; Επικοινωνήστε μαζί μας στο support@z-lib.do
Μετατροπή αρχείων
Περισσότερα αποτελέσματα αναζήτησης
Λοιπά πλεονεκτήματα 
![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
