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