- •Функции алгебры логики
- •16. В каком столбце таблицы находятся значения функции ↔ 4
- •Содержательное исчисление высказываний
- •Формулы алгебры высказываний. Формальное исчисление высказываний
- •50. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •Логика предикатов
- •Формулы логики предикатов
- •Теория алгоритмов.
- •101. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •102. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •103. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
- •106. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Теория алгоритмов.
101. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Функция f(x1, . . ., хп) называется ▼, если существует алгоритм, позволяющий вычислять ее значения для тех наборов аргументов, для которых она определена, и работающий вечно, если функция для данного набора значений аргументов не определена. вычислимой
102. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Множество М называется ▼, если имеется алгоритм для выяснения того, принадлежит или не принадлежит произвольный элемент к этому множеству. разрешимым.
103. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Множество M, являющееся подмножеством натуральных чисел, называется ▼, если М либо пусто, либо есть область значений некоторой вычислимой функции. перечислимым.
104. Применение к слову 138578926 Марковской подстановки (85789, 00) дает результат: 130026
105 Применение к слову шрам Марковской подстановки (ра, ар) дает результат: шарм
106. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Упорядоченный конечный список формул подстановок в алфавите А:
называется ▼ нормального алгоритма в А. схемой
107. Пусть А={ a0, a1, a2,….., an, } –алфавит. Рассмотрим схему нормального алгоритма
В какое слово она перерабатывает слово ana0a1a2 ?
108.Завершите формулировку принципа нормализации Маркова:
Для нахождения значений функции, заданной в некотором алфавите, тогда и только тогда существует какой-нибудь алгоритм, когда функция нормально вычислима
109. Дана система команд машины Тьюринга:
q1a1→q2λR;
q1a2→q3λR;
q2a2→q3λR;
q3a2→q1λR;
q3a1→q4TE;
и лента с записью: а1 а2 а2 а1 а1; начальное состояние: q1. Данная машина: зациклится.
110. Рассмотрим машину Тьюринга с алфавитом A={1,*, λ} и системой команд ………….
Какую операцию в унарном коде выполняет эта машина сложение двух натуральных чисел
111. Рассмотрим машину Тьюринга с алфавитом A={1,*, λ,0} и системой команд (*таблица*)
Какую операцию в унарном коде выполняет эта машина. копирование
112. В теории рекурсивных функций в качестве набора операторов, с помощью которых строятся новые функции, выбраны следующие наборы: оператор суперпозиции, оператор примитивной рекурсии, оператор минимизации;
113.: Выразить функцию s(x,y)= x + y через простейшие функции с помощью оператора примитивной рекурсии s(x,0)=
114. С помощью ограниченного оператора минимизации, простейшие и примитивно-рекурсивные функции s(x,y)= x + y и p(x,y)= x y выразите целую часть . (p(S(y))>x)
115. Завершите формулировку тезиса Черча:
Всякая функция, вычислимая некоторым алгоритмом, частично-рекурсивна
116.Для указанных классов функций, заданных на множестве натуральных чисел и принимающих натуральные значения, справедливо следующее утверждение: все три класса (класс всех функций, вычислимых по Тьюрингу, класс всех нормально вычислимых функций, класс всех рекурсивных функций) совпадают.
117.Рассмотрим следующую функцию на словах в алфавите A1 ={1}.
Для произвольного слова длины п в алфавите A1 ={1} положим:
Тогда функция не вычислима по Тьюрингу
118. Проблема распознавания самоприменимых машин Тьюринга алгоритмически неразрешима
119.Класс (f) содержит алгоритмы, сложность которых растёт по крайней мере так же быстро, как данная функция f
120. Класс NP содержит задачи, для которых алгоритмы, способные решить их за разумное время не известны