МЛИТА

Истинным утверждением является…
+Формула называется тавтологией, если она принимает только истинное значение при любых значениях букв.

Истинным утверждением является…
+Формула называется противоречием, если она принимает только ложное значения при любых значениях букв.

Определение высказывания…
+Высказыванием называется утверждение, которое является истинным или ложным (но не одновременно).

Высказывание – это предложение…
+Волга впадает в Каспийское море.

Высказывание – это предложение…
+Москва – столица Российской Федерации.

Высказывание – это предложение…
+Средний возраст студентов 2 курса – 25 лет.

Высказывание – это предложение…
+Существует человек, который старше своего отца.

Высказывание – это предложение…
+

Высказывание – это предложение…
+.

Высказывание – это предложение…
+

Высказывание – это предложение
+

Пусть обозначает высказывание “Я увлекаюсь танцами”, а обозначает высказывание “Я изучаю математику”. Тогда высказывание “Я увлекаюсь танцами и изучаю математику” обозначается…
+

Пусть обозначает высказывание “Я увлекаюсь айкидо”, а обозначает высказывание “Я изучаю информатику”. Тогда высказывание “Я увлекаюсь айкидо, поэтому я изучаю информатику” обозначается…
+

Пусть обозначает высказывание “Я увлекаюсь пением”, а обозначает высказывание “Я изучаю английский язык”. Тогда высказывание “Я увлекаюсь пением и не изучаю английский язык” обозначается…
+

Пусть обозначает высказывание “Я увлекаюсь танцами”, а обозначает высказывание “Я изучаю математику”. Тогда высказывание “Я увлекаюсь танцами тогда и только тогда, когда я изучаю математику” обозначается…
+

Пусть обозначает высказывание “Я увлекаюсь туризмом”. Тогда высказывание “Неверно, что я не увлекаюсь туризмом” обозначается…
+

Истинным высказыванием является…
+

Последняя цифра в двоичном наборе числа 325…
+1

Последняя цифра в двоичном наборе числа 401…
+1

Последняя цифра в двоичном наборе числа 224…
+0

Последняя цифра в двоичном наборе числа 268…
+0

По каналу связи могут передаваться три сообщения: , , . Передача каждого сообщения обозначается соответствующей буквой. Формула отвечает событию…
+Сообщение могло быть передано в том и только в том случае, если были переданы оба сообщения и .

По каналу связи могут передаваться три сообщения: , , . Передача каждого сообщения обозначается соответствующей буквой. Формула отвечает событию…
+Передано хотя бы одно из сообщений и .

По каналу связи могут передаваться три сообщения: , , . Передача каждого сообщения обозначается соответствующей буквой. Формула отвечает событию…
+Передано не более чем одно из и .

По каналу связи могут передаваться три сообщения: , , . Передача каждого сообщения обозначается соответствующей буквой. Формула отвечает событию…
+Переданы все сообщения.

По каналу связи могут передаваться три сообщения: , , . Передача каждого сообщения обозначается соответствующей буквой. Формула отвечает событию…
+Не передано ни одного сообщения.

Тавтологией является формула…
+

Формула логически эквивалентна формуле…
+

Формуле логически влечет формулу…
+

К символам алфавита в исчислении высказываний не относятся … (выберите не менее двух символов)
+
+

Правило вывода MP имеет вид…
+├.

Аксиомой исчисления высказываний является…
+

– множество формул, , – формулы. Тогда теорема дедукции формулируется следующим образом…
+, ├├.

– множество формул, , – формулы. Тогда теорема, обратная теореме дедукции, формулируется следующим образом…
+├, ├.

Формулой исчисления высказываний является символ…
+

Аксиома А1 с подстановкой вместо имеет вид…
+

Аксиома А2 с подстановкой вместо имеет вид…
+

Имеет место вывод…
+├.

Выводом формулы в исчислении высказываний является…
+По теореме, обратной теореме дедукции, ├ равносильно ├.

– гипотеза.
– гипотеза.
– аксиома А3.
. MP 1,3.
– аксиома А1 (с подстановкой вместо – ).
. MP 2,5.
. MP 6,3.

