ΣΕΜΦΕ forum

Παιδιά καλημέρα, το μέτρο θα δοθεί κανονικά την Τετάρτη ή όχι?

τα έχει αναρτήσει έξω από το γραφείο του?

ξέρουμε πότε θα βγει η λογική?

σε ευχαριστώ!

επειδή έχει κάποιο πρόβλημα το link του προγράμματος μπορείς να μας πεις τι πραγματεύεται αυτό το μάθημα,ποιος το κάνει τι μέρα, τι ώρα και πού( )? σε ευχαριστώ εκ των προτέρων

παιδιά τι παίζει με αυτό το θέμα φέτος? Έχω στείλει κάποιο mail αλλά πέρα βρέχει.Υπάρχει κάποιος που έχει κάνει την διαδικασία να μου πει τι χρειάζεται (ημερομηνίες αιτήσεις κτλ ) ?

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

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

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

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

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

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

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

ναι αυτό ήθελα να ρωτήσω δεν θα γίνει μάθημα σήμερα έτσι?

massive attack-live with me
http://www.youtube.com/watch?v=2LgrGHWSy6k