Тезисом _ величается утверждение, что всякая вычислимая функция является вычислимой по

Тезисом _ именуется утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу (укажите фамилию в родительном падеже)
(*ответ*) Черча
Аксиома о том, что не существует формальной системы математики, удовлетворяющей условиям полноты и непротиворечивости, носит имя _ (укажите фамилию)
(*ответ*) Геделя
Теорема Огромное количество тогда и только тогда разрешимо, когда оно само и его прибавление рекурсивно перечислимы, именуется аксиомой
(*ответ*) Поста
nbsp;Геделя
nbsp;Тьюринга
nbsp;Клини
Теория алгоритмов является долею
(*ответ*) математической логики
nbsp;теории чисел
nbsp;математического анализа
nbsp;численных способов
Термин некие либо существует желая бы одно значение в логике предикатов обозначается через
(*ответ*)
nbsp;quot;
nbsp;
nbsp;
Умозаключения это простые рассуждения, в которых из 1-го либо нескольких суждений выходит еще одно суждение, именуемое
(*ответ*) заключением
nbsp;суждением
nbsp;посылками
nbsp;экспликацией
Усеченная разность чисел 5 и 8 (58) одинакова _ (ответ укажите цифрой)
(*ответ*) 0
Установите соответствие меж типом операции над выражения: А = на улице идет дождик и В = над моей головой раскрыт зонт и результирующим выражением:
(*ответ*) импликация А на В lt; если на улице идет дождь, то над моей головой раскрыт зонт
(*ответ*) дизъюнкция А и В lt; либо на улице идет дождик либо над моей головой раскрыт зонт
(*ответ*) конъюнкция А и В lt; на улице идет дождь и над моей головой раскрыт зонт
(*ответ*) эквиваленция В и А lt; над моей головой раскрыт зонт тогда и только тогда, когда на улице идет дождик
Установите соответствие меж типом операции над числовыми обильями А=1,2,3,4,5 и B=2,5,9 и ее результатом:
(*ответ*) AB lt; 1,2,3,4,5,9
(*ответ*) AB lt; 2,5
(*ответ*) A/B lt; 1,3,4
Установите соответствие между типом операции над числовыми обильями А=3,5,7 и B=2,4,6,8и ее результатом:
(*ответ*) AB lt; 2,3,4,5,6,7,8
(*ответ*) AB lt;
(*ответ*) A/B lt; 3,5,7
Установление соответствия между простыми высказываниями формальной теории и содержательными высказываниями некоторой предметной области величается
(*ответ*) интерпретацией теории
nbsp;классом функторов
nbsp;порождающей грамматикой
nbsp;действенной процедурой
Фигурирующие в кванторах всеобщности и существования переменные именуются _ переменными
(*ответ*) связанными
nbsp;свободными
nbsp;несвязанными
nbsp;лингвистическими
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
(*ответ*) разрешимой
nbsp;неразрешимой
nbsp;выводимой
nbsp;не выводимой
Функция e31(x, y, z) + e32(x, y, z) одинакова
(*ответ*) x + y
nbsp;z + x
nbsp;x+y+z
nbsp;y + z