Настоящият учебник въвежда в основните математически методи и формални средства за описание на компютърните системи.

Основната цел на учебника е формирането на понятиен апарат, на логическо, алгоритмично, количествено и релационно мислене и прилагане на формални модели в реални задачи. Изграждането на такъв вид мислене и култура е необходимо с оглед на тясната връзка между дискретната математика и съвременните компютърни системи.

Основните теми, които обхваща изложението са от важни области на дискретната математика като Теория на множествата, комбинаторика, Теория на графите, математическа логика, булева алгебра, формални езици и граматики, Теория на крайните автомати.

Към всяка тема са включени и разнообразни примери, които служат за илюстрация на теоретичния материал и подпомагат усвояването му, задачи за самопроверка на знанията, както и допълнителни задачи за самоподготовка.

Ключови думи: Вдъхновение за пролет