Формула в теории, для которой существует механизм вывода в рамках этой теории, называется разрешимой
Вопрос посетителя
Тезисом _ называется утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу (укажите фамилию в родительном падеже)
(*ответ*) Черча
Теорема о том, что не существует формальной системы арифметики, удовлетворяющей условиям полноты и непротиворечивости, носит имя _ (укажите фамилию)
(*ответ*) Геделя
Теорема – «Множество тогда и только тогда разрешимо, когда оно само и его дополнение рекурсивно перечислимы», называется теоремой
(*ответ*) Поста
Геделя
Тьюринга
Клини
Теория алгоритмов является частью
(*ответ*) математической логики
теории чисел
математического анализа
численных методов
Термин «некоторые» или «существует хотя бы одно значение» в логике предикатов обозначается через
(*ответ*) $
«
È
Ú
Умозаключения – это элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое
(*ответ*) заключением
суждением
посылками
экспликацией
Усеченная разность чисел 5 и 8 (5÷8) равна _ (ответ укажите цифрой)
(*ответ*) 0
Установите соответствие между типом операции над высказывания: А = «на улице идет дождь» и В = «над моей головой раскрыт зонтик» и результирующим высказыванием:
(*ответ*) импликация А на В < если на улице идет дождь, то над моей головой раскрыт зонтик
(*ответ*) дизъюнкция А и В < или на улице идет дождь или над моей головой раскрыт зонтик
(*ответ*) конъюнкция А и В < на улице идет дождь и над моей головой раскрыт зонтик
(*ответ*) эквиваленция В и А < над моей головой раскрыт зонтик тогда и только тогда, когда на улице идет дождь
Установите соответствие между типом операции над числовыми множествами А={1,2,3,4,5} и B={2,5,9} и ее результатом:
(*ответ*) AÈB < {1,2,3,4,5,9}
(*ответ*) AÇB < {2,5}
(*ответ*) A/B < {1,3,4}
Установите соответствие между типом операции над числовыми множествами А={3,5,7} и B={2,4,6,8}и ее результатом:
(*ответ*) AÈB < {2,3,4,5,6,7,8}
(*ответ*) AÇB < {Æ}
(*ответ*) A/B < {3,5,7}
Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется
(*ответ*) интерпретацией теории
классом функторов
порождающей грамматикой
эффективной процедурой
Фигурирующие в кванторах всеобщности и существования переменные называются _ переменными
(*ответ*) связанными
свободными
несвязанными
лингвистическими
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
(*ответ*) разрешимой
неразрешимой
выводимой
не выводимой
Функция e31(x, y, z) + e32(x, y, z) равна
(*ответ*) x + y
z + x
x+y+z
y + z
Ответ эксперта
Тезисом _ называется утверждение, что всякая вычислимая функция является вычислимой по Тьюрингу (укажите фамилию в родительном падеже)
(*ответ*) Черча
Теорема о том, что не существует формальной системы арифметики, удовлетворяющей условиям полноты и непротиворечивости, носит имя _ (укажите фамилию)
(*ответ*) Геделя
Теорема – «Множество тогда и только тогда разрешимо, когда оно само и его дополнение рекурсивно перечислимы», называется теоремой
(*ответ*) Поста
Геделя
Тьюринга
Клини
Теория алгоритмов является частью
(*ответ*) математической логики
теории чисел
математического анализа
численных методов
Термин «некоторые» или «существует хотя бы одно значение» в логике предикатов обозначается через
(*ответ*) $
«
È
Ú
Умозаключения – это элементарные рассуждения, в которых из одного или нескольких суждений получается еще одно суждение, называемое
(*ответ*) заключением
суждением
посылками
экспликацией
Усеченная разность чисел 5 и 8 (5÷8) равна _ (ответ укажите цифрой)
(*ответ*) 0
Установите соответствие между типом операции над высказывания: А = «на улице идет дождь» и В = «над моей головой раскрыт зонтик» и результирующим высказыванием:
(*ответ*) импликация А на В < если на улице идет дождь, то над моей головой раскрыт зонтик
(*ответ*) дизъюнкция А и В < или на улице идет дождь или над моей головой раскрыт зонтик
(*ответ*) конъюнкция А и В < на улице идет дождь и над моей головой раскрыт зонтик
(*ответ*) эквиваленция В и А < над моей головой раскрыт зонтик тогда и только тогда, когда на улице идет дождь
Установите соответствие между типом операции над числовыми множествами А={1,2,3,4,5} и B={2,5,9} и ее результатом:
(*ответ*) AÈB < {1,2,3,4,5,9}
(*ответ*) AÇB < {2,5}
(*ответ*) A/B < {1,3,4}
Установите соответствие между типом операции над числовыми множествами А={3,5,7} и B={2,4,6,8}и ее результатом:
(*ответ*) AÈB < {2,3,4,5,6,7,8}
(*ответ*) AÇB < {Æ}
(*ответ*) A/B < {3,5,7}
Установление соответствия между элементарными высказываниями формальной теории и содержательными высказываниями некоторой предметной области называется
(*ответ*) интерпретацией теории
классом функторов
порождающей грамматикой
эффективной процедурой
Фигурирующие в кванторах всеобщности и существования переменные называются _ переменными
(*ответ*) связанными
свободными
несвязанными
лингвистическими
Формула в теории, для которой существует механизм вывода в рамках этой теории, называется
(*ответ*) разрешимой
неразрешимой
выводимой
не выводимой
Функция e31(x, y, z) + e32(x, y, z) равна
(*ответ*) x + y
z + x
x+y+z
y + z
