 |
ΠΑΝΕΠΙΣΤΗΜΙΟ
ΚΥΠΡΟΥ
|
| |
ΠΑΝΕΠΙΣΤΗΜΙΟ
ΚΥΠΡΟΥ
|
|
ΕΠΛ 111: Διακριτές Δομές στην Πληροφορική Εργασίες |
|
Υλικό |
Περιγραφή Διαλέξεων |
|
Διάλεξη |
Κεφάλαιο 1: Προτασιακή Λογική |
|
Διάλεξη |
Κεφάλαιο 2: Κατηγορική Λογική |
|
’σκηση |
Κατηγορική Λογική: Απόδειξη με αντίφαση |
|
Διάλεξη |
Κεφάλαιο 3: Μαθηματικός Συλλογισμός |
|
’σκηση |
|
|
Διάλεξη |
Κεφάλαιο 4: Σύνολα |
|
Διάλεξη |
Κεφάλαιο 5: Συναρτήσεις |
|
Διάλεξη |
Κεφάλαιο 6: Μαθηματική Επαγωγή |
|
Διάλεξη |
Κεφάλαιο 7: Βασικές Αρχές Απαρίθμησης |
|
Διάλεξη |
Κεφάλαιο 8: Διατάξεις και Συνδιασμοί |
|
Διάλεξη |
Κεφάλαιο 9: Αναδρομικές Σχέσεις |
|
Διάλεξη |
Κεφάλαιο 10: Σχέσεις |
|
Διάλεξη |
Κεφάλαιο 11:Σχέσεις Ισοδυναμίας |
|
Διάλεξη |
Κεφάλαιο 12: Μερικές Διατάξεις |
| fghwfdhf | |
|
Διάλεξη |
Κεφάλαιο 13: |
University of Cyprus, Department of Computer Science, © 2009