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


Временные (темпоральные) логики



страница4/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
обратиться к администрации

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