Вопросы и ответы на экзамен по математической логике
Понятие алгоритмической системы.
0285
       
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Логическое следование. Принцип дедукции.
0285
      Говорят, что формула
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Исчисление предикатов. Основные понятия и определения.
0294
В данном курсе лекций описание формальной теории исчисления
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Логика высказываний. Основные понятия и определения.
0257
Основными понятиями математической логики, с которымимы
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Композиции машин Тьюринга
0258
Пусть поставлена вычислительная задача, которую сумели
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Меры сложности алгоритмов. Классы задач P и NP.
0406
Основы анализа алгоритмов.    
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Общезначимость и непротиворечивость
0263
Формула называется общезначимой (или тавтологией)
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Тезис Черча. Алгоритмически неразрешимые проблемы.
0235
Словосочетание «решить задачу» допускает множество
Логика - доступно для всех
Вопросы и ответы на экзамен по математической логике
Меры сложности алгоритмов. Классы задач Р, ЕХР и NP. NP полные задачи
0334
Хотя теория алгоритмов развивается только несколько
Логика - доступно для всех