work

Контрольная работа по «Математической логике и теории алгоритмов» для КЗИз
База заданий
Логика и исчисление высказываний
Записать высказывания в виде формул логики высказываний.
Сегодня мы пойдем в кино или поедем кататься на лыжах.
Если будет хорошая погода, то мы пойдем гулять.
Если х=5 и у=3, то х>y.
Людоед голоден только тогда, когда он давно не ел.
Иванов сдал экзамен и получил 5 неравнозначно тому, что Иванов сдал экзамен и получил 5
Если он бегает по лужайке и у него длинные уши, то он или заяц или осел
Построить таблицы истинности для формул
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
Доказать, что формулы являются тавтологиями
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
Доказать полноту (неполноту) систем булевых функций
{
·, ~}
{|}
{}
{
·,&}
{
·,(}
{
·,}
{,0}
{
·,
·,1}
{&,
·,}
{,
·}
{, ~}
{~,
·}
Получить СДНФ для формул, а затем перейти к СКНФ:
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
Получить СКНФ, а затем перейти к СДНФ
13 EMBED Equation.3 1415
13 EMBED
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·–
·
·
·
·
·
·
·
·
·Получить МДНФ для формул
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
Логика и исчисление предикатов
Записать на языке предикатов
все студенты учатся;
некоторые студенты отличники;
Детям до 16 лет и роботам входить запрещено;
всем детям до 16 лет и роботам надлежит получить справки;
для любого числа можно найти большее число;
x+y=z;
каждый студент выполнил, по крайней мере, одну лабораторную работу.
всякий предмет обладает свойством А;
нечто обладает свойством В;
если студент отлично учится, не имеет нарушений и занимается общественной работой, то он получает повышенную стипендию;
не всегда из того, что x лучше y, а y лучше z следует, что x лучше z;
каждое рациональное число есть действительное число;
некоторые действительные числа являются рациональными;
«Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему»
всякое N, делящееся на 12 делится на 2, 4 и 6.
Получить множество дизъюнктов.
(x(y, z, v(R(x, y, z, v)&L(y, z))
(x, y, z (P(x)&Q(x, y)((R(z))
(x, y, z (P(x)((Q(x, y)(R(z)(M(y))
(x P(x)&(x Q(x)( (x(R(x)(P(x))
(x P(x) ( (x R(x)
(x((y P(x, y)((z(Q(x, z)(R(z)))
((x P(x) ( (y Q(y))&((x, y R(x, y)((y L(y))
(x P(x) ((y R(y)
Автоматическое доказательство теорем
Преобразовать теоремы в вопросы и получить ответы с помощью метода резолюции.
А1: Все, что обладает свойством P, имеет свойство R.
А2: Все, что обладает свойством R, имеет свойство Q.
Вопрос: Существует ли нечто, что не обладает свойством P или обладает свойством Q?
А1: Если х есть часть у и у есть часть z, то х есть часть z.
А2: Палец есть часть руки.
А3: Кисть есть часть руки.
Вопрос: Частью кого является рука?
А1: Кто ходит в гости по утрам, тот поступает мудро.
А2: Если у кого угодно есть воздушный шарик, тот поступает мудро.
А3: У Пяточка есть воздушный шарик.
Вопрос: Кто поступает мудро?
А1: Если робот обработал деталь, то ее забирает штабелер.
А2: Если деталь поступила на обработку, то ее обработает робот.
А3: Если человеку нужна деталь, то она поступит на обработку.
А4: Человеку нужна втулка.
Вопрос: Что заберет штабелер.
А1: Если пассажир сел в самолет, на который ему удалось купить билет, то пассажир думает, что самолет разобьется.
А2: Если пассажир не сел ни в какой самолет или самолет не взлетел, то безопасность пассажира гарантируется.
А3: Безопасность пассажира Васи не гарантируется.
Вопрос: Кто думает, что безопасность пассажира Васи не гарантируется.
Доказать теорему
А1: 13 EMBED Equation.3 1415 T:13 EMBED Equation.3 1415
A1:13 EMBED Equation.3 1415 T: 13 EMBED Equation.3 1415
А1:13 EMBED Equation.3 1415 Т: 13 EMBED Equation.3 1415
А1:13 EMBED Equation.3 1415 Т: 13 EMBED Equation.3 1415

Теория алгоритмов
Построить машину Тьюринга, которая:
Добавляет 1 к числу Р, представленном в двоичной СС.
Находит первую единицу в числе Р, представленном в двоичной СС.
Удаляет последнюю единицу в числе Р, представленном в двоичной СС.
Стирает слово, состоящее из 1 в последовательности, состоящей из 0 и 1.
В последовательности, состоящей из 0 и 1 заполнить 1 ячейки с 0, расположенные между двумя 1.
В последовательности, состоящей из 0 и 1 сдвинуть слово, состоящее из 1 влево.
В последовательности, состоящей из 0 и 1 сдвинуть слово, состоящее из 1 влево.
Пусть число записано в виде последовательности 1. Например: 0 – 1, 1 – 11, 2 – 111, 3 – 1111 и т. д. Машина Тьюринга должна складывать эти числа.
Доказать, что функции примитивно-рекурсивны:
f(x)=x+n;
f(x)=n;
f(x,y)=x+y;
f(x,y)=x*y;
f(x,y)=xy;
f(x)=x!
Построить нормальный алгорифм Маркова, который:
добавляет две единицы к входному слову, состоящему из последовательности единиц.
преобразует исходное слово, состоящее из последовательности единиц, в символ Ч, если количество единиц четное и в символ НЧ, если количество единиц нечетное.
преобразует любое слово в алфавите {x,y,z} в слово zzx.
меняет порядок букв на обратный для любого трехбуквенного слова в алфавите {a,b,c}.
Варианты
№ варианта
I. Логика и исчисление высказываний
II. Логика и исчисление предикатов
III. Автоматическое доказательство теорем
IV. Теория алгоритмов


1
1.1, 2.1, 2.2, 3.1, 4.1, 5.1, 6.1, 7.1
1.1, 1.15,
1.1, 2.1, 2.4
1.8, 2.1, 3.1

2
1.2, 2.3, 2.4, 3.2, 4.2, 5.2, 6.2, 7.2
1.2, 1.14, 2.1
1.2, 2.2, 2.4
1.2, 2.2, 3.2

3
1.3, 2.5, 2.6, 3.3, 4.3, 5.3, 6.3, 7.3
1.3, 1.13, 2.2
1.3, 2.3, 2.4
1.3, 2.3, 3.3

4
1.4, 2.7, 2.8, 3.4, 4.4, 5.4, 6.4, 7.4
1.4, 1.12, 2.3
1.4, 2.1, 2.4
1.4, 2.4, 3.4

5
1.5, 2.1, 2.3, 3.5, 4.5, 5.5, 6.5,7.5
1.5, 1.11, 2.4
1.5, 2.2, 2.4
1.5, 2.5, 3.1

6
1.6, 2.2, 2.4, 3.6, 4.6, 5.6, 6.6, 7.6
1.6, 1. 10, 2.5
1.1, 2.3, 2.4
1.6, 2.6, 3.2

7
1.1, 2.5, 2.7, 3.7, 4.7, 5.7, 6.7, 7.7
1.7, 1.15, 2.6
1.2, 2.1, 2.4
1.7, 2.1, 3.3

8
1.2, 2.6, 2,8, 3.8, 4.8, 5.8, 6.8, 7.8
1.8, 1.14, 2.7
1.3, 2.2, 2.4
1.8, 2.2, 3.4

9
1.3, 2.1, 2.2, 3.1, 4.9, 5.9, 6.9, 7.1
1.9, 1.13, 2.8
1.4, 2.3, 2.4
1.1, 2.3, 3.1

10
1.4, 2.3, 2.4, 3.2, 4.10, 5.10, 6.10, 7.2
1.1, 1.12, 2.1
1.5, 2.1, 2.4
1.2, 2.4, 3.2

11
1.5, 2.5, 2.6, 3.3, 4.11, 5.1, 6.11, 7.3
1.2, 1.11, 2.2
1.1, 2.2, 2.4
1.3, 2.5, 3.3

12
1.6, 2.7, 2.8, 3.4, 4.12, 5.2, 6.12, 7.4
1.3, 1.10, 2.3
1.2, 2.3, 2.4
1.4, 2.6, 3.4

13
1.1, 2.1, 2.3, 3.5, 4.1, 5.3, 6.1, 7.5
1.4, 1.15, 2.4
1.3, 2.1, 2.4
1.5, 2.1, 3.1

14
1.2, 2.2, 2.4, 3.6, 4.2, 5.4, 6.2, 7.6
1.5, 1.14, 2.5
1.4, 2.2, 2.4
1.6, 2.2, 3.2

15
1.3, 2.5,2.7, 3.7, 4.3, 5.5, 6.3, 7.7
1.6, 1.13, 2.6
1.5, 2.3, 2.4
1.7, 2.3, 3.3


Root EntryEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation Native

Приложенные файлы

  • doc 8958495
    Размер файла: 169 kB Загрузок: 0

Добавить комментарий