СОДЕРЖАНИЕ

ТЕМА 1. ФОРМЫ ВЫСКАЗЫВАНИЙ


ТЕМА 2. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ


ТЕМА 3. ОТНОШЕНИЕ РАНОСИЛЬНОСТИ ФОРМУЛ В ЛОГИКЕ
ВЫСКАЗЫВАНИЙ.
ПРАВИЛО
РАВНОСИЛЬНОЙ
ЗАМЕНЫ.
ТАВТОЛОГИИ И ПРОТИВОРЕЧИЯ


ТЕМА 4. РАСШИРЕНИЕ ЯЗЫКА ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКИ.
ПОЛНЫЕ
СИСТЕМЫ
ЛОГИЧЕСКИХ
СВЯЗОК.
ЗАКОН
ДВОЙСТВЕННОСТИ


ТЕМА
5.
НОРМАЛЬНАЯ
ФОРМА
ФОРМУЛ
ЛОГИКИ
ВЫСКАЗЫВАНИЙ. СЕМАНТИЧЕСКАЯ ПРОБЛЕМА РАЗРЕШЕНИЯ


ТЕМА 6. КОНЪЮНКТИВНЫЕ НОРМАЛЬНЫЕ ФОРМЫ. ПОНЯТИЕ
ЛОГИЧЕСКОГО СЛЕДОВАНИЯ.


ТЕМА 7. ДИЗЪЮНКТИВНЫЕ НОРМАЛЬНЫЕ ФОРМЫ


ТЕМА 8. ПОНЯТИЕ ЛОГИЧЕСКОГО ВЫВОДА


ТЕМА
9.
СИСТЕМЫ
НАТУРАЛЬНЫХ
ИСЧИСЛЕНИЙ
ВЫСКАЗЫВАНИЙ


ТЕМА 10. ОГРАНИЧЕННЫЕ КЛАССИЧЕСКИЕ ЛОГИКИ


ТЕМА
11.
АКСЕОМАТИЧЕСКИЕСКИЕ
ИСТИСЛЕНИЯ
ВЫСКАЗЫВАНИЙ


ТЕМА 12. ФОРМАЛИЗОВАННАЯ СИЛЛОГИСТИКА Я.ЛУКАСЕВИЧА


ТЕМА 13. ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА
(СИНТАКСИЧЕСКИЙ АСПЕКТ)


ТЕМА 14. ТЕОРИЯ ЗНАЧЕНИЯ (ЛОГИЧЕСКАЯ СЕМАНТИКА) ДЛЯ
ЯЗЫКА ЛОГИКИ ПРЕДИКАТОВ


ТЕМА 16. АКСЕОМАТИЧЕСКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ (АИП)


ТЕМА
17.
ОБЩЕЕ
ПОНЯТИЕ
ФОРМАЛЬНОЙ
ТЕОРИИ
(ЛОГИЧЕСКОГО ИСЧИСЛЕНИЯ)


ТЕМА 18. ПРОБЛЕМА ОСНОВАНИЙ МАТЕМАТИКИ. ТЕОРЕМЫ
ГЁДЕЛЯ


ТЕМЫ КУРСОВЫХ РАБОТ


РЕКОМЕНДОВАННАЯ ЛИТЕРАТУРА

Ещё в «Автореферат»

Записи из других категорий

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *