Вход | Регистрация
Тесты онлайн, бесплатный конструктор тестов. Психологические тестирования, тесты на проверку знаний.

Список вопросов базы знаний

Математическая логика и теория алгоритмов (курс 1)

Вопрос id:776627
Формула, содержащая только конъюнкции n переменных переменных или их отрицаний называется ___
Вопрос id:776628
Формулы исчисления высказываний представляют собой
?) последовательности символов алфавита исчисления высказываний
?) конъюнктивные нормальные формы
?) дизъюнктивные нормальные формы
?) тавтологии
Вопрос id:776629
Функция n переменных, где каждая переменная принимает два значения: 0 и 1, и при этом функция может принимать только одно из двух значений: 0 или 1 называется
Вопрос id:776630
Число различных функций алгебры логики n переменных равно
?)
?)
?)
?)
Вопрос id:776631
Число различных функций алгебры логики одной переменной равно
?) 8
?) 2
?) 16
?) 4
Вопрос id:776632
x,y,z – вещественные числа. Эквивалентна утверждению х ∈[y,z] запись
?) ∀t (x+t=z) ∩ (y+t=x)
?) ∃t (y+t=z) ∩ (y+t=x)
?) ∃t (x+t=z) ∩ (y+t=x)
?) ∃t (x+t=z) ∪ (y+t=x)
Вопрос id:776633
x,y,z – вещественные числа. Эквивалентна утверждению х ≤y запись
?) ∃z (y+z=x)
?) ∃z (x+z=y)
?) ∀z (x+z=y)
?) ∀x (x+z=y)
Вопрос id:776634
α–уровнем нечеткого подмножества А универсального множества U называется такое подмножество Аα универсального множества U, для которого верно
?) ∀u∈Aα : mA (u) < α
?) ∀u∈Aα : mA (u) ≥ α
?) ∀u∈Aα : mA (u) = α
?) ∃u∈Aα : mA (u) ≤ α
Вопрос id:776635
Автомат, однократно считывающий входную строку слева направо, называется
?) МП–автоматом
?) дискретным
?) конечным
?) элементарным
Вопрос id:776636
Атомарная формула или ее отрицание называется
?) литерой
?) предикатом
?) дизъюнктом
?) конъюнктом
Вопрос id:776638
В 1–й строке матрицы переходов конечного автомата находятся
?) начальные состояния автомата
?) конечные состояния автомата
?) все возможные состояния автомата
?) символы алфавита
Вопрос id:776639
В 1–м столбце матрицы переходов конечного автомата находятся
?) все возможные состояния автомата
?) символы алфавита
?) конечные состояния автомата
?) начальные состояния автомата
Вопрос id:776640
В алфавит формального логического языка входят символы
?) ∈
?) ∃
?) ≠
?) ∀
?) ∪
Вопрос id:776641
В логике можно выделить следующие основные разделы
?) математическую логику
?) формальную логику
?) логику предикатов
?) логику Буля
Вопрос id:776642
В логике предикатов термин «некоторые» или «существует хотя бы одно значение» обозначается через
?) ∀
?) ∃
?) ∩
?) ∪
Вопрос id:776643
В любой рекурсивно аксиоматизированной формальной системе множество доказуемых утверждений
?) нерекурсивно
?) разрешимо
?) рекурсивно перечислимо
?) неперечислимо
Вопрос id:776644
В модальную логику входят понятия
?) перечислимости
?) необходимости
?) рекусивности
?) возможности
Вопрос id:776645
В основе метода парных сравнений лежит процедура обработки результатов опроса экспертов, представленных в виде
?) уравнения
?) отношения
?) функциональной зависимости
?) матрицы
Вопрос id:776646
В понятие формулы высказываний входят
?) высказывательные формы
?) выводы
?) отношения
?) высказывания
?) выражения
Вопрос id:776647
В системе арифметики натуральных чисел Пеано единственным неопределимым отношением является
?) у + х
?) у – х
?) у ÷ x
?) y = x/
Вопрос id:776648
В состав конечного автомата входят следующие элементы
?) читающая головка
?) угадывающий модуль
?) датчик случайных чисел
?) лента, разбитая на ячейки
Вопрос id:776649
В язык первого порядка входят множества
?) констант
?) функциональных символов
?) натуральных чисел
?) предикатных символов
Вопрос id:776650
Во внутренних ячейках матрицы переходов записывается
?) конечные состояния автомата
?) начальные состояния автомата
?) состояние, в которое переходит автомат
?) состояние, из которого переходит автомат
Вопрос id:776651
Временные или пространственные характеристики процесса вычисления называются
?) классом сложности
?) представлением системы
?) вычислительными ресурсами
?) интерпретацией системы
Вопрос id:776652
Всякое непустое ___ множество является ___ некоторой всюду определенной вычислимой функции
?) креативное, областью определения
?) рекурсивно перечислимое, множеством значений
?) рекурсивное, областью определения
?) продуктивное, множеством значений
Вопрос id:776653
Всякое повествовательное предложение, о котором имеет смысл говорить, что оно (его содержание) истинно или ложно, называется
?) отношением
?) выводом
?) высказыванием
?) выражением
Вопрос id:776654
Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется ___ формой
?) именной
?) абстрактной
?) иносказательной
?) высказывательной
Вопрос id:776655
Выражение qi,аj Пql является ___ машины Тьюринга
?) элементом алфавита
?) командой
?) конечной конфигурацией
?) исходной конфигурацией
Вопрос id:776657
Высказывание – это
?) формула
?) предикатная константа
?) именное выражение
?) предикатная переменная
Вопрос id:776658
Вычислительная процедура, приводящая к решению поставленной задачи, называется
Вопрос id:776659
Геделевский номер функции e41, равен ___ (ответ укажите цифрами)
Вопрос id:776660
Даны два высказывания: А = «на улице идет дождь» и В = «над моей головой раскрыт зонтик». Установите соответствие между типом операции над данными высказываниями и результирующим высказыванием
Левая частьПравая часть
Конъюнкция А и В
над моей головой раскрыт зонтик тогда и только тогда, когда на улице идет дождь
Дизъюнкция А и В
если на улице идет дождь, то над моей головой раскрыт зонтик
Эквиваленция В и А
или на улице идет дождь или над моей головой раскрыт зонтик
Импликация А на В
на улице идет дождь и над моей головой раскрыт зонтик
Вопрос id:776661
Даны два числовых множества А={1,2,3,4,5} и B={2,5,9}. Установите соответствие между типом операции над данными множествами и ее результатом
Левая частьПравая часть
A∩B
{2,5}
A∪B
{1,3,4}
A/B
{1,2,3,4,5,9}
Вопрос id:776662
Даны два числовых множества А={3,5,7} и B={2,4,6,8}. Установите соответствие между типом операции над данными множествами и ее результатом
Левая частьПравая часть
A∪B
{2,3,4,5,6,7,8}
A/B
{3,5,7}
A∩B
{Ø}
Вопрос id:776663
Другое название семантического парадокса – парадокс
?) теории множеств
?) логический
?) Рассела
?) эпистемологический
Вопрос id:776664
Если f(n) = 2n, то функция h(n,m) в рекуррентной формуле равна
?) 2m
?) m2
?) 1
?) 2 + m
Вопрос id:776665
Если f(n) = cos(pn), то функция h(n,m) в рекуррентной формуле равна
?) –m
?) m+1
?) 1– cos(pn)
?) sin(pn)
Вопрос id:776666
Если f(n)=n!, то функция h(n,m) в рекуррентной формуле равна
?) m(n+1)
?) m!
?) m+1
?) m+n+1
Вопрос id:776667
Если f(x,y) = х + у и рекурсия проводится по переменной y, то функция h(х,у,m) равна
?) 2+m
?) m+x
?) m+1
?) m+у
Вопрос id:776668
Если f(x,y) = х • у и рекурсия проводится по переменной x, то функция h(x,y,m) равна
?) 1
?) m+y
?) х + у
?) m+x
Вопрос id:776669
Если f(x,y) = х+у и рекурсия проводится по переменной у, то функция g(x) равна
?) 2x
?) x+2
?) x+1
?) x
Вопрос id:776670
Если f(x,y,z) = z•х+у и рекурсия проводится по переменной z, то функция h(х,у,z,m) равна
?) mx
?) m+x
?) m+х+у+z
?) my
Вопрос id:776671
Если f(x,y,z) == z • х + у и рекурсия проводится по переменной z, то функция g(х,у) равна
?) у
?) х+у
?) x+1
?) ху
Вопрос id:776672
Если f(х, y) = х • у и рекурсия проводится по переменной у , то функция g(х) равна
?) 1
?) x2
?) 0
?) x
Вопрос id:776673
Если f(х, у) = хy и рекурсия проводится по у, то функция g(х) равна ___ (ответ укажите цифрой)
Вопрос id:776674
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция g{х, z) равна
?) S(x) + S(y)
?) e31(x, y, z) + e33(x, y, z)
?) 0
?) x +y
Вопрос id:776675
Если f(х, у, z) = х + у2 + z и рекурсия проводится по у , то функция h(х, y, z, m) равна
?) m + 1
?) e41(x, y, z, m) + e44(x, y, z, m)
?) m + x
?) m + y
Вопрос id:776676
Если f(х,y) = ху и рекурсия проводится по у, то функция h(х,y,z) равна
?) x+z
?) zy
?) zx
?) z
Вопрос id:776677
Если f(х,у) = х÷у и рекурсия проводится по х, то функция g(у) равна ___ (ответ укажите цифрой)
Вопрос id:776678
Если А и В – рекурсивные множества, то рекурсивны также множества 1) A∪B; 2) A∩B
?) только 1
?) 1 и 2
?) не 1 и не 2
?) только 2
Copyright testserver.pro 2013-2024 - AppleWebKit