Вопросы и ответы на экзамен по математической логике
Понятие алгоритмической системы.
0162
       
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Логическое следование. Принцип дедукции.
0153
      Говорят, что формула
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Исчисление предикатов. Основные понятия и определения.
0160
В данном курсе лекций описание формальной теории исчисления
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Логика высказываний. Основные понятия и определения.
0153
Основными понятиями математической логики, с которымимы
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Композиции машин Тьюринга
0146
Пусть поставлена вычислительная задача, которую сумели
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Меры сложности алгоритмов. Классы задач P и NP.
0252
Основы анализа алгоритмов.    
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Общезначимость и непротиворечивость
0149
Формула называется общезначимой (или тавтологией)
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Тезис Черча. Алгоритмически неразрешимые проблемы.
0139
Словосочетание «решить задачу» допускает множество
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Меры сложности алгоритмов. Классы задач Р, ЕХР и NP. NP полные задачи
0192
Хотя теория алгоритмов развивается только несколько
Логика - доступно для всех