Пространственные или временные характеристики процесса вычисления называются
(*ответ*) вычислительными ресурсами
интерпретацией системы
представлением системы
классом сложности
Пусть R обозначает свойство рекурсивности, а Р – рекурсивной перечислимости. Тогда
(*ответ*) R®P
Р®R
Р~R
Р=R
Свойство формальной аксиоматической теории, когда в ее рамках невозможно доказать две противоречащие друг другу теоремы, называется
(*ответ*) непротиворечивостью
полнотой
неполнотой
противоречивостью
Семантический парадокс имеет другое название– парадокс
(*ответ*) эпистемологический
логический
теории множеств
Рассела
Символ _ служит для обозначения термина «для всех» в логике предикатов
(*ответ*) "
$
Ú
Ù
Символ _является знаком принадлежности элемента некоторому множеству
(*ответ*) Î
(
)
()
Совокупность исходных знаков, принятых за неделимые, и правил построения из них слов и словосочетаний без всякой связи с их возможной семантикой называется _ языком
(*ответ*) формальным
искусственным
логическим
логико-математическим
Соотнесите логические выражения с их равносильными выражениями:
xÙx < x
xÚ1 < 1
xÙ0 < 0
xÚy < y Ú x
Соотнесите логические выражения с их равносильными выражениями:
x Ù y < y Ù x
x Ú y < y Ú x
x Ú (y Ú z) < (x Ú y) Ú z
x Ù (y Ù z) < (x Ù y) Ù z
Соотнесите название логической операции и ее обозначение:
дизъюнкция < Ú
конъюнкция < Ù
импликация < ®
эквиваленция < ~
Соотнесите п.р.ф. и ее геделевский номер:
0(x) < 2
S(x) < 3
e11(x) < 5
e21(x, y) < 7
Соотнесите понятия логики и их содержание:
понятие < мысль, отражающая в обобщенной форме предметы и явления действительности и связи между ними посредством фиксации общих и специфических признаков
экспликация < строгая формулировка содержательного или интуитивного понятия
суждение < умственный акт, выражающий отношение говорящего к содержанию высказанной мысли
умозаключение < умственное действие, связующее в ряд посылок и следствий мысли различного содержания