Автори: Стефка Толева-Стоименова , Светла Бойчева
ДИЗАЙН НА КОРИЦА: Дамян Дамянов
Дата на издаване:Ноември 2018
ISBN:978-954-28-2743-6
Страници:728
Корична цена:25 лв.
Настоящият учебник въвежда в основните математически методи и формални средства за описание на компютърните системи.
Основната цел на учебника е формирането на понятиен апарат, на логическо, алгоритмично, количествено и релационно мислене и прилагане на формални модели в реални задачи. Изграждането на такъв вид мислене и култура е необходимо с оглед на тясната връзка между дискретната математика и съвременните компютърни системи.
Основните теми, които обхваща изложението са от важни области на дискретната математика като Теория на множествата, комбинаторика, Теория на графите, математическа логика, булева алгебра, формални езици и граматики, Теория на крайните автомати.
Към всяка тема са включени и разнообразни примери, които служат за илюстрация на теоретичния материал и подпомагат усвояването му, задачи за самопроверка на знанията, както и допълнителни задачи за самоподготовка.
п | в | с | ч | п | с | н |
1 | 2 | 3 | 4 | 5 | ||
6 | 7 | 8 | 9 | 10 | 11 | 12 |
13 | 14 | 15 | 16 | 17 | 18 | 19 |
20 | 21 | 22 | 23 | 24 | 25 | 26 |
27 | 28 | 29 | 30 | 31 |