Аксиомой называется
Активной зоной при работе машины Тьюринга называется
Алгебра высказываний – это
Алгоритм называется экспоненциально ограниченным, если его сложность
Алгоритмом называется
Внешний алфавит машины Тьюринга – это
Внутренний алфавит машины Тьюринга – это
Временной сложностью вычисления функции f(x) называется
Высказывание – это
Высота нечеткого множества может принимать значения
Высотой нечеткого множества называется
Вычислительными ресурсами называют
Геделевский номер функции 0(х)=0 равен
Геделевский номер функции равен
Геделевский номер функции равен
Геделевский номер функции равен
Геделевский номер функции равен
Геделевский номер функции S(х)=x+1 равен
Дедуктивные рассуждения – это
Дизъюнкт называется правилом, если
Дизъюнкт называется фактом, если
Дизъюнкт называется вопросом, если он имеет вид
Дизъюнкт Хорна – это дизъюнкт , в котором
Дизъюнкт – это предложение вида
Дизъюнкцией высказываний а и b называется высказывание, которое
Значения лингвистической переменной – это
Из перечисленных языков программирования к декларативным относятся
Из перечисленных языков программирования к процедурным относятся
Из приведенных ниже формул не является тавтологией
Из следующих импликаций истинны:
Из следующих предикатов являются тождественно истинными
Из следующих предложений являются высказываниями
Из следующих эквивалентностей истинны
Импликацией высказываний а и b называется высказывание, которое
Инволютивность отрицания выражается следующей формулой
Интерпретацией теории называется
Квантор всеобщности обозначается символом
Квантор всеобщности, за которым следует переменная, означает
Квантор существования обозначается символом
Квантор существования, за которым следует переменная, означает
Классы сложности – это способ группировки алгоритмов
Команда машины Тьюринга, меняющая символ ai на aj и переходящая из состояния qk в состояние qn, имеет вид
Конечный автомат может быть задан
Конечный автомат останавливается
Континуум – это мощность множества, равномощного
Конъюнкцией высказываний а и b называется высказывание, которое
Критерий сложности вычислений – это
Логический парадокс - это
Машина Тьюринга имеет
Машина Тьюринга – это гипотетическая вычислительная машина, разработанная для
Метаязыком называется
Метод рекурсии дает возможность
Множество В является подмножеством множества А, если
Множество цепочек, допускаемых конечным автоматом, – это
Модальная логика – это
Недетерминированная машина Тьюринга – это машина
Непротиворечивость – это
Нечетким множеством А называется
Нечеткое множество называется нормальным, если
Нечеткое отношение – это
Нечеткую логику можно определить как
Нормальный алгоритм – это
Областью действия квантора называется
Областью истинности предиката Р(х) называется
Областью определения предиката Р(х) называется
Объединением множеств А и В является множество
Одноместным предикатом Р(х) называется
Операция дизъюнкции словесно выражается с помощью союза
Операция импликации словесно выражается с помощью союза
Операция конъюнкции словесно выражается с помощью союза
Операция эквиваленции словесно выражается с помощью союза
Основанием нечеткого множества А называется множество элементов А, для которых значения функции принадлежности
Отрицанием высказывания а называется высказывание, которое
Парадокс Лжеца – это пример
Парадокс Рассела – это пример
Пересечением множеств А и В является множество
Полиномиальное время – это характеристика сложности вычислений, когда время обработки последовательности данных длиной n
Понятие мощности множества ввел
Приведенные ниже данные противоречивы, когда
Принцип нормализации - это
Пространственной сложностью алгоритма, вычисляющего функцию f(x), называется
Пусть S(x)=x+1 – исходная примитивно рекурсивная функция, тогда функция S(S(x)) равна
Пусть x, x`, y, y` означают, соответственно, «7-простое число», «7-составное число», «8-простое число», «8-составное число». Из нижеприведенных выражений истинно
Пусть x, x`, y, y` означают, соответственно, «7-простое число», «7-составное число», «8-простое число», «8-составное число». Из нижеприведенных выражений истинны
Пусть x, x`, y, y` означают, соответственно, «7-простое число», «7-составное число», «8-простое число», «8-составное число». Из нижеприведенных выражений истинны
Пусть x, x`, y, y` означают, соответственно, «7-простое число», «7-составное число», «8-простое число», «8-составное число». Из нижеприведенных выражений истинны
Пусть а – высказывание «Студент Иванов изучает английский язык», b – высказывание «Студент Иванов успевает по математической логике». Словесная формулировка высказывания следующая
Пусть а – высказывание «Студент Иванов изучает английский язык», b – высказывание «Студент Иванов успевает по математической логике». Словесная формулировка высказывания следующая
Пусть а – высказывание «Я учусь в школе», b – высказывание «Я люблю математику». Словесная формулировка высказывания следующая
Пусть а – высказывание «Я учусь в школе», b – высказывание «Я люблю математику». Словесная формулировка высказывания следующая
Пусть а – высказывание «Я учусь в школе», b – высказывание «Я люблю математику». Словесная формулировка высказывания следующая
Пусть а – высказывание «Я учусь в школе», b – высказывание «Я люблю математику». Словесная формулировка высказывания следующая
Пусть аргумент х меняется от 0 до 1, тогда функция μA(x) может являться функцией принадлежности некоторого нечеткого множества A
Пусть множество А имеет мощность континуум, а В есть счетное множество. Тогда можно утверждать, что
Пусть Р(х) – одноместный предикат, тогда выражение (где - квантор всеобщности) есть
Пусть Р(х) – одноместный предикат, тогда выражение (где - квантор существования) есть
Разбейте сложное высказывание «45 кратно 3 и 42 кратно 3» на два простых и запишите его с помощью символов алгебры логики.
Разбейте сложное высказывание «45 кратно 3 или 42 кратно 3» на два простых и запишите его с помощью символов алгебры логики.
Разбейте сложное высказывание «45 кратно 3 тогда и только тогда, когда 42 кратно 3» на два простых и запишите его с помощью символов алгебры логики.
Разбейте сложное высказывание «если 45 кратно 3, то и 42 кратно 3» на два простых и запишите его с помощью символов алгебры логики.
Разностью множеств А и В является множество
Результат работы конечного автомата заключается в том, что
Рекуррентная формула для функции выглядит следующим образом
Рекуррентная формула для функции f(n) = (2*n)! выглядит следующим образом
Рекуррентная формула для функции f(n) = 1/3n выглядит следующим образом
Рекуррентная формула для функции f(n) = 2n выглядит следующим образом
Рекуррентная формула для функции f(n) = n! выглядит следующим образом
Рекуррентная формула для функции f(n) = n2 выглядит следующим образом
Свободной переменной называется переменная
Связанные переменные – это
Семантический парадокс - это
Следующая функция является исходной примитивно рекурсивной функцией
Следующая функция является исходной примитивно рекурсивной функцией
Следующая функция является исходной примитивно рекурсивной функцией
Сложностью вычислений называется
Смена состояний конечного автомата
Создателем формальной логики был
Среди следующих высказываний указать составные.
Среди следующих предложений выделите предикаты
Среди следующих предложений выделить предикаты
Суперпозиция функций f(x) и q(x) выглядит следующим образом
Суперпозиция функций f(x)=1/x и q(x)=x+1 выглядит следующим образом
Суперпозиция функций f(x)=1/x и q(x)=x2 выглядит следующим образом
Суперпозиция функций f(x)=cos(x) и q(x)=x+1 выглядит следующим образом
Суперпозиция функций f(x)=ex и q(x)=x+1 выглядит следующим образом
Суперпозиция функций f(x)=sin(x) и q(x)=x+1 выглядит следующим образом
Суперпозиция функций f(x)=x2 и q(x)=x+1 выглядит следующим образом
Тезис Черча звучит так
Теория абстрактных множеств была разработана
Формальный язык, распознаваемый конечным автоматом, называется
Формула алгебры логики называется тавтологией, если она принимает значение
Формула алгебры логики называется тождественно ложной, если она принимает значение
Формулой алгебры логики называется
Функции принадлежности нечетких множеств должны удовлетворять следующим условиям
Функциональная программа состоит из
Функция g в рекурсивной формуле для двухместной функции f(x,y)=3x+y, если рекурсия проводится по y, выглядит следующим образом
Функция g в рекурсивной формуле для двухместной функции f(x,y)=3x+y, если рекурсия проводится по х, выглядит следующим образом
Функция g в рекурсивной формуле для двухместной функции f(x,y)=x2+y, если рекурсия проводится по x, выглядит следующим образом
Функция h в рекурсивной формуле для двухместной функции f(x,y)=3x+y, если рекурсия проводится по y, выглядит следующим образом
Функция h в рекурсивной формуле для двухместной функции f(x,y)=3x+y, если рекурсия проводится по х, выглядит следующим образом
Функция h в рекурсивной формуле для двухместной функции f(x,y)=x2+y, если рекурсия проводится по y, выглядит следующим образом
Функция h в рекурсивной формуле для двухместной функции f(x,y)=x2+y, если рекурсия проводится по х, выглядит следующим образом
Функция называется вычислимой по Тьюрингу, если
Функция принадлежности для нечеткого множества «высокий рост» является функцией
Функция принадлежности для нечеткого множества «маленький рост» является функцией
Функция принадлежности нечеткого множества А, заданная на универсальном множестве U - μA(U), принимает значения
Челночный алгоритм – это
Читающая головка конечного автомата
Читающая головка машины Тьюринга
Эквиваленцией высказываний а и b называется высказывание, которое истинно, если