Список вопросов базы знаний

w-непротиворечивая формальная система является

В недерминированной машине Тьюринга существуют команды с одинаковыми левыми частями и разными правыми

В недерминированной машине Тьюринга управляющая головка стоит на месте, а движется лента

Внутренний алфавит машины Тьюринга - набор символов, которые располагаются на ленте машины Тьюринга

Для задания машины Тьюринга необходимо задать один входной алфавит

Заключительное состояние машины Тьюринга - состояние, в котором происходит остановка машины

Класс примитивно-рекурсивных функций строго содержится в классе частично-рекурсивных

Команда машины Тьюринга указывает только направление движения управляющей головки

Любой алгоритм может быть всегда сведен к численному алгоритму

Машина Тьюринга - чисто техническое понятие

Область применимости алгоритма А - совокупность тех объектов, к которым он применим

При построении примитивно-рекурсивных функций используется только один оператор рекурсии

Программа машины Тьюринга - конечное непустое множество попарно согласованных команд

Программы работы машины Тьюринга можно задать в виде таблицы

Условия любой задачи могут быть однозначно заданы с помощью ее Геделевского номера

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

Автоэпистемические логики формализуют интроспективные и идеально разумные рассуждения

Алетическая логика - формальный язык, использующий понятие "возможно" и "необходимо" в качестве кванторов

Возможность и необходимость - алетические модальности (модальности возможного)

Все модальности изучаются вместе и называются модальными логиками

Вывод от частного к общему - метод

Вывод является правдоподобным, если множество фальсификаторов не найдено, но потенциально оно может быть не пусто

Выводы, в которых оценивается степень истинности заключения, называются

Выявление сходства и различия - основная познавательная процедура, с помощью которой человек познает мир

Дедуктивный достоверный логический вывод не является монотонным

Деонтическая логика - один из видов модельностей

Для достоверного вывода множество фальсификаторов пусто, для недостоверного - не пусто

Для описания процессов, происходящих во времени, истинностных значений наших знаний вводятся параметры времени:

Из истинных посылок не могут быть выводимы ложные заключения

К индуктивным методам Д. С. Милля не относится метод

К. И. Льюис - первый из ученых, предложивших ряд формальных логических систем для уточнения понятия нематериальной импликации

Логический вывод называется достоверным, если из множества истинных посылок выводимы только истинные заключения

Логический вывод называется недостоверным, если из истинных посылок не всегда следует истинное заключение

Метод различия усиливает степень достоверности рассуждений

Модальные логики - неклассические логики

Недостоверные выводы могут быть собственно недостоверными, правдоподобными и приближенными

Немонотонность одна из особенностей правдоподобных выводов

Новые знания - знания, которые делают множество посылок противоречивым, заставляют пересмотреть само множество посылок

Особенности правдоподобных выводов выведены

Правило вывода modus ponens (MP) является достоверным правилом вывода

Примером абдуктивного метода может служить пословица "Скажи мне, кто твой друг, и я скажу, кто ты"

Примером приближенных выводов могут быть нечеткие выводы

Семантика классической логики основана на понятии истинности и ложности

Фальсификаторы - множество условий, при которых может быть сделано ложное заключение

Аксиомы равенства являются общезначимыми

В исчислении высказываний исходными объектами являются

Возможные миры связаны отношением достижимости

Временная модальная логика вводит модальности

Все теоремы чистого исчисления предикатов общезначимы

Все языки программирования являются формальными языками