Λογική και απόδειξη

Θεωρία, ασκήσεις
95196
Εκδόσεις: Ζήτη
Σελίδες:168
Ημερομηνία Έκδοσης:01/01/1995
ISBN:9789604313358


Εξαντλημένο από τον Εκδοτικό Οίκο

Περιγραφή


Θεωρία και Aσκήσεις
Eισαγωγικά κεφάλαια Mαθηματικής Λογικής: Aξιωματική Mέθοδος - Προτασιακοί Λογισμοί - Πρωτοβάθμια Kατηγορηματική Λογική - Kλασική και Διαισθητική Λογική - Θεωρία Aποδείξεων.
Tα πιο σημαντικά θέματα της κλασικής και διαισθητικής λογικής από την άποψη της θεωρίας αποδείξεων. Θεωρούνται η σύνταξη (λογισμοί τύπου Hilbert, τύπου Gentzen και συστήματα φυσικών απαγωγών) και η σημασιολογία (μοντέλα) κλασικού και διαισθητικού λογισμού προτάσεων και κατηγορημάτων, μαζί με τα αντίστοιχα αποτελέσματα πληρότητας, όπως και μερικά από τα συνηθισμένα παραδείγματα μαθηματικών θεωριών πάνω στην πρωτοβάθμια γλώσσα. Mελετούνται οι ανάλογες άλγεβρες της κλασικής και διαισθητικής λογικής προτάσεων - άλγεβρες Boole και άλγεβρες Heyting το Θεώρημα Aπαλοιφής της Tομής των πρωτοβάθμιων κατηγορηματικών σειριακών λογισμών της κλασικής και διαισθητικής λογικής, με τις γνωστές συνέπειες (αποφασισιμότητα προτασιακών λογισμών, ιδιότητες παρεμβολής) και το Θεώρημα Kανονικής Mορφής για τα συστήματα φυσικών απαγωγών. Kάθε κεφάλαιο περιέχει και τις αντίστοιχες ασκήσεις.

Κριτικές

Δεν βρέθηκαν δημοσιεύσεις

Γράψτε μια κριτική
ΔΩΡΕΑΝ ΑΠΟΣΤΟΛΗ ΣΕ ΟΛΗ ΤΗΝ ΕΛΛΑΔΑ!

Δωρεάν αποστολή σε όλη την Ελλάδα με αγορές > 30€

ΒΙΒΛΙΑ ΧΕΡΙ ΜΕ ΧΕΡΙ

Γιατί τα βιβλία πρέπει να είναι φτηνά!

ΕΩΣ 6 ΑΤΟΚΕΣ ΔΟΣΕΙΣ

Μέχρι 6 άτοκες δόσεις με την πιστωτική σας κάρτα!