Зарегистрироваться
Восстановить пароль
FAQ по входу

Гамова А.Н. Формальная логика

  • Файл формата zip
  • размером 167,63 КБ
  • содержит документ формата doc
  • Добавлен пользователем
  • Описание отредактировано
Гамова А.Н. Формальная логика
Учебное пособие. — Саратов: Изд-во СГУ, 2001. — 72 с.
Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается упражнениями и примерами решения задач. Для студентов и аспирантов факультета гуманитарных и социальных наук.
Традиционная логика.
Понятие.
Суждение.
Умозаключение.
Теория силлогизмов Аристотеля.
Умозаключения из суждений с отношениями.
Индуктивные умозаключения.
Математическая логика.
Логика высказываний.
Алгебра высказываний.
Приложения алгебры высказываний.
Аксиоматическая система в исчислении высказываний.
Логика предикатов.
Исчисление предикатов.
Система аксиом в исчислении предикатов.
Формальная арифметика.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация