Составители:
Рубрика:
Программа спецкурса «ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
99
СОДЕРЖАНИЕ КУРСА
Тема 1
Понятие формализованного языка
Всякий язык – это система символов, отображающая
(представляющая) некоторую систему эмпирических или
абстрактных объектов. Несовершенство естественного
языка (многозначность, громоздкость, смысловая неточ
ность его символов) значительно затрудняет исследование
сложных объектов в различных областях науки. Логика
придает исключительно большое значение правильному
Тематический план
Название темы
Колво часов
Лекции Семинары
Понятие формализованного языка 2 2
Общее представление о символической логике. 2 2
Структура символической логики
Основные понятия логики высказываний 2 2
Семантика логических союзов (связок) 2 2
Понятие общезначимой логической формулы. 2 2
Равносильные формулы
Нормальные формы формул логики высказываний 2 2
Дедуктивные умозаключения и вывод 2 2
в логике высказывания
Общее представление о теории аргументации 2 2
Логика предикатов 2
Итого 18 16
ВСЕГО 34
Страницы
- « первая
- ‹ предыдущая
- …
- 96
- 97
- 98
- 99
- 100
- …
- следующая ›
- последняя »
