Математическая логика и теория алгоритмов



страница2/5
Дата05.05.2018
Размер63.5 Kb.
ТипЛекция
1   2   3   4   5

Неклассические логики


Формализация утверждений и доказательств вызывает ряд неудобств, и на практике рассматриваются различные модификации логики высказываний и логики предикатов (неклассические логики), приспособленные для решения соответствующих им задач.

Мы рассмотрим основные неклассические логики, которые делятся на пропозициональные (т.е. модифицирующие логику высказываний) и предикатные (т.е. видоизменяющие логику предикатов). Кроме того, мы рассмотрим некоторые элементы темпоральных и алгоритмических логик, которые используются для создания и анализа программ.


Пропозициональные логики

Интуиционистские логики – __________________________________________________________

_____________________________________________________________________________________

_____________________________________________________________________________________

_____________________________________________________________________________________

_____________________________________________________________________________________

_____________________________________________________________________________________

Основное отличие интуиционистского исчисления высказываний состоит _____________________

_____________________________________________________________________________________

_____________________________________________________________________________________

_____________________________________________________________________________________




Каталог: new -> SubjectFGOS
new -> Концепция краевой системы поиска, поддержки и продвижения талантливых детей и молодежи в Красноярском крае на 2016-2020 года
new -> Проблема преображения человека в философии
new -> Программа минимума кандидатского экзамена по специальности
SubjectFGOS -> Глоссарий по социологии Абсолютная бедность
SubjectFGOS -> Лекция первая. Вводная лекция Лекция вторая. Античная философия
SubjectFGOS -> Содержательный блок
SubjectFGOS -> Н. Н. Епифанова физическое воспитание и спортивная игровая деятельность студентов в вузе учебное пособие


Поделитесь с Вашими друзьями:
1   2   3   4   5


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

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