ΣΕΜΦΕ forum

Γνωρίζει κανείς ποια είναι η ύλη για φέτος; Συστήματα Gentzen τελικά είναι μέσα ή αντικατασταθήκανε από αναδρομικές συναρτήσεις, αριθμητικοποίηση του Goedel και τέτοια;

καλα ρε παιδια, παρακολουθησε κανεις το μαθημα φετος η απλως δεν υπαρχει ενδιαφερον να απαντησει κανεις; ειναι απο τα τελευταια μας μαθηματα. μια βοηθεια θα ηταν πολυ χρησιμη, ισως και σωτηρια!

Νομίζω είναι όπως τις άλλες χρονιές η ύλη και τα συστήματα Gentzen είναι μέσα. Δεν ξέρω με σιγουριά όμως γιατί σταμάτησα να παρακολουθώ από κάποια στιγμή και πέρα. Τώρα για ασκήσεις δεν ξέρω. Γενικά μήπως κάποιος ξέρει κανένα καλό link στο net που να έχει παραδείγματα σε tableaux ktl? (γιατί κάποια που έχουν δώσει δεν δουλεύουν)

Για τους μεταπτυχιακούς η ύλη του μαθήματος είναι οι σημειώσεις που υπάρχουν τώρα στο site. Δηλαδή είναι εκτός ύλης τα tableau και τα συστήματα Gentzen. Δεν παρακολούθησα ούτε μία φορά το μάθημα, αλλά μου είπαν τηλεφωνικώς ότι το μάθημα διδασκόταν αρχικά ταυτόχρονα σε σεμφε σημμυ και μεταπτυχιακούς και κάποια στιγμή συνέχισε μόνο για τους μεταπτυχιακούς goedelοθεωρία και αναδρομικές συναρτήσεις. Δεν ξέρω αν παράλληλα έκανε δεύτερο τμήμα για τους προπτυχιακούς και τους έκανε tableau και gentzen, αλλά γνωρίζοντας λίγο τον Κολέτσο το θεωρώ εξαιρετικά απίθανο.

Επιπλέον, πόσο λογικό είναι να είναι κάτι στην ύλη, το οποίο δεν το έχει ανεβάσει στο site του;

Ωχ! τώρα το παρατήρησα αυτό για τις σημειώσεις. Άρα ναι έχει αλλάξει η ύλη

παιδιά αν κάποιος μπορεί να με βοηθήσει με 3 απορίες:
1) στην άσκηση που λέει αποδείξτε το θεώρημα της συμπάγειας με βάση τα θεωρήματα ορθότητας και πληρότητας
2)έχει κανείς καμιά ιδέα για την άσκηση 3ιι της επαναληπτικής 2005?(http://semfe.gr/files/users/724/ma8hmat ... epan05.pdf
3)τελικά δεν διαβάζουμε Gentzen και tableaux (αν και νομίζω έχει απαντηθεί)?

Οι σημειώσεις έχουν αλλάξει (ξανακατέβασέ τις):
1)σελίδα61
2)σελίδα49 Περίπτωση 2
3)Ότι σας φωτίσει ο θεός αφού δεν απαντάει κανείς προπτυχιακός

Κατάλαβα, όλοι στο φλου θα πάμε αύριο. Ελπίζω να μη βρεθούμε μπροστά σε δυσάρεστες εκπλήξεις.

εν τω μεταξύ παιδιά στο shmmy.ntua έχει αναρτηθεί το εξής:
Η εξέταση του μαθήματος "Μαθηματική Λογική για Υπολογιστές" θα γίνει στις 6 Ιουλίου, ημέρα Τρίτη, και ώρα 12.00μμ στο αμφ. 4 ΓΕ, και στις 7 Ιουλίου, ημέρα Τετάρτη, ώρα 12:00μμ, στην αίθουσα Β01 στα νέα κτίρια ηλεκτρολόγων.
Τελευταία Ενημέρωση στις Δευτέρα, 21 Ιούνιος 2010 12:09

για όσους δεν το έχουν δει, με ότι σημαίνει το παραπάνω : P

σε ευχαριστώ πάρα πολύ theos : ) όντως σε κάποια σημεία έχουν αλλάξει οι σημειώσεις

παιδιά όσοι έδωσαν σήμερα τι θέματα έπεσαν? Έπεσαν tableaux ktl?

Tableux και Gentzen δεν έβαλε καθόλου. Προτασιακός λογισμός, σύνδεσμοι, συμπάγεια, πρωτοβάθμια κατηγορηματική λογική έβαλε. Θα ανεβάσω τα θέματα μόλις βρω χρόνο..

α ωραία , ναι ανέβασε τα να μας σώσεις λίγο

Ανέβασα τα θέματα στο εργαλείο!

kalispera..exei kaneis lumenes askiseis apo anadromikes?einai mesa etsi den einai..?
telika o koletsos exei lusei kamia askisi pote..?exei kaneis fetines tou simeiwseis???