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

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

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

Вопрос 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) в рекуррентной формуле равна
?) m+1
?) –m
?) 1– cos(pn)
?) sin(pn)
Вопрос id:777223
Если f(n)=n!, то функция h(n,m) в рекуррентной формуле равна
?) m+1
?) m(n+1)
?) m!
?) m+n+1
Вопрос id:777224
Если f(x,y) = х + у и рекурсия проводится по переменной y, то функция h(х,у,m) равна
?) m+x
?) m+1
?) m+у
?) 2+m
Вопрос id:777225
Если f(x,y) = х • у и рекурсия проводится по переменной x, то функция h(x,y,m) равна
?) х + у
?) m+x
?) m+y
?) 1
Вопрос id:777226
Если f(x,y) = х+у и рекурсия проводится по переменной у, то функция g(x) равна
?) x+1
?) 2x
?) x
?) x+2
Вопрос id:777227
Если f(x,y,z) = z•х+у и рекурсия проводится по переменной z, то функция h(х,у,z,m) равна
?) mx
?) m+x
?) my
?) m+х+у+z
Вопрос id:777228
Если f(x,y,z) == z • х + у и рекурсия проводится по переменной z, то функция g(х,у) равна
?) х+у
?) у
?) ху
?) x+1
Вопрос id:777229
Если f(х, y) = х • у и рекурсия проводится по переменной у , то функция g(х) равна
?) x
?) 0
?) 1
?) x2
Вопрос id:777230
Если f(х, у) = хy и рекурсия проводится по у, то функция g(х) равна ___ (ответ укажите цифрой)
Copyright testserver.pro 2013-2024 - AppleWebKit