Переход конечного автомата происходит
(*ответ*) после прочтения символа на ленте
в произвольный момент времени
по команде извне
после обнаружения ошибки
Под логикой понимают науку о(об)
(*ответ*) правильных способах рассуждения
парадоксах в теории абстрактных множеств
анализах парадоксов
поисках оптимального решения
Под термом имеются ввиду следующие понятия:
(*ответ*) имена предметов
(*ответ*) именные формы
слова
предложения
Позволяющая построить любую правильную цепочку символов формальная грамматика называется _ грамматикой
(*ответ*) порождающей
нормальной
регулярной
автоматной
Понятие полноты формальной системы состоит в том, что для любого утверждения s в рамках данной системы одно из утверждений s и s
(*ответ*) доказуемо
истинно
опровергаемо
непротиворечиво
Последовательное применение ряда формул теории, такое, что любая формула этого ряда есть либо аксиома этой теории, либо непосредственное следствие из применения предыдущих формул, называется
(*ответ*) выводом
выражением
парадоксом
отношением
Правильность слова, записанного на ленте конечного автомата, определяется по состоянию автомата
(*ответ*) после прочтения последнего символа слова
до прочтения слова
после прочтения первого символа слова
после прочтения второго символа слова
При f(n) = 2n функция h(n,m) в рекуррентной формуле равна
(*ответ*) 2m
2 + m
m2
1
При аксиоматическом подходе в процессе доказательства осуществляется движение мысли от
(*ответ*) общего к частному
частного к общему
общего к общему
частного к частному
Приводящая к решению поставленной задачи вычислительная процедура называется
(*ответ*) алгоритмом
Примером логического парадокса может служить парадокс
(*ответ*) Рассела
лжеца
Берри
Лейбница
Примитивную рекурсивность не сохраняет оператор
(*ответ*) минимизации
сдвига
рекурсии
подстановки
Принимающая значения в некоторой области истинностных значений логическая функция называется
(*ответ*) предикатом
переменной
постоянной
константой