Дискретни структури - ръководство за семинарни упражнения

Технически университет - Варна
А. Антонов, Вл. Николов, Ив. Пенев



ДИСКРЕТНИ СТРУКТУРИ



Ръководство за семинарни
упражнения


Варна
2015

УДК 519.21: 519.87 (076)


Настоящото ръководство е предназначено за студентите от
специалности „Компютърни системи и технологии“ и „Софтуерни и
интернет технологии“ в Технически университет - Варна.
Съдържанието на ръководството е съобразено с учебната програма по
дисциплината "Дискретни структури".






















© Анатолий Стефанов Антонов
Владимир Николов Николов
Ивайло Пламенов Пенев

ISBN ………………

ПРЕДГОВОР
Ръководството за семинарни упражнения по Дискретни струк-
тури е предназначено за студентите от специалности „Компютърни
системи и технологии“ и „Софтуерни и интернет технологии“ в
Технически Университет-Варна. Ръководството е съобразено с
приетата учебна програма по едноименната дисциплина „Дискретни
структури“, включена като задължителна в държавните изисквания
за специалността. Изложеният материал може да бъде използван за
подготовка по дисциплината и от студенти по същата специалност в
други технически университети или от студенти, обучавани в
сродни специалности.
Основната цел на ръководството е да затвърди знанията на
студентите, получени от лекционния материал, чрез разглеждане на
примери и самостоятелно решаване на задачи, свързани с мо-
делиране на поведението на дискретни системи, по време на семи-
нарните упражнения. Ръководството е структурирано в 15 теми,
които съответстват на лекционния материал по дисциплината.
Подходите за моделиране и за решаване на задачи са представени
накратко в уводната част на всяка тема, като след това те са
онагледени и с подходящи и подробно разработени примери.
Следните по-важни теми формират съдържанието на ръководството:
- Множества, отношения и функции върху множества.
Регулярни множества и регулярни изрази.
- Формални граматики и езици. Синтактични графи.
- Абстрактни автомати. Машина на Тюринг. Крайни и стекови
автомати. Базови и частично рекурсивни функции.
- Паралелни системи и процеси. Мрежи на Петри. Мрежови
езици. Координиране и синхронизиране на паралелни процеси.

- Абстрактни информационни структури. Представяне на
модели.
- Математическа логика. Съждителна логика. Предикатна
логика. Машина за логически извод. Резолюция и инификация.