Дискретни структури - учебник за ВУЗ

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




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



Учебно пособие


Варна
2015

УДК 519.21: 519.87 (076)

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





















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

ISВN …………..

ПРЕДГОВОР

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