
- •Математическая логика и теория алгоритмов
- •Тема 1. Логика высказываний 5
- •Тема 1. Логика высказываний
- •1.1. Логические операции над высказываниями
- •1.2. Формулы логики высказываний. Следование и равносильность формул
- •1.3. Отыскание нормальных форм формул логики высказываний
- •1.4. Тождественно истинные и тождественно ложные формулы. Проблема разрешимости
- •1.5. Формализация рассуждений. Правильные рассуждения
- •1.6. Задания
- •2.2. Приведенные и предваренные нормальные формулы
- •2.3. Выражение суждения в виде формулы логики предикатов
- •2.4. Задания
- •3.2. Автоматическое доказательство теорем. Метод резолюций
- •3.3. Задания
- •Варианты индивидуальных заданий
- •Вариант № 4
- •4.1 Основные понятия нечетких множеств
- •4.2 Элементы нечеткой логики
- •4.3. Задания
- •Варианты индивидуальных заданий
- •Тема 5. Элементы теории алгоритмов
- •5.1. Понятие алгоритма
- •5.2. Машина Тьюринга
- •5.3. Задания
- •Варианты индивидуальных заданий
- •Список литературы
5.3. Задания
Постройте машину Тьюринга, которая заданное входное слово P преобразует в выходное слово R. В начальном положении обозревается крайняя левая ячейка на ленте.
Варианты индивидуальных заданий
№ |
P |
R |
№ |
P |
R |
1 2 3 4 5 6 7 8 9 10 |
110 000 000 001 001 001 100 100 100 100 |
1100 0001 111 0010 0011 110 1000 1011 1100 1001 |
11 12 13 14 15 16 17 18 19 20 |
010 010 010 011 011 011 101 101 101 101 |
0100 0101 101 1010 1011 010 1010 1011 010 0001 |
Список литературы
Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов: учеб. пособие / И.А. Лавров, Л.Л. Максимова. – М.: Наука, 1984. – 223 с.
Гуц А.К. Математическая логика и теория алгоритмов: учеб. пособие / А.К. Гуц. – Изд-во Либроком, 2009. – 120 с.
Непейвода Н.Н. Прикладная логика: учеб. пособие / Н.Н. Непейвода. – Ижевск: Изд-во Удмурского университета, 1997. – 385 с.
Новиков П.С. Элементы математической логики / П.С. Новиков. – М.: Наука, 1973. – 400 с.
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие / В.И. Игошин. – М.: Издательский центр «Академия», 2005. – 304 с.
Математическая логика и теория алгоритмов: метод. указания / сост. С.А. Казаков, Н.А. Правоторова. – М.: Изд-во МГАПИ, 2002. – 45 с.
Кузнецов О.П. Дискретная математика для инженера / О.П. Кузнецов. – СПб.: Изд-во «Лань», 2005. – 400 с.
Потапов В.И. Компьютерная арифметика и алгоритмическое моделирование арифметических операций: учеб. пособие / В.И. Потапов, О.П. Шафеева. – Омск: Изд-во ОмГТУ, Гриф УМО. 2005. – 96 с.
Анкудинов Г.И. Математическая логика и теория алгоритмов: учеб. пособие / Г.И. Анкудинов, И.Г. Анкудинов, О.А. Петухов. – СПб.: Изд-во СЗТУ, 2003. – 104 с.
Редактор Л.И. Чигвинцева
Компьютерная верстка О.Г. Белименко
ИД № 06039 от 12.10.2001
Свод. темплан 2009 г.
Подписано в печать 11.09.09. Формат 60х84 1/16. Отпечатано на дупликаторе.
Бумага офсетная. Усл. печ. л. 2,5. Уч.-изд. л. 2,5. Тираж 200 экз. Заказ 601.
Издательство ОмГТУ. Омск, пр. Мира, 11. Т. 23-02-12
Типография ОмГТУ