Θεωρία Υπολογισμού

Στην ενότητα αυτή θα γίνει μια εισαγωγή στις έννοιες: Διαμέριση, Γραφήματα (Υπογράφημα, Κατηγορίες Γραφημάτων, Κατευθυνόμενο, Γράφημα, Διαδρομές και Κύκλοι, Συνεκτικότητα, Δένδρα, Κατευθυνόμενα Γραφήματα & Σχέσεις), Λέξεις & Γλώσσες και Αποδείξεις (Είδη Αποδείξεων, Απόδειξη με Κατασκευή, Απαγωγή σε Άτοπο, Επαγωγή).

Λέξεις κλειδιά: Διαμέριση, Γραφήματα (Γράφοι), Λέξεις & Γλώσσες, Αποδείξεις