Μάθημα : Opencourse Διακριτά Μαθηματικά
Κωδικός : ICTE257
Προτασιακός Λογισμός
- Εισαγωγή στη Μαθηματική Λογική και τον Προτασιακό Λογισμό
- Κατανόηση της χρήσης των προτασιακών τελεστών και των τρόπων κατασκευής σύνθετων προτάσεων
- Περιγραφή των εννοιών της λογικής ισοδυναμίας και της ικανοποιησιμότητας
Έγγραφα
6. Προτασιακός_Λογισμός_oc.pdf