Μαθηματική Λογική
Ενότητες
Ενότητα 7: Πρωτοβάθμιες γλώσσες
Εισάγονται οι πρωτοβάθμιες γλώσσες, δηλαδή οι τυπικές γλώσσες που χρησιμοποιούνται στην κατηγορηματική λογική, καθορίζονται οι επιτρεπτοί τρόποι κατασκευής πρωτοβάθμιων τύπων, ορίζεται η έννοια της δομής (ερμηνείας) και παρουσιάζεται ο ορισμός του Tarski για την ικανοποίηση κατηγορηματικού τύπου στο πλαίσιο δομής.
Λέξεις κλειδιά: πρωτοβάθμια γλώσσα, πρωτοβάθμιος τύπος, κατηγορηματική λογική, δομή, ερμηνεία, αποτίμηση, πρόταση, ορισμός ικανοποίησης Tarski
Βιντεοδιαλέξεις | ||
| Ενότητα 7 - Πρωτοβάθμιες γλώσσες | ||
