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