Ние използваме бисквитки за да може сайта да функционира пълноценно. Спазвайки директивата за електронните комуникации изискваме Вашето съгласие за използването на бисквитки. Научете повече.
Настоящият учебник въвежда в основните математически методи и формални средства за описание на компютърните системи.
Основната цел на учебника е формирането на понятиен апарат, на логическо, алгоритмично, количествено и релационно мислене и прилагане на формални модели в реални задачи. Изграждането на такъв вид мислене и култура е необходимо с оглед на тясната връзка между дискретната математика и съвременните компютърни системи.
Основните теми, които обхваща изложението са от важни области на дискретната математика като Теория на множествата, комбинаторика, Теория на графите, математическа логика, булева алгебра, формални езици и граматики, Теория на крайните автомати.
Към всяка тема са включени и разнообразни примери, които служат за илюстрация на теоретичния материал и подпомагат усвояването му, задачи за самопроверка на знанията, както и допълнителни задачи за самоподготовка.
Художник на корица: Дамян Дамянов
Поръчките от Онлайн книжарница Ciela.com се доставят от Спиди, Еконт и BoxNow за България, и от Български пощи за чужбина.
| Автор | Светла Бойчева и Стефка Толева-Стоименова |
|---|---|
| Издателство | Сиела |
| ISBN | 9789542827436 |
| Година на издаване | 2018 |
| Корица | Мека |
| Страници | 728 |
| Формат | 70/100/16 |
| Език | Български |
