Інформатика

Властивості функцій, які не належать основних замкнутим класам T 0 ,T 1 , L, S та M. Критерій повноти (теорема Поста).НЕ 2.4. Мінімізація булевих функційТеорема про число різних кон’юнктивних та диз’юнктивних форм.Постановка задачі мінімізації. Скорочена, тупикова та мінімальнадиз’юнктивні нормальні форми (с.д.н.ф., т.д.н.ф., м.д.н.ф.). Методи Квайна,Мак-Класки, Блейка та Нельсона побудови с.д.н.ф. Метод імплікантнихтаблиць побудови т.д.н.ф., м.д.н.ф. Побудова м.д.н.ф. методом невизначенихкоефіцієнтів.ЗМІСТОВИЙ МОДУЛЬ 3«Елементи k-значної логіки. Автоматні функції»НЕ 3.1. Елементи k-значної логікиОзначення k-значної змінної, функцій k-значної логіки. Число k-значних наборів та функцій k-значної логіки. Елементарні функції k-значноїлогіки. Означення k-значної послідовності, набору послідовностей тапослідовності наборів.НЕ 3.2. Автоматні функціїОзначення детермінованої функції та її інтерпретація за допомогоюдискретного перетворювача. Інтерпретація детермінованої функції задопомогою дерева. Навантажене дерево. Еквівалентні дерева. Вага дерева.Відсічене дерево. Обмежено-детермінована функція. Діаграма Мура.Канонічні рівняння обмежено-детермінованих функцій.Основна література до дисципліни:1. Яблонський С.В. Введение в дискретную математику. – М.: Наука,1986. – 384 с.2. Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретнаматематика. – К.: Видавнича група BHV, 2007. – 368 с.3. Бондаренко М.Ф., Білоус Н.В., Руткас А.Т. Комп’ютерна дискретнаматематика. – Харків: «Компанія СМІТ», 2004. – 480 с.4. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретнойматематике. – М.: Наука, 1977. – 368 с.5. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика дляинженера. – М.: Энергоатомиздат, 1988. – 480 с.6. Липский В. Комбинаторика для программистов. – М.: Мир, 1988. – 213с.7. Дискретна математика: методичні вказівки та завдання (для студентівматематичного факультету) / Укл.: Бортей М.С., Дрінь М.М., СверданМ.Л., Якімов І.В. – Чернівці: Рута, 2000. – 94 с.8. Дискретна математика: методичні вказівки та завдання для самостійноїроботи (для студентів математичного факультету) / Укл.: СверданМ.Л., Бортей М.С., Якімов І.В. – Чернівці: ЧДУ, 1998. – 64 с.