Μαθηματική Λογική
Πολυμέσα
| Κατηγορίες πολυμεσικών αρχείων | Ημερομηνία | |
|---|---|---|
| Ενότητα 1 - Εισαγωγή | ||
| Ενότητα 10 - Κατηγορηματικός λογισμός | ||
| Ενότητα 11 - Εγκυρότητα και πληρότητα κατηγορηματικού λογισμού | ||
| Ενότητα 2 - Η τυπική προτασιακή γλώσσα | ||
| Ενότητα 3 - Ταυτολογικές συνεπαγωγές | ||
| Ενότητα 4 - Πλήρη σύνολα συνδέσμων | ||
| Ενότητα 5 - Προτασιακός λογισμός | ||
| Ενότητα 6 - Εγκυρότητα και πληρότητα προτασιακού λογισμού | ||
| Ενότητα 7 - Πρωτοβάθμιες γλώσσες | ||
| Κατηγορηματική Λογική – Πρωτοβάθμιες γλώσσες Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τα δομικά στοιχεία μίας πρωτοβάθμιας γλώσσας της Κατηγορηματικής Λογικής, κατασκευή τύπων της Κατηγορηματικής Λογικής, η έννοια της δομής για πρωτοβάθμια γλώσσα, η δομή για την πρωτοβάθμια γλώσσα της Αριθμητικής. |
27/3/13 | |
| Ορισμός αλήθειας του Tarski Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ O ορισμός αλήθειας του Tarski, παράδειγμα εφαρμογής στη δομή για την Πρωτοβάθμια γλώσσα της Αριθμητικής. |
1/4/13 | |
| Πρωτοβάθμιες γλώσσες – Δομή και ορισμός αλήθειας του Tarski Δημιουργός: Κώστας Δημητρακόπουλος, Εκδότης: ΕΘΝΙΚΟ ΚΑΙ ΚΑΠΟΔΙΣΤΡΙΑΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Η δομή για την Πρωτοβάθμια γλώσσα της Αριθμητικής, το παράδειγμα των αρνητικών ακεραίων, ο ορισμός αλήθειας του Tarski, η διαφορά μεταξύ ελεύθερης και δεσμευμένης μεταβλητής. |
27/3/13 | |
| Ενότητα 8 - Λογικές συνεπαγωγές | ||
| Ενότητα 9 - Κανονική ποσοδεικτική μορφή | ||