– гипотеза.
– гипотеза.
– гипотеза.
. MP 3,1.
. MP 2,4.

– гипотеза.
– гипотеза.
– гипотеза.
- MP 3,2.

- MP 4,1.

Область определения предикатов – . Истинным высказыванием является…
+

Область определения предикатов –. Истинным высказыванием является…
+

Местность предиката на множестве …
1

Местность предиката на множестве …
0

Местность предиката на множестве …
2

Местность предиката на множестве …
1

Область истинности предиката на множестве …
+

Соответствие между предикатами на множестве и их областями истинности…
10)
6)
7)
8)Любое однозначное число x является простым.
9)
0
0
0
0
0

Соответствие между предикатами на множестве и их областями истинности…
7)
6)
10)
8)Любое действительное число x является целым.
9)
0
0
0
0
0

Соответствие между предикатами на множестве и их областями истинности…
7)
9)
10)
8)Действительное число неотрицательно.
6)
0
0
0
0
0

Соответствие между предикатами на множестве и их областями истинности…
8)
6)
7)
10)Действительное число x равно 12.
0
0
0
0
0
0

+Все трехзначные натуральные числа простые.
+

Среди данных предикатов на множестве высказываниями являются (укажите не менее двух)…
+
+

Среди данных предикатов на множестве высказываниями являются (укажите не менее двух)…
+Если сумма цифр натурального числа делится нацело на 3, то число делится на 3.
+

Среди данных предикатов на множестве высказываниями являются (укажите не менее двух)…
+
+

Предваренная нормальная форма инверсии формулы …
+

Предваренная нормальная форма формулы …
+

В обозначениях x – индивид, – судья, – юрист, высказывание “Все судьи – юристы” выражается предикатом…
+

В обозначениях x – индивид, – судья, – молодой, высказывание “Есть молодые судьи” выражается предикатом…
+

В обозначениях x – индивид, – юрист, – молодой, высказывание “Все юристы молоды” выражается предикатом…
+

В обозначениях x – индивид, – юрист, – молодой, высказывание “Нет молодых юристов” выражается предикатом…
+

В обозначениях x – индивид, – юрист, – молодой, предикат выражает высказывание…
+Есть молодые юристы.

В обозначениях x – индивид, – судья, – старый, – спортсмен, предикат выражает высказывание…
+Существуют старые судьи-спортсмены.

В обозначениях x – индивид, – женщина, – юрист, предикат выражает высказывание…
+Существуют женщины-юристы.

В обозначениях x – индивид, – женщина , – судья, – домохозяйка, предикат выражает высказывание…
+Все женщины-судьи не домохозяйки.

Правило резолюций имеет вид…
+, . , ├.

При преобразовании формулы к множеству предложений импликация заменяется по формуле…
+

При преобразовании формулы к множеству предложений двойная инверсия заменяется по формуле…
+

При преобразовании формулы к множеству предложений используются законы де Моргана (укажите не менее двух пунктов)…
+
+

При преобразовании формулы к множеству предложений используются дистрибутивные законы (укажите не менее двух пунктов)…
+

Если методом резолюций доказывается выводимость ├, где – множество формул, то к множеству предложений преобразуются…
+ и все формулы из .

Если методом резолюций доказывается выводимость ├, то к множеству предложений преобразуется формула…
+

Укажите пары резольвируемых предложений (не меньше двух пар)…
+, .
+, .

При преобразовании к множеству предложений формула принимает вид…
+
При преобразовании к множеству предложений формула принимает вид…
+

При преобразовании к множеству предложений формула принимает вид…

При преобразовании к множеству предложений формула принимает вид…
+

Состояния управляющего устройства машины Тьюринга…
+, , …, .

Во внешнем алфавите , , …, для машины Тьюринга пустой символ обозначается…
+

Пусть – текущее состояние управляющего устройства, – обозреваемый символ, – новое состояние управляющего устройства, – новый символ, , , , – символы сдвига. Общий вид команды для машины Тьюринга…
+

– общий вид команды для машины Тьюринга. Тогда текущее состояние управляющего устройства…
+

– общий вид команды для машины Тьюринга. Тогда новое состояние управляющего устройства...
+

– общий вид команды для машины Тьюринга. Тогда обозреваемый символ...
+

– общий вид команды для машины Тьюринга. Тогда новый символ...
+

– общий вид команды для машины Тьюринга. Тогда символ сдвига...
+.

В программе для машины Тьюринга начальное состояние обозначается...
+

В программе для машины Тьюринга заключительное состояние обозначается...
+

В программе для машины Тьюринга сдвиг вправо обозначается...
+

В программе для машины Тьюринга сдвиг влево обозначается...
+

В программе для машины Тьюринга операция “на месте” обозначается...
+

Двойственная машина для машины Тьюринга имеет вид…
+

Соответствие между понятиями и обозначениями…
7Текущее состояние управляющего устройства.
9Обозреваемый символ
6Новое состояние управляющего устройства.
10Новый символ.
8Символ сдвига.
0
0
0
0
0

Соответствие между компонентами машины Тьюринга и их обозначениями…
9Начальное состояние управляющего устройства.
7Заключительное состояние управляющего устройства.
6Сдвиг вправо.
10Сдвиг влево
0Операция “на месте”.
0
0
0
0
0

Соответствие между компонентами машины Тьюринга и их обозначениями
7Начальное состояние управляющего устройства.
10Заключительное состояние управляющего устройства.
9Обозреваемый символ.
8Новый символ.
0Сдвиг вправо.
0
0
0
0
0

Индекс в обозначении начального состояния машины Тьюринга .
1

Индекс в обозначении заключительного состояния машины Тьюринга .
0

Наибольшее допустимое число команд в программе для машины Тьюринга, соответствующее состоянию управляющего устройства при данном …
2

Число символов сдвига для машины Тьюринга…
3

Машина Тьюринга может не обладать свойствами (отметить не менее двух свойств)…
+В программе обязательно есть символ .
+Каждому состоянию управляющего устройства обязательно соответствует две команды.

Машина Тьюринга может не обладать свойствами (отметить не менее двух свойств)…
+Символ означает окончание работы программы.
+В программе число команд, начинающихся с , может быть больше двух.

Команда для машины Тьюринга имеет вид . Соответствие между понятиями и обозначениями…
9Текущее состояние управляющего устройства.
7Новое состояние управляющего устройства.
6Символ сдвига.
10Обозреваемый символ внешнего алфавита.
0Новый символ внешнего алфавита.
0
0
01.
0
00.

Команда для машины Тьюринга имеет вид . Соответствие между понятиями и обозначениями…
10Текущее состояние управляющего устройства.
7Новое состояние управляющего устройства.
8Символ сдвига.
6Обозреваемый символ внешнего алфавита.
0Новый символ внешнего алфавита.
01.
0
0
00.
0

Команда для машины Тьюринга имеет вид . Соответствие между понятиями и обозначениями…
7Текущее состояние управляющего устройства.
10Новое состояние управляющего устройства.
9Символ сдвига.
8Обозреваемый символ внешнего алфавита.
0Новый символ внешнего алфавита.
00.
0
01.
0
0

Команда для машины Тьюринга имеет вид . Соответствие между понятиями и обозначениями…
7Текущее состояние управляющего устройства.
6Новое состояние управляющего устройства.
10Символ сдвига.
9Обозреваемый символ внешнего алфавита.
0Новый символ внешнего алфавита.
0
0
01.
00.
0

Команда для машины Тьюринга имеет вид . Соответствие между понятиями и обозначениями…
10Текущее состояние управляющего устройства.
9Новое состояние управляющего устройства.
0Символ сдвига.
6Обозреваемый символ внешнего алфавита.
7Новый символ внешнего алфавита.
0
00.

01.
0
0

Для машины Тьюринга и начальной конфигурации заключительная конфигурация…
+

Применима ли машина Тьюринга к слову . Если применима, то укажите результат применения машины к слову. Предполагается, что в начальный момент времени головка машины обозревает самую левую единицу слова.
+