Πρωτοβάθμια κατηγορηματική Λογική
Η γλώσσα του πρωτοβάθμιου κατηγορηματικού λογισμού. Ποσοδείκτηση. Ελεύθερες και δεσμευμένες μεταβλητές. Η έννοια της πρότασης. Αντικατάσταση ελεύθερων μεταβλητών από όρους. Ερμηνεία της γλώσσας. Ο ορισμός της αλήθειας του Tarski. Μοντέλα συνόλου προτάσεων.<br/>Αξιωματικά συστήματα τύπου Hilber...
Κύριοι συγγραφείς: | Koletsos, Georgios, Κολέτσος, Γεώργιος |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/2302 |
Παρόμοια τεκμήρια
-
Μαθηματική λογική
ανά: Κολέτσος, Γεώργιος, κ.ά.
Έκδοση: (2016) -
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
Η λογική των προτάσεων, προτασιακός λογισμός
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
Αποδεικτικό σύστημα
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
Σύστημα Hilbert
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)