Διακριτά Μαθηματικα
Σύντομα διαθέσιμα!Θεματικές Ενότητες:
1. Λογική και Προτάσεις: Προτάσεις. Η λογική των σύνθετων προτάσεων. Ποσοτικοποιημένες προτάσεις.
2. Θεωρία Αριθμών και Μέθοδοι Απόδειξης: Στοιχειώδης θεωρία αριθμών. Μέθοδοι απόδειξης.
3. Ακολουθίες και Αναδρομικές Σχέσεις: Ακολουθίες. Μαθηματική επαγωγή. Αναδρομικές σχέσεις και αλγόριθμοι.
4. Σύνολα και Συνδυαστική: Σύνολα και πράξεις συνόλων. Η αρχή του εγκλεισμού και του αποκλεισμού. Συνδυασμοί και μεταθέσεις. Διατεταγμένα σύνολα.
5. Γλώσσες και Γραμματικές: Γλώσσες και γραμματικές. Υπολογισιμότητα και τυπικές γλώσσες.
6. Γράφοι και Δένδρα: Γράφοι: Ορισμοί, μονοπάτια Euler και Hamilton. Δυαδικά δέντρα αναζήτησης και ιδιότητες.
7. Άλγεβρες Boole: Άλγεβρες Boole: Βασικές έννοιες και εφαρμογές.
8. Μηχανές Πεπερασμένων Καταστάσεων: Μηχανές πεπερασμένων καταστάσεων. Μηχανές πεπερασμένων καταστάσεων ως μοντέλα φυσικών συστημάτων. Πεπερασμένα ντετερμινιστικά αυτόματα.
