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