Логический феномен - это
(*ответ*) логическое рассуждение, правосудное с интуитивной точки

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