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

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

Математическая логика и теория алгоритмов

Вопрос id:777179
Челночный алгоритм – это
?) численный метод нахождения корней полинома
?) численный метод дифференцирования многочлена
?) Марковский алгоритм, в алфавит которого вводится специальный класс вспомогательных букв, контролирующих ход вычислений
?) недетерминированная машина Тьюринга
Вопрос id:777180
Читающая головка конечного автомата
?) может перемещаться в обе стороны
?) неподвижно закреплена на ленте
?) может перемещаться только справа налево
?) может перемещаться только слева направо
Вопрос id:777181
Читающая головка машины Тьюринга
?) может перемещаться только справа налево
?) может перемещаться в обе стороны
?) неподвижно закреплена на ленте
?) может перемещаться только слева направо
Вопрос id:777182
Эквиваленцией высказываний а и b называется высказывание, которое истинно, если
?) оба высказывания а и b одновременно истинны, и ложно во всех остальных случаях
?) оба высказывания а и b одновременно истинны или ложны, и ложно во всех остальных случаях
?) оба высказывания а и b одновременно ложны, и ложно во всех остальных случаях
?) а или b истинно, и ложно во всех остальных случаях
Вопрос id:777183
___ высказываний называется система теоретико-множественных операций над высказываниями, которые являются элементами множества
?) Логикой
?) Теорией
?) Системой
?) Алгеброй
Вопрос id:777184
___ обозначает логическое выражение Ā, где А – высказывание
?) Конъюнкцию
?) Импликацию
?) Дополнение
?) Отрицание
Вопрос id:777185
___ называется способ понимания суждения об объекте, явлении или событии называется
?) Выражением
?) Выводом
?) Отношением
?) Модальностью
Вопрос id:777186
___ системы называется способ видения объектов формальных систем как конкретных объектов при условии, что содержательные объекты сохраняют структуру формальных
?) представлением
?) изоморфизмом
?) интерпретацией
?) трансформацией
Вопрос id:777187
___машины Тьюринга является выражение qij Пql
?) Командой
?) Конечной конфигурацией
?) Элементом алфавита
?) Исходной конфигурацией
Вопрос id:777188
α–уровнем нечеткого подмножества А универсального множества U называется такое подмножество Аα универсального множества U, для которого верно
?) ∀u∈Aα : mA (u) < α
?) ∀u∈Aα : mA (u) ≤ α
?) ∀u∈Aα : mA (u) = α
?) ∀u∈Aα : mA (u) ≥ α
Вопрос id:777189
Автомат, однократно считывающий входную строку слева направо, называется
?) элементарным
?) дискретным
?) конечным
?) МП–автоматом
Вопрос id:777190
Атомарная формула или ее отрицание называется
?) дизъюнктом
?) предикатом
?) конъюнктом
?) литерой
Вопрос id:777191
Базовая единица языка, обладающая определенной для данного языка синтаксической и смысловой законченностью и выражающая утверждение, называется
?) предложением
?) словом
?) подмножеством
?) выражением
Вопрос id:777194
В логике принято выделять следующие основные типы рассуждений:
?) информационные
?) дедуктивные
?) индуктивные
?) предикативные
?) доказуемые
Вопрос id:777195
В модальную логику входят понятия
?) перечислимости
?) рекусивности
?) необходимости
?) возможности
Вопрос id:777196
В основе описания нечеткой логики лежит теория нечетких
?) выражений
?) отношений
?) высказываний
?) множеств
Вопрос id:777197
В понятие формулы высказываний входят
?) высказывательные формы
?) выражения
?) высказывания
?) отношения
?) выводы
Вопрос id:777198
В систему аксиом Пеано входит ___ аксиом (ответ дайте цифрой)
Вопрос id:777199
В язык первого порядка входят множества
?) натуральных чисел
?) констант
?) предикатных символов
?) функциональных символов
Вопрос id:777200
В ячейке ленты конечного автомата может находиться ___ символов (ответ укажите цифрой)
Вопрос id:777201
Внутреннее состояние машин Тьюринга определяют символы, которые образуют
?) внешний алфавит
?) внутренний алфавит
?) команды
?) выражения
Вопрос id:777202
Во внутренних ячейках матрицы переходов записывается
?) конечные состояния автомата
?) состояние, в которое переходит автомат
?) состояние, из которого переходит автомат
?) начальные состояния автомата
Вопрос id:777203
Возможность существования универсальной вычислительной машины, способной выполнить любую эффективную процедуру, показали математики:
?) Тьюринг
?) Гильберт
?) Пост
?) Гедель
Вопрос id:777204
Всякая неразрешимая алгоритмическая проблема является примером ___ множества
?) несчетного
?) невычислимого
?) неперечислимого
?) неразрешимого
Вопрос id:777205
Всякая п.р.ф. (примитивно–рекурсивная функция) имеет ___число геделевских номеров
?) конечное
?) индивидуальное
?) ограниченное
?) бесконечное
Вопрос id:777206
Выражение (комбинация знаков), содержащее знаки «переменных», которое превращается в имя предмета, если вместо «переменных» поставить надлежащим образом выбранные имена предметов, называется ___ формой
?) абстрактной
?) именной
?) высказывательной
?) иносказательной
Вопрос id:777207
Выражение «множество А содержится в множестве В» записывается как
?) A∩B
?) А^В
?) AÌB
?) A∪B
Вопрос id:777208
Высказывание – это
?) предикатная константа
?) формула
?) именное выражение
?) предикатная переменная
Вопрос id:777209
Вычислимая по Тьюрингу функция является
?) характеристической
?) общерекурсивной
?) частично рекурсивной
?) примитивно рекурсивной
Вопрос id:777210
Вычисляемая некоторой машиной Тьюринга функция называется
?) вычислимой
?) характеристической
?) рекурсивной
?) обратной
Вопрос id:777211
Геделевский номер функции 0(х) равен ___ (ответ укажите цифрой)
Вопрос id:777212
Геделевский номер функции e11 равен ___ (ответ укажите цифрой)
Вопрос id:777213
Геделевский номер функции e33 равен ___ (ответ укажите цифрами)
Вопрос id:777214
Геделевский номер функции S(х) равен ___ (ответ укажите цифрой)
Вопрос id:777215
Дедуктивные рассуждения преобладают в науках, которые принято называть
?) естественно–научными
?) гуманитарными
?) техническими
?) точными
Вопрос id:777216
Для вещественныех чисел 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:777217
Для вещественныех чисел x,y,z утверждению х ≤y эквивалентна запись
?) ∃z (x+z=y)
?) ∀z (x+z=y)
?) ∃z (y+z=x)
?) ∀x (x+z=y)
Вопрос id:777218
Для обозначения какой–либо связи между предметами или понятиями используется математический термин, который называется
?) выражением
?) отношением
?) суждением
?) выводом
Вопрос id:777219
Для однозначной записи алгоритмов существует формализованный язык, который называется языком
?) алгоритмическим
?) регулярным
?) автоматным
?) метаязыком
Вопрос id:777220
Для присвоения, хранения, обработки и передачи информации используется способ обозначения определенного понятия, предмета, свойства, который называется
?) словом
?) списком
?) языком
?) выражением
Вопрос id:777221
Единственным неопределимым отношением в системе арифметики натуральных чисел Пеано является
?) у ÷ x
?) y = x/
?) у + х
?) у – х
Вопрос id:777222
Если f(n) = cos(pn), то функция h(n,m) в рекуррентной формуле равна
?) sin(pn)
?) –m
?) 1– cos(pn)
?) m+1
Вопрос id:777223
Если f(n)=n!, то функция h(n,m) в рекуррентной формуле равна
?) m(n+1)
?) m!
?) m+n+1
?) m+1
Вопрос id:777224
Если f(x,y) = х + у и рекурсия проводится по переменной y, то функция h(х,у,m) равна
?) m+1
?) m+у
?) 2+m
?) m+x
Вопрос id:777225
Если f(x,y) = х • у и рекурсия проводится по переменной x, то функция h(x,y,m) равна
?) 1
?) m+y
?) х + у
?) m+x
Вопрос id:777226
Если f(x,y) = х+у и рекурсия проводится по переменной у, то функция g(x) равна
?) x+1
?) x+2
?) 2x
?) x
Вопрос id:777227
Если f(x,y,z) = z•х+у и рекурсия проводится по переменной z, то функция h(х,у,z,m) равна
?) my
?) m+х+у+z
?) m+x
?) mx
Вопрос id:777228
Если f(x,y,z) == z • х + у и рекурсия проводится по переменной z, то функция g(х,у) равна
?) ху
?) у
?) x+1
?) х+у
Вопрос id:777229
Если f(х, y) = х • у и рекурсия проводится по переменной у , то функция g(х) равна
?) 0
?) x2
?) x
?) 1
Вопрос id:777230
Если f(х, у) = хy и рекурсия проводится по у, то функция g(х) равна ___ (ответ укажите цифрой)
Copyright testserver.pro 2013-2024