- •© Михеева е. А., 2016 © Ульяновский государственный университет, 2016 оглавление
- •Раздел 6. Элементы математической логики . . . . . . . . . . . . . . . . . . . . 9
- •Раздел 7. Ограниченно-детерминированные (автоматные) функции
- •Раздел 8. Вычислимые функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
- •Раздел 9. Теория кодирования . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
- •Раздел 6. Элементы математической логики Предисловие
- •Исчисление высказываний
- •Язык ив
- •Аксиомы ив
- •Формулы алгебры высказываний
- •Соответствие между формулами ав и ив
- •Непротиворечивость ив
- •Полнота ив
- •Логические операции над предикатами
- •Теорема о полноте системы одноместных предикатов, заданных на конечном множестве
- •Исчисление предикатов (ип)
- •Формулы исчисления предикатов
- •Определение формул
- •Замена переменных в формулах
- •Правила образования выводимых формул
- •Замена переменного предиката
- •Задания для самостоятельной работы
- •Раздел 7. Ограниченно-детерминированные (автоматные) функции
- •Детерминированные функции
- •Свойство детерминированной функции
- •Примеры детерминированных и недетерминированных функций
- •Способ задания д.Функций
- •Вес детерминированной функции
- •Ограниченно-детерминированные функции
- •Способы задания о.Д.Функций
- •Конечные автоматы
- •Задания для самостоятельной работы
- •Раздел 8. Вычислимые функции Машины Тьюринга
- •Пусть в некоторый момент головка машины обозревает символ , находясь в состоянии , тогда:
- •Методы построения машин Тьюринга
- •1. Принцип двойственности для программ (машин).
- •2. Последовательное подключение одной машины к другой.
- •3. Итерация машины.
- •4. Специальный операторный язык для записи алгоритмов.
- •Описание технологии программирования для машин Тьюринга
- •Вычислимые функции
- •Операции с, Пр и
- •Классы вычислимых и рекурсивных функций
- •Эквивалентность класса рекурсивных функций и функций, вычислимых на машинах Тьюринга
- •Задания для самостоятельной работы
- •Раздел 9. Теория кодирования Алфавитное кодирование
- •Критерий однозначности декодирования
- •Задания для самостоятельной работы
Задания для самостоятельной работы
1. Выяснить, обладает ли код C свойством префикса:
C = {a, ba, bb, bbba};
C = {ab, bb, ba, aab};
C = {ac, c, bb, abc, bac, abb, abcb};
C = {a, ba, cab, acb}.
2. Выяснить, является ли код C с кодирующим алфавитом {0, 1, 2} однозначно декодируемым:
C = {01, 201, 112, 122, 0112};
C = {001, 021, 102, 201, 001121, 01012101};
C = {0, 01, 0010001001};
C = {20, 01202, 22, 2001, 2012010, 10201121, 1112};
C = {01, 011, 100, 2100, 101210, 001210};
C = {01, 011, 100, 2100, 10110, 00112};
C = {01, 12, 021, 0102, 10112};
C = {01, 12, 012, 111, 0102, 10112, 01112}.
3. Выяснить, является ли слово P в алфавите {0, 1, 2} кодом сообщения в кодировании, задаваемом схемой
Если да, то выяснить, является ли P кодом ровно одного сообщения:
P = 10120121012100;
P = 1012101201210012;
P = 0121001210201;
P = 120120121001210;
P = 1010122100;
P = 12101210012;
P = 101212101012;
P = 1010012100101.
4. Построить по методу Хэмминга кодовое слово для сообщения:
ã = 010;
ã = 011;
ã = 1001;
ã = 1101;
ã = 10101011;
ã = 111001111;
ã = 100010011;
ã = 01110111011.
5.
По каналу связи передавалось кодовое
слово, построенное по методу Хэмминга
для сообщения
.
После передачи по каналу связи,
искажающему слово не более чем в одном
разряде, было получено слово
.
Восстановить исходное сообщение:
1) = 110;
2) = 101110;
3) = 011110;
4) = 1001011;
5) = 0101101;
6) = 1011101;
7) = 1100011;
8) = 11011100110;
9) = 1010101010100;
10) = 001011110111111.
ЛИТЕРАТУРА
Основная
Яблонский, С. В. Введение в дискретную математику / С. В. Яблонский. – М. : Наука, 1979, 1986 (2-е изд., перераб. и доп.), 2001 (3-е изд., стер.).
Яблонский, С. В. Методические разработки по курсу «Элементы дискретной математики» / С. В. Яблонский. – М. : Изд-во МГУ, 1971.
Яблонский, С. В. Дискретная математика и математические вопросы кибернетики / С. В. Яблонский, О. Б. Лупанов. – М. : Наука, 1974.
Гаврилов, Г. П. Сборник задач по дискретной математике / Г. П. Гаврилов, А. А. Сапоженко. – М. : Наука, 1977, 1991 (2-е изд., перераб. и доп.), 2004 (3-е изд., перераб.).
Алексеев, В. Б. Лекции по дискретной математике : учеб. пособие / В. Б. Алексеев. – М. : Изд. отдел фак. ВМиК МГУ им. М. В. Ломоносова, 2004. – 76 с.
Михеева, Е. А. Дискретная математика: учебно-методическое пособие для студентов I и II курсов факультета математики и информационных технологий / Е. А. Михеева. – Ульяновск : УлГУ, 2008.
Михеева, Е. А. Разделы дискретной математики : электронный учебный курс (2010 ОРЭИ УлГУ) ; № гос. регистрации обяз. экз. электр. изд. 0321101935. – Ульяновск : УлГУ, 2011.
Михеева, Е.А. Введение в дискретную математику: учебное пособие для студентов 1 курса факультета математики и информационных технологий / Е.А. Михеева. - Ч. 1. – Ульяновск : УлГУ, 2013.- 102 с.
Михеева, Е.А. Конспект лекций по курсу << Дискретная математика >> (первый семестр): электронный учебный курс. Номер гос. регистрации обяз. экз. электр. изд. – 0321304656. – Ульяновск : УлГУ, 2014.
Дополнительная
К разделу 6
Новиков, П.С. Элементы математической логики / П.С. Новиков. – 2-е изд. – М.: Наука, 1973.
Мендельсон, Э. Введение в математическую логику / Э. Мендельсон. – М.: Наука, 1976.
Игошин, В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. Высш. учеб. заведений /В.И.Игошин.- М.: Издательский центр << Академия >>, 2004. – 448 с.
Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. Высш. учеб. заведений / В.И. Игошин. – 3-е изд., стер. - М.: Изд. центр <<Академия >>, 2007. – 304 с.
К разделу 7
Кудрявцев, В.Б. Введение в теорию автоматов / В.Б. Кудрявцев, С.В. Алешин, А.С. Подколзин. – М.: Наука, 1986.
К разделу 8
Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. – М.: Наука, 1975.
Мальцев, А.И. Алгоритмы и рекурсивные функции / А.И. Мальцев. – М.: Наука, 1965.
Роджерс, Х. Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс. – М.: Мир, 1972.
Эббинхауз, Г.Д. Машины Тьюринга и рекурсивные функции / Г.Д. Эббинхауз, К. Якобо, Ф.К. Ман, Г.М. Хермес. – М.: Мир, 1972.
Ляпунов, А.А. О логических схемах программ / А.А. Ляпунов // Проблемы кибернетики. – Вып. 1. – М.: Физматгиз, 1958. – С. 46-74.
К разделу 9
Марков, А.А. Введение в теорию кодирования / А.А. Марков. – М.: Наука, 1982.
Смагин, А.А. Модели разбиений: монография / А.А.Смагин. – Ульяновск: УлГУ, 2013. – 207 с.
