Τίτλος : Λογική και απόδειξη
Θεωρία, ασκήσεις Συγγραφέας : Μπόριτσιτς, Μπρανισλάβ ISBN : 9604313355 ISBN 13 : 9789604313358 Εκδόσεις : ΖΗΤΗ Χρονολογία έκδοσης : 1995 Σελίδες : 168 Τιμή: 12.22 euro
Περιγραφή : Tα πιο σημαντικά θέματα της κλασικής και διαισθητικής λογικής από την άποψη της θεωρίας αποδείξεων. Θεωρούνται η σύνταξη (λογισμοί τύπου Hilbert, τύπου Gentzen και συστήματα φυσικών απαγωγών) και η σημασιολογία (μοντέλα) κλασικού και διαισθητικού λογισμού προτάσεων και κατηγορημάτων, μαζί με τα αντίστοιχα αποτελέσματα πληρότητας, όπως και μερικά από τα συνηθισμένα παραδείγματα μαθηματικών θεωριών πάνω στην πρωτοβάθμια γλώσσα. Mελετούνται οι ανάλογες άλγεβρες της κλασικής και διαισθητικής λογικής προτάσεων - άλγεβρες Boole και άλγεβρες Heyting το Θεώρημα Aπαλοιφής της Tομής των πρωτοβάθμιων κατηγορηματικών σειριακών λογισμών της κλασικής και διαισθητικής λογικής, με τις γνωστές συνέπειες (αποφασισιμότητα προτασιακών λογισμών, ιδιότητες παρεμβολής) και το Θεώρημα Kανονικής Mορφής για τα συστήματα φυσικών απαγωγών. Kάθε κεφάλαιο περιέχει και τις αντίστοιχες ασκήσεις.
Εμφανίσεις : 1000
Αξιολόγηση βιβλίου :
Βαθμολογία:
Το βιβλίο δεν έχει βαθμολογηθεί ακόμα.
Κατηγορίες:
1076
Βιβλία :
151391
