Μάθημα : Μαθηματική Λογική

Καλησπέρα σε όλα,

Οι βαθμοί της εξεταστικής Εαρινού βρίσκονται στα Έγγραφα. Δείτε παρακαλώ τα παρακάτω πριν μου γράψετε.

1) Δεν θα υπάρξει επίδειξη γραπτών.

2) Δεν βλέπω e-mail που στέλνονται σε άλλη διεύθυνση πλην της jlivier89@math.uoa.gr.

3) Δεν υπάρχει απολύτως κανένας λόγος να στέλνετε περισσότερα του ενός e-mail, καθώς τσεκάρω το (κατά βάση μη λειτουργικό) spam folder μου.

4) Στο Θ1, φυσικά κι ένας τύπος μπορεί να είναι έγκυρος ακόμη κι αν δεν είναι πρόταση. 

5) Στο Θ2, δεν όρισα ακριβώς τα σύμβολα της LNT για να σας επιτρέψω να το κάνετε εσείς, ρητά όμως. Αλλά όπως και να χει, γλώσσα με άπειρα σύμβολα δεν θέλαμε. Ως εκ τούτου γλώσσα που να μπορούσε να χει σύμβολα σταθεράς a,b για οποιουσδήποτε φυσικούς, δεν είναι αποδεκτή.

6) Στο Θ3, το πα και την ώρα της εξέτασης ότι δεν ζητούσα κάποιου είδους περίληψη, ή ελεύθερη σκέψη, πάνω στην απόδειξη των θεωρημάτων πληρότητας και ορθότητας. Πόσο μάλλον το να χρησιμοποιήσετε τα θεωρήματα πληρότητας και ορθότητας για να αποδείξετε... τα θεωρήματα πληρότητας και ορθότητας. Ζητούσα να πάρετε ως δεδομένη την ισοδυναμία που σας έδωσα και να αποδείξετε μέσω αυτής τα θεωρήματα ορθότητας/πληρότητας.

7) Στο Θ4, το κατηγόρημα P δεν υποχρέωνε μόνον το σύνολο να είναι άπειρο, αλλά να χει και άπειρο συμπλήρωμα.

8) Ασχέτως με το αν είχατε βάλει ρήτρα στο γραπτό σας, γράψτε μου αν θέλετε να μην κρατήσω τον βαθμό και να επανεξεταστείτε τον Σεπτέμβρη.

Γιάννης