Логический парадокс - это
(*ответ*) логическое рассуждение, справедливое с интуитивной точки зрения, но, тем не менее, приводящее к противоречиям
парадокс, не содержащий понятие о логике и математике, но содержащий понятия, не являющиеся строго математическими
математическое утверждение, которое нельзя ни доказать, ни опровергнуть
высказывание, которое может быть как истинным, так и ложным
Машина Тьюринга имеет
(*ответ*) два алфавита
один алфавит
три алфавита
четыре алфавита
Машина Тьюринга – это гипотетическая вычислительная машина, разработанная для
(*ответ*) уточнения понятия алгоритма
решения задач оптимизации
доказательства теорем
доказательства непротиворечивости формальных теорий
Метаязыком называется
(*ответ*) язык, на котором описывается другой язык
язык логики Буля
теоретико-множественные операции
язык логики высказываний
Метод рекурсии дает возможность
(*ответ*) сводить вычисление одной функции к вычислению к другой
вычислять значения корней полинома
находить точки экстремума функции
находить экстремум функционала
Множество В является подмножеством множества А, если
(*ответ*) каждый элемент множества В является также элементом множества А
каждый элемент множества А является также элементом множества В
между элементами множества В и множества А можно установить взаимно однозначное соответствие
множество В есть дополнение множества А
Множество цепочек, допускаемых конечным автоматом, – это
(*ответ*) язык, допускаемый этим автоматом
любое слово из заданного алфавита
слова из заданного алфавита, имеющие заданную длину
любое слово из заданного алфавита, длина которых не менее заданной
Модальная логика – это
(*ответ*) логика, содержащая понятия необходимости, возможности или родственные этим понятия
математическая логика
логика предикатов
логика высказываний
Недетерминированная машина Тьюринга – это машина
(*ответ*) в которой на каждом этапе существует альтернатива
в которой на каждом этапе не существует альтернативы
с ограниченной длиной ленты
с конечным числом состояний
Непротиворечивость – это
(*ответ*) свойство формальной аксиоматической теории, когда в ее рамках невозможно доказать две противоречащие друг другу теоремы
свойство формальной аксиоматической теории, когда в ее рамках можно доказать две противоречащие друг другу теоремы
свойство формальной аксиоматической теории, когда в ее рамках можно доказать любую теорему данной теории
свойство формальной аксиоматической теории, когда любую аксиому данной теории можно вывести из остальных
Нечетким множеством А называется
(*ответ*) отображение, которое ставит в соответствие каждому элементу универсального множества степень его принадлежности к А
дополнение А до универсального множества
предикат Р(х), который принимает значение 1, если х принадлежит А
предикат Р(х), который принимает значение 0, если х не принадлежит А
Нечеткое множество называется нормальным, если
(*ответ*) его высота равна 1
его высота равна 0.5
его основание равно 1
его основание равно 0.5