Μαθηματική Λογική
Συντονιστές: markelos, Ryu, meleneemil, Nasia!
Re: Μαθηματική λογική
Γνωρίζει κανείς ποια είναι η ύλη για φέτος; Συστήματα Gentzen τελικά είναι μέσα ή αντικατασταθήκανε από αναδρομικές συναρτήσεις, αριθμητικοποίηση του Goedel και τέτοια;
- armaos
- Δημοσιεύσεις: 258
- Εγγραφή: Τρί Νοέμ 06, 2007 8:43 pm
- Real Name: Αρμαος
- Gender: Male
- Facebook ID: 0
- Επικοινωνία:
Re: Μαθηματική λογική
καλα ρε παιδια, παρακολουθησε κανεις το μαθημα φετος η απλως δεν υπαρχει ενδιαφερον να απαντησει κανεις; ειναι απο τα τελευταια μας μαθηματα. μια βοηθεια θα ηταν πολυ χρησιμη, ισως και σωτηρια!
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
Νομίζω είναι όπως τις άλλες χρονιές η ύλη και τα συστήματα Gentzen είναι μέσα. Δεν ξέρω με σιγουριά όμως γιατί σταμάτησα να παρακολουθώ από κάποια στιγμή και πέρα. Τώρα για ασκήσεις δεν ξέρω. Γενικά μήπως κάποιος ξέρει κανένα καλό link στο net που να έχει παραδείγματα σε tableaux ktl? (γιατί κάποια που έχουν δώσει δεν δουλεύουν)
- theos
- Δημοσιεύσεις: 762
- Εγγραφή: Κυρ Νοέμ 05, 2006 4:53 am
- Real Name: Αριστοτέλης-Εμμανουήλ Θάνος-Φίλης (Μάνος) ge04017
- Gender: Male
- Τοποθεσία: Alwaysland
Re: Μαθηματική λογική
Για τους μεταπτυχιακούς η ύλη του μαθήματος είναι οι σημειώσεις που υπάρχουν τώρα στο site. Δηλαδή είναι εκτός ύλης τα tableau και τα συστήματα Gentzen. Δεν παρακολούθησα ούτε μία φορά το μάθημα, αλλά μου είπαν τηλεφωνικώς ότι το μάθημα διδασκόταν αρχικά ταυτόχρονα σε σεμφε σημμυ και μεταπτυχιακούς και κάποια στιγμή συνέχισε μόνο για τους μεταπτυχιακούς goedelοθεωρία και αναδρομικές συναρτήσεις. Δεν ξέρω αν παράλληλα έκανε δεύτερο τμήμα για τους προπτυχιακούς και τους έκανε tableau και gentzen, αλλά γνωρίζοντας λίγο τον Κολέτσο το θεωρώ εξαιρετικά απίθανο.
Επιπλέον, πόσο λογικό είναι να είναι κάτι στην ύλη, το οποίο δεν το έχει ανεβάσει στο site του;
Επιπλέον, πόσο λογικό είναι να είναι κάτι στην ύλη, το οποίο δεν το έχει ανεβάσει στο site του;
Λογική είναι η τέχνη να κάνεις λάθος με αυτοπεποίθηση!!!
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
Ωχ! τώρα το παρατήρησα αυτό για τις σημειώσεις. Άρα ναι έχει αλλάξει η ύλη
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
παιδιά αν κάποιος μπορεί να με βοηθήσει με 3 απορίες:
1) στην άσκηση που λέει αποδείξτε το θεώρημα της συμπάγειας με βάση τα θεωρήματα ορθότητας και πληρότητας
2)έχει κανείς καμιά ιδέα για την άσκηση 3ιι της επαναληπτικής 2005?(http://semfe.gr/files/users/724/ma8hmat ... epan05.pdf
3)τελικά δεν διαβάζουμε Gentzen και tableaux (αν και νομίζω έχει απαντηθεί)?
1) στην άσκηση που λέει αποδείξτε το θεώρημα της συμπάγειας με βάση τα θεωρήματα ορθότητας και πληρότητας
2)έχει κανείς καμιά ιδέα για την άσκηση 3ιι της επαναληπτικής 2005?(http://semfe.gr/files/users/724/ma8hmat ... epan05.pdf
3)τελικά δεν διαβάζουμε Gentzen και tableaux (αν και νομίζω έχει απαντηθεί)?
- theos
- Δημοσιεύσεις: 762
- Εγγραφή: Κυρ Νοέμ 05, 2006 4:53 am
- Real Name: Αριστοτέλης-Εμμανουήλ Θάνος-Φίλης (Μάνος) ge04017
- Gender: Male
- Τοποθεσία: Alwaysland
Re: Μαθηματική λογική
Οι σημειώσεις έχουν αλλάξει (ξανακατέβασέ τις):
1)σελίδα61
2)σελίδα49 Περίπτωση 2
3)Ότι σας φωτίσει ο θεός αφού δεν απαντάει κανείς προπτυχιακός
1)σελίδα61
2)σελίδα49 Περίπτωση 2
3)Ότι σας φωτίσει ο θεός αφού δεν απαντάει κανείς προπτυχιακός
Λογική είναι η τέχνη να κάνεις λάθος με αυτοπεποίθηση!!!
- kostas213
- Forum Administrator
- Δημοσιεύσεις: 1531
- Εγγραφή: Τρί Νοέμ 28, 2006 8:03 pm
- Real Name: Κωνσταντίνος
- Gender: Male
- Τοποθεσία: Zürich
Re: Μαθηματική λογική
Κατάλαβα, όλοι στο φλου θα πάμε αύριο. Ελπίζω να μη βρεθούμε μπροστά σε δυσάρεστες εκπλήξεις.
There's no place like ::1
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
εν τω μεταξύ παιδιά στο shmmy.ntua έχει αναρτηθεί το εξής:
Η εξέταση του μαθήματος "Μαθηματική Λογική για Υπολογιστές" θα γίνει στις 6 Ιουλίου, ημέρα Τρίτη, και ώρα 12.00μμ στο αμφ. 4 ΓΕ, και στις 7 Ιουλίου, ημέρα Τετάρτη, ώρα 12:00μμ, στην αίθουσα Β01 στα νέα κτίρια ηλεκτρολόγων.
Τελευταία Ενημέρωση στις Δευτέρα, 21 Ιούνιος 2010 12:09
για όσους δεν το έχουν δει, με ότι σημαίνει το παραπάνω : P
Η εξέταση του μαθήματος "Μαθηματική Λογική για Υπολογιστές" θα γίνει στις 6 Ιουλίου, ημέρα Τρίτη, και ώρα 12.00μμ στο αμφ. 4 ΓΕ, και στις 7 Ιουλίου, ημέρα Τετάρτη, ώρα 12:00μμ, στην αίθουσα Β01 στα νέα κτίρια ηλεκτρολόγων.
Τελευταία Ενημέρωση στις Δευτέρα, 21 Ιούνιος 2010 12:09
για όσους δεν το έχουν δει, με ότι σημαίνει το παραπάνω : P
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
σε ευχαριστώ πάρα πολύ theos : ) όντως σε κάποια σημεία έχουν αλλάξει οι σημειώσεις
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
παιδιά όσοι έδωσαν σήμερα τι θέματα έπεσαν? Έπεσαν tableaux ktl?
- Hengeo
- Δημοσιεύσεις: 1478
- Εγγραφή: Τρί Φεβ 20, 2007 1:57 pm
- Real Name: Γιώργος
- Gender: Male
- Facebook ID: 0
- Τοποθεσία: Η πιο γλυκιά πατρίδα είναι η καρδιά..
Re: Μαθηματική λογική
Tableux και Gentzen δεν έβαλε καθόλου. Προτασιακός λογισμός, σύνδεσμοι, συμπάγεια, πρωτοβάθμια κατηγορηματική λογική έβαλε. Θα ανεβάσω τα θέματα μόλις βρω χρόνο..
Άνθρωπε γνώρισε τον εαυτό σου και θα γνωρίσεις το σύμπαν και τους θεούς - Δελφικό ρητό
-
- Δημοσιεύσεις: 21
- Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
- Real Name: johny
- Gender: Male
- Facebook ID: 0
Re: Μαθηματική λογική
α ωραία , ναι ανέβασε τα να μας σώσεις λίγο
Re: Μαθηματική λογική
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???
telika o koletsos exei lusei kamia askisi pote..?exei kaneis fetines tou simeiwseis???