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