Θέμα: Σημειώσεις και Ύλη - "Μαθηματική Λογική"

Επισυνάπτοναται μία σειρά από αρχεία με όλο το προς μελέτη υλικό για το μάθημα της Μαθηματικής Λογικής.
Ειδικώτερα επισυνάπτονται:

_ Το παλαιό βιβλίο (αρχείο με τίτλο Logic Teliko). Από αυτό έχετε να διαβάσετε τα κεφάλαια 2, 5 και 6 (που περιλαμβάνουν τη βασική Προτασιακή και Κατηγορηματική Λογική). Επίσης μπορείτε να συμβουλευτείτε την παράγραφο 4.2 (εφαρμογές του Θεωρήματος του Συμπαγούς της Προτασιακής Λογικής) και τις σχετικές ασκήσεις 4.3. Προσοχή, υπάρχουν πάρα πολλές αβλεψίες και τυπογραφικά λάθη, ειδικά στο κεφάλαιο 2.

_ Το αρχείο boole_alg περιέχει σημειώσεις για δικτυωτά και άλγεβρες Boole, όπως ειπώθηκαν στο μάθημα.

_ Το αρχείο formal_proof_compl περιέχει σημειώσεις περί τυπικής απόδειξης και του Θεωρήματος Πληρότητας για την Προτασιακή Λογική (καθώς επίσης και το Θεώρημα του Συμπαγούς, ως εφαρμογή. Με αυτήν την έννοια η απόδειξη που δίνεται στην παράγραφο 4.1 καθώς και ολόκληρο το κεφάλαιο 3 του παλαιού βιβλίου πλεονάζουν).

_ Το αρχείο compact_predic_logic περιέχει μία απόδειξη και εφαρμογές του Θεωρήματος του Συμπαγούς για την Κατηγορηματική Λογική, τα οποία θα παρουσιαστούν προσεχώς.

_ Το αρχείο predicate_logic_slides περιέχει τις διαφάνεις που χρησιμοποιήθηκαν στις τελευταίες παραδόσεις.


Καλό διάβασμα, Καλή Ανάσταση