Ръководство по дискретна математика

Предговор                                                                                                                    

1. Теория на множествата                                                                                     

1.1. Операции с множества

1.2. Наредени двойки. Декартово произведение

1.3. Компютърно представяне на множества

1.4. Принцип на включването и изключването

2. Функции и релации                                                                                             

2.1. Функции

2.1.1. Основни дефиниции

2.1.2. Операции над функции

2.2. Релации

3. Теория на графите. Дървета                                                                            

3.1. Графи

3.1.1. Движения през граф

3.1.2. Ойлеров и Хамилтънов граф

3.1.3. Изоморфизъм

3.2. Дървета

3.2.1. Основни дефиниции и свойства

3.2.2. Обхождане на дърво

3.2.3. Expression дървета

4. Математическа логика                                                                                       

4.1. Съждително смятане

4.1.1. Логически оператори

4.1.2. Тавтология и еквивалентност

4.2. Предикатна логика

5. Двоични функции                                                                                                

5.1. Основни свойства

5.2. Полином на Жегалкни

5.3. Затворени множества

5.4. Пълни множества от двоични функции

А CAS Woffram Mathematica                                                                                 

А.1. Теория на множествата

А.2. Функции и релации

А.2.1. Функции

А.2.2. Релации

А.З. Теория на графите. Дървета

А.3.1. Графи

А.3.2. Дървета

А.4. Математическа логика

А.5. Двоични функции

Библиография