Тема формы высказываний тема язык логики высказываний



Pdf просмотр
страница1/31
Дата01.08.2018
Размер4.44 Mb.
  1   2   3   4   5   6   7   8   9   ...   31


СОДЕРЖАНИЕ

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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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




Каталог: bitstream -> 123456789
123456789 -> Методы научного познания
123456789 -> Ввввввввввввввввввввввввввввввввввввввввввв
123456789 -> Учебная программа по дисциплине «Основы психологии и педагогики»
123456789 -> Национальная идентичность в социально-конструктивистской перспективе а. Л. Ластовский
123456789 -> Методические рекомендации для студентов факультета «Социальный менеджмент»
123456789 -> Средств массовой информации
123456789 -> Конфликт разума и чувств в комедии а. С. Грибоедова «горе от ума»


Поделитесь с Вашими друзьями:
  1   2   3   4   5   6   7   8   9   ...   31


База данных защищена авторским правом ©znate.ru 2017
обратиться к администрации

    Главная страница