Методичні вказівки до самостійної роботи з курсу "Основи дискретної математики" для студентів бакалаврату "Комп’ютеризовані системи, автоматика і управління" денної та заочної форм навчання. Частина 2: Рекомендації і вправи до вивчення теорій граматик і автоматів та математичної логіки / Укладачі С.Ф.Теленик, Я.Ю.Дорогий. - К.: НТУУ «КПІ», 2003. - 117 с.

Укладачі: С.Ф.Теленик, докт.техн.наук,

Я.Ю.Дорогий.

Відповідальний редактор о.А.Павлов. Рецензент: в.П. Полторак

Започатковані в середині минулого століття процеси створення та широкого впровадження комп’ютерної техніки в управління, наукові розрахунки, проектування та інші сфери діяльності людини супроводжувались бурхливим розвитком дискретної математики, яка була покликана підтримувати ці процеси відповідними формалізмами.

Становлення штучного інтелекту, в дослідженнях з якого дискретна математика відіграє важливу роль, також стало потужним імпульсом для її розвитку.

А впровадження на зламі тисячоліть в галузь інформатизації нових інформаційних технологій, які в теоретичному відношенні ґрунтуються на моделях, методах і засобах дискретної математики, широко використовують методи штучного інтелекту та інших напрямів кібернетики, насамперед представлення та оброблення знань, інтелектуального аналізу даних, роль і значення дискретної математики в освіті бакалавра за напрямком "Комп’ютеризовані системи, автоматика і управління" ще більше зростають.

У вдосконаленні навчального процесу дедалі більшого значен­ня набуває самостійна робота студентів. Причини: зростаюча за­безпеченість студентів навчальною літературою, обладнанням, допоміжними засобами; широке розповсюдження Internet-видань; впровадження засобів дистанційного навчання; істотні розбіжності у вимогах до змісту навчальних програм підприємств і організацій різних галузей; прагнення знайти для кожного студента форму навчання, що відповідає його індивідуальності; загальне прагнення суспільства до як найповнішої реалізації осо­бистостей у творчій діяльності.

У частині І методичних вказівок до само­стійної роботи студентів з дисципліни "Основи дискретної математики" було розглянуто організацію і зміст цієї дисципліни, яка разом з іншими дисциплінами математич­ного циклу покликана формувати основу математичного апарату бакалавра за напрямком "Комп’ютеризовані системи, автоматика і управління". Для розділів “Проблематика і взаємозв'язок розділів курсу: передумови, рішення, перспективи”, “Вступ до алгебраїчних систем”, “Теорія графів і мереж» курсу для кожної теми були наведені література й рекомен­дації щодо її використання та організації само­стійної роботи, вправи, приклади їх розв’язання.

У частині ІІ методичних вказівок до само­стійної роботи студентів з дисципліни "Основи дискретної математики" для розділів “Теорія граматик та формальних мов”, “Теорія автоматів”, “Вступ до математичної логіки” для кожної теми наведені необхідна література й методичні рекомен­дації щодо використання літературних джерел та організації само­стійної роботи, визначені взаємозв’язки матеріалу різних розділів, напрямки практичного застосування матеріалу.

Для самоконтролю студенти можуть використовувати запитання й задачі, які наводяться для кожної теми. Для основних типів задач подані приклади їх розв’язання, особливості застосування різних методів.

Розділ 4. ТЕОРІЯ ГРАМАТИК

У розділі вказана рекомендована література з кожної теми розділу, описані труднощі, які можуть виникнути при самостійному вивченні матеріалу, та способи подолання їх, наводяться вправи та приклади їх виконання.