Annonces du cours Θέματα Φιλοσοφίας των Μαθηματικών και της Λογικής

Εξετάσεις: Θέματα Φιλοσοφίας των Μαθηματικών και της Λογικής

Sat, 10 Feb 2024 11:06:17 +0300

Αγαπητοί φοιτητές και φοιτήτριες,

Όπως θα ξέρετε, η εξέταση της 14ης Φεβρουαρίου θα γίνει με προφορικές εξετάσεις εξ αποστάσεως. Οι ερωτήσεις θα είναι απλές, θα καλύπτουν ωστόσο μία ευρεία γκάμα του μαθήματος. Οι φοιτητές επομένως αναμένεται να γνωρίζουν τη βασική ύλη όλου του μαθήματος. Με δεδομένη την απλότητα των ερωτημάτων οι εξεταζόμενοι οφείλουν να απαντούν γρήγορα. Θα υπάρχουν ερωτήσεις τόσο υπ' τη μορφή πολύ απλών εφαρμογών (απλές μεταφράσεις) όσο και επί των μεταφραστικών τεχνικών και των τεχνικών κατασκευής δεδροδιαγραμμάτων. Καλούνται επίσης όσοι φοιτητές προτίθενται να εξεταστούν να το δήλωσουν μέχρι την ερχόμενη Δευτέρα το μεσημέρι με αποστολή μηνύματος στο e-class προκειμένου να γίνει ο κατάλληλος προγραμματισμός διαχείρισης χρόνου. Η εξέταση θα αρχίσει στις 8:30 με τον έλεγχο των ταυτοτήτων. Η εξέταση θα λάβει χώρα στον ακόλουθο σύνδεσμο webex:

https://uoa.webex.com/uoa/j.php?MTID=mfef83aecf258203eecfd374cdb011828

Password: pAuAF22xus6

Η πρόσβαση επιτρέπεται μόνον μέσω ιδρυματικού λογαριασμού. Για περαιτέρω πληρ. παρακαλώ αποστείλατε ηλεκτρονικό μήνυμα.

Ευχαριστώ

Κανονική διεξαγωγή των εξετάσεων του Μαθήματος

Fri, 27 Jan 2023 12:13:24 +0300

Οι εξετάσεις του μαθήματος θα γίνουν σήμερα ημέρα Παρασκευή στις 18:00 όπως ήταν στο αρχικό πρόγραμμα

Εξεταστέα ύλη μαθήματος και οδηγίες εξέτασης

Thu, 19 Jan 2023 14:20:03 +0300

Μπορεί κανείς να μελετήσει είτε από το βιβλίο του Smith, An Introduction to Formal Logic-Cambridge University Press (2003) είτε από το βιβλίο των Αναπολιτάνου, Πορτίδη, Ψύλλου, αν και το τελευταίο ακολουθεί κάπως πιο αφηρημένη μέθοδο δενδροδιαγραμματικών αποδείξεων και δεν καλύπτει τα θέματα των αριθμητικών ποσοδεικτών και των οριστικών περιγραφών που είναι στην ύλη. Τα θέματα όμως αυτά μπορούν να μελετηθούν από τις σημειώσεις που βρίσκονται στη η-τάξη (αν και οι σημειώσεις απευθύνονται κυρίως σε όσους παρακολούθησαν τις παραδόσεις).

Από το βιβλίο του Smith κάλυψα τα εξής μέρη: κεφ: 21, 22, 23, 24 (πολύ σημαντικό), 25 (πολύ σημαντικό), από το 27 τις ενότητες 1, 2, 3, 4, και 5. Από το 28 τις ενότητες 1, 6 (πολύ σημαντική), κεφ. 29 (πολύ σημαντικό), κεφ. 32, 33 (πολύ σημαντικό, ειδικά η ενότητα 2), 34 και 35 (πού σημαντικά και τα δύο. Το μεγαλύτερο μέρος των κεφ. 33 και 34 δεν καλύπτεται από το βιβλίο των ΑΠΨ.

Από το βιβλίο των ΑΠΨ καλύφθηκαν τα εξής κεφάλαια (όλα από το δεύτερο μέρος του βιβλίου): 7, 8, 9 (εκτός από την ενότητα 9.6 –το κεφάλαιο αυτό είναι πολύ σημαντικό), 10 (πολύ σημαντικό γιατί περιέχει τους κανόνες των δενδροδιαγραμματικών αποδείξεων), κεφ 11 (ειδικά οι ενότητες 1 και 2), και τέλος το κεφ. 13.

Γενικά το βιβλίο των ΑΠΨ είναι μαθηματικά πιο απαιτητικό και καλύπτει λιγότερη ύλη.

Η εξέταση θα περιλαμβάνει κυρίως δενδροδιαγραμματικές αποδείξεις (και με το σύμβολο της ταυτότητας), μεταφράσεις από τα ελληνικά στη γλώσσα του ΚΛ (συμπεριλαμβανομένων και αριθμητικών προτάσεων και προτάσεων που περιέχουν οριστικές περιγραφές) και πολύ λίγες απλές ασκήσεις απόδειξης της ακυρότητας επιχειρημάτων με την κατασκευή αντιπαραδειγμάτων (για αυτό το τελευταίο βλ Smith κεφ. 28 εν. 6 – το θέμα δεν καλύπτεται από στο βιβλίο των ΑΠΨ). Πρακτικά μιλώντας, όσοι παρακολούθησαν συστηματικά τις παραδόσεις δεν θα χρειαστούν πολλά περισσότερα από τις σημειώσεις που έχω ανεβάσει στην η-τάξη. Για όσους δεν τις παρακολούθησαν, οι σημειώσεις μπορεί να μην είναι κατανοητές και θα χρειαστούν να μελετήσουν συστηματικά ένα από τα δύο βιβλία.

Αλλαγή αίθουσας για το μάθημα της Παρασκευής

Tue, 06 Dec 2022 19:59:24 +0300

Οπως μας πληροφορεί ο Πρόεδρος του τμήματος οι αίθουσες διδασκαλίας δεν θα είναι διαθέσιμες την Παρασκευή 9/12/22 λόγω επισκευαστικών εργασιών. Το μάθημα ωστόσο μπορεί να διαξαχθεί δια ζώσης στην αίθουσα Γκονταρούλη (στο κτήριο της Γραμματείας) η οποία είναι κενή 12:00 με 3:00. Ο αριθμός των φοιτητών είναι μικρός και έτσι δεν θα υπάρξει πρόβλημα.

Επείγον - Αλλαγή ημερομηνίας εξέτασης

Mon, 07 Feb 2022 10:51:36 +0300

Πληροφορούνται οι φοιτητές και φοιτήτριες που επιθυμούν να εξεταστούν στο μάθημα Θέματα Φιλοσοφίας των Μαθηματικών και της Λογικής πως η ημερομηνία της εξέτασης άλλαξε. Η εξέταση θα γίνει τη Δευτέρα 14-2-22 και ώρα 15:00 - 18:00 και όχι την Τρίτη 15-2-22 όπως αρχικά είχε ανακοινωθεί.

Διαδικτυακό μάθημα για Παρασκευή 12/11/21

Thu, 11 Nov 2021 23:02:27 +0300

Για το αυριανό μάθημα θα χρησιμοποιηθεί ο σύνδεσμος

https://us02web.zoom.us/j/98931465919?pwd=aEJGazhvZVZqbXM1ZmdLVnRRQ28xQT09

Passcode: 004182

Αναβολή του αυριανού μαθήματος Παρασκευή 15/10/21

Thu, 14 Oct 2021 23:13:12 +0300

Αύριο λόγω των εκτάκτων καιρικών συνθηκώς δεν θα γίνουν μαθήματα στο Πανεπιστήμιο Αθηνών

Ειδοποίηση για την αυριανή εξέταση 26-1-2021 (συνέχεια)

Mon, 25 Jan 2021 22:31:18 +0300

Παρακαλώ όλοι να έχετε κατά την εξέταση τις κάμερες ανοικτές. Η επίδειξη φοιτητικής ταυτότητας είναι απαραίτητη. Επίσης να διαθέτετε χαρτιά και στυλό καθώς θα κληθείτε, εκτός από τις προφορικές απαντήσεις, να λύσετε γραπτά ασκήσεις και να μου δείξετε τις λύσεις στην κάμερα.

Ειδοποίηση για την αυριανή εξέταση 26-1-2021

Mon, 25 Jan 2021 22:07:46 +0300

Για την αυριανή προφορική εξέταση θα χρησιμοποιηθεί ο σύνδεσμος του μαθήματος:

https://us02web.zoom.us/j/84726486714?pwd=TGU3alFqaUErMnZZcG5XRmZvWC9zQT09

Password: 7PzEye

Θα παρακαλούσα όσοι προσέλθουν στην εξέταση να μπουν στις 2:50 ακριβώς. Στη συνέχεια οι φοιτητές θα εξετάζονται ανά δύο με σειρά που θα συμφωνηθεί στην αρχή

Εξαιρέσεις από την εξεταστέα ύλη

Tue, 19 Jan 2021 12:58:30 +0300

Ειδικά για φέτος η εξεταστέα ύλη θα είναι η ύλη που ορίζεται στο σχετικό αρχείο που βρίσκεται στα έγγραφα της η-τάξης εκτός από τα ακόλουθα: (α) Δενδροδιαγράμματα με τη χρήση του συμβόλου ταυτότητας (ωστόσο όλα τα υπόλοιπα δενδροδιαγράμματα είναι εντός της ύλης (β) Μεταφράσεις προτάσεων με οριστικές περιγραφές.

Ασκήσεις

Tue, 19 Jan 2021 12:50:36 +0300

Απαντήστε σε όσα περισσότερα ερωτήματα από τις ασκήσεις 25 και 29 μπορείτε

Ασκήσεις

Tue, 15 Dec 2020 16:45:00 +0300

Παρακαλώ προσπαθήστε αφού μελετήσετε το σχετικό φυλλάδιο να μεταφράσετε στη γλώσση του κατηγ. λογισμού τις προτάσεις της άσκησεις 23Α και 24Α

Επέτειος εξέγερσης πολυτεχνείου

Mon, 16 Nov 2020 12:26:36 +0300

Υπενθυμίζεται ότι δεν στις 17-11 δεν γίνονται μαθήματα. Τα λέμε την επόμενη εβδομάδα.

Επέτειος εξέγερσης πολυτεχνείου

Mon, 16 Nov 2020 12:23:35 +0300

Αναβολή μαθήματος Τριτης 3/11/20

Tue, 03 Nov 2020 08:21:20 +0300

Το μάθημα αναβάλλεται για σήμερα Τρίτη 3/11/2020 λόγω αιφνίδιας ασθένειας του διδάσκνοτος σήμερα το πρωί. Το μάθημα θα αναπληρωθεί. Λυπούμαι για κάθε δυσχέρεια που αυτό μπορεί να προκαλέσει.

Διαδικτυακό μάθημα

Sun, 01 Nov 2020 12:11:38 +0300

¨Οπως θα έχετε ίσως πληροφορηθεί όλα τα μαθήματα εξεξής θα γίνονται διαδικτυακά. Ο σύνδεσμος για το μάθημα είναι ο ακόλουθος:

https://us02web.zoom.us/j/84726486714?pwd=TGU3alFqaUErMnZZcG5XRmZvWC9zQT09

Password: 7PzEye

Ηλεκτρονική Αξιολόγηση Μαθήματος

Sun, 19 Jan 2020 20:55:49 +0300

Ενημερώνουμε τους φοιτητές (που έχουν δηλώσει το μάθημα) ότι είναι διαθέσιμη η ηλεκτρονική αξιολόγηση του μαθήματος στον σύνδεσμο https://submit.survey.uoa.gr/ με τη συμπλήρωση ανώνυμου ηλεκτρονικού ερωτηματολογίου. Το ίδιο ισχύει και για όλα τα υπόλοιπα μαθήματα που διδάσκονται κατά το χειμερινό εξάμηνο 2019-20. Η ηλεκτρονική αξιολόγηση είναι δυνατή μέχρι 26-1-2020. Για περισσότερες πληροφορίες, δείτε κα τη σχετική ανακοίνωση που αναρτήθηκε την 17-1-2020 στην ιστοσελίδα του Τμήματος ΙΦΕ.