Из следующих эквивалентностей истинны
(*ответ*) 2*2=4 тогда и только тогда, когда 2<3
(*ответ*) 2*2=5 тогда и только тогда, когда 2>3
2*2=4 тогда и только тогда, когда 2>3
2*2=5 тогда и только тогда, когда 2<3
Импликацией высказываний а и b называется высказывание, которое
(*ответ*) ложно, если а истинно, а b – ложно, и истинно во всех остальных случаях
истинно, если а и b ложны, и ложно, если хотя бы одно из них истинно
истинно, если а и b истинны, и ложно, если хотя бы одно из них ложно
истинно, если а или b ложно, и ложно, если оба истинны
Интерпретацией теории называется
(*ответ*) установление соответствия между высказываниями теории и содержательными высказываниями предметной области
набор аксиом данной теории
теоремы, доказуемые в рамках данной теории
теоремы, которые нельзя доказать в рамках данной теории
Квантор всеобщности, за которым следует переменная, означает
(*ответ*) для всех значений переменной
существуют значения переменной
не существует таких значений переменной
область истинности предиката есть пустое множество
Квантор существования, за которым следует переменная, означает
(*ответ*) существуют значения переменной
для всех значений переменной
не существует таких значений переменной
область истинности предиката есть пустое множество
Классы сложности – это способ группировки алгоритмов
(*ответ*) в соответствии с их сложностью
по времени, затрачиваемому на решение задачи
по объему памяти вычислительной машины, затрачиваемой на решение задачи
по сложности его описания
Команда машины Тьюринга, меняющая символ ai на aj и переходящая из состояния qk в состояние qn, имеет вид
(*ответ*) qk ai aj qn
qn ai aj qk
qk an ai qn
qi ak aj qn
Конечный автомат может быть задан
(*ответ*) всеми этими способами
набором команд
графом
таблицей переходов
Конечный автомат останавливается
(*ответ*) если он оказывается в ситуации, не являющейся левой частью какой-либо команды
если читающая головка встречает пустой символ
если читающая головка встречает два подряд идущих одинаковых символа
если читающая головка встречает три подряд идущих одинаковых символа
Континуум – это мощность множества, равномощного
(*ответ*) множеству действительных чисел
множеству натуральных чисел
множеству рациональных чисел
счетному множеству
Конъюнкцией высказываний а и b называется высказывание, которое
(*ответ*) истинно, если а и b истинны, и ложно, если хотя бы одно из них ложно
истинно, если а и b ложны, и ложно, если хотя бы одно из них истинно
истинно, если а или b истинно, и ложно, если оба ложны
истинно, если а или b ложно, и ложно, если оба истинны
Критерий сложности вычислений – это
(*ответ*) средство измерения объема ресурсов, используемых в процессе вычислений
время, затрачиваемое на решение задачи
объем памяти вычислительной машины, используемой для решения проблемы
пространственные характеристики процесса вычисления