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

Συζητήσεις για μαθήματα του 4ου έτους στην κατεύθυνση Μαθηματικού Εφαρμογών.

Συντονιστές: markelos, Ryu, meleneemil, Nasia!

Άβαταρ μέλους
primelude
Δημοσιεύσεις: 19
Εγγραφή: Δευ Φεβ 18, 2008 5:58 pm
Real Name: primelude

Re: Μαθηματική λογική

Δημοσίευση από primelude »

Γνωρίζει κανείς ποια είναι η ύλη για φέτος; Συστήματα Gentzen τελικά είναι μέσα ή αντικατασταθήκανε από αναδρομικές συναρτήσεις, αριθμητικοποίηση του Goedel και τέτοια;
Άβαταρ μέλους
armaos
Δημοσιεύσεις: 258
Εγγραφή: Τρί Νοέμ 06, 2007 8:43 pm
Real Name: Αρμαος
Gender: Male
Facebook ID: 0
Επικοινωνία:

Re: Μαθηματική λογική

Δημοσίευση από armaos »

καλα ρε παιδια, παρακολουθησε κανεις το μαθημα φετος η απλως δεν υπαρχει ενδιαφερον να απαντησει κανεις; ειναι απο τα τελευταια μας μαθηματα. μια βοηθεια θα ηταν πολυ χρησιμη, ισως και σωτηρια!
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

Νομίζω είναι όπως τις άλλες χρονιές η ύλη και τα συστήματα Gentzen είναι μέσα. Δεν ξέρω με σιγουριά όμως γιατί σταμάτησα να παρακολουθώ από κάποια στιγμή και πέρα. Τώρα για ασκήσεις δεν ξέρω. Γενικά μήπως κάποιος ξέρει κανένα καλό link στο net που να έχει παραδείγματα σε tableaux ktl? (γιατί κάποια που έχουν δώσει δεν δουλεύουν)
Άβαταρ μέλους
theos
Δημοσιεύσεις: 762
Εγγραφή: Κυρ Νοέμ 05, 2006 4:53 am
Real Name: Αριστοτέλης-Εμμανουήλ Θάνος-Φίλης (Μάνος) ge04017
Gender: Male
Τοποθεσία: Alwaysland

Re: Μαθηματική λογική

Δημοσίευση από theos »

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

Επιπλέον, πόσο λογικό είναι να είναι κάτι στην ύλη, το οποίο δεν το έχει ανεβάσει στο site του;
Λογική είναι η τέχνη να κάνεις λάθος με αυτοπεποίθηση!!!
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

Ωχ! τώρα το παρατήρησα αυτό για τις σημειώσεις. Άρα ναι έχει αλλάξει η ύλη :e_smile:
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

παιδιά αν κάποιος μπορεί να με βοηθήσει με 3 απορίες:
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: Μαθηματική λογική

Δημοσίευση από theos »

Οι σημειώσεις έχουν αλλάξει (ξανακατέβασέ τις):
1)σελίδα61
2)σελίδα49 Περίπτωση 2
3)Ότι σας φωτίσει ο θεός αφού δεν απαντάει κανείς προπτυχιακός
Λογική είναι η τέχνη να κάνεις λάθος με αυτοπεποίθηση!!!
Άβαταρ μέλους
kostas213
Forum Administrator
Forum Administrator
Δημοσιεύσεις: 1531
Εγγραφή: Τρί Νοέμ 28, 2006 8:03 pm
Real Name: Κωνσταντίνος
Gender: Male
Τοποθεσία: Zürich

Re: Μαθηματική λογική

Δημοσίευση από kostas213 »

Κατάλαβα, όλοι στο φλου θα πάμε αύριο. Ελπίζω να μη βρεθούμε μπροστά σε δυσάρεστες εκπλήξεις. :execute:
There's no place like ::1
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

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

για όσους δεν το έχουν δει, με ότι σημαίνει το παραπάνω : P
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

σε ευχαριστώ πάρα πολύ theos : ) όντως σε κάποια σημεία έχουν αλλάξει οι σημειώσεις
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

παιδιά όσοι έδωσαν σήμερα τι θέματα έπεσαν? Έπεσαν tableaux ktl?
Άβαταρ μέλους
Hengeo
Δημοσιεύσεις: 1478
Εγγραφή: Τρί Φεβ 20, 2007 1:57 pm
Real Name: Γιώργος
Gender: Male
Facebook ID: 0
Τοποθεσία: Η πιο γλυκιά πατρίδα είναι η καρδιά..

Re: Μαθηματική λογική

Δημοσίευση από Hengeo »

Tableux και Gentzen δεν έβαλε καθόλου. Προτασιακός λογισμός, σύνδεσμοι, συμπάγεια, πρωτοβάθμια κατηγορηματική λογική έβαλε. Θα ανεβάσω τα θέματα μόλις βρω χρόνο..
Άνθρωπε γνώρισε τον εαυτό σου και θα γνωρίσεις το σύμπαν και τους θεούς - Δελφικό ρητό
galois
Δημοσιεύσεις: 21
Εγγραφή: Δευ Μαρ 09, 2009 3:39 pm
Real Name: johny
Gender: Male
Facebook ID: 0

Re: Μαθηματική λογική

Δημοσίευση από galois »

α ωραία , ναι ανέβασε τα να μας σώσεις λίγο
Άβαταρ μέλους
kostas213
Forum Administrator
Forum Administrator
Δημοσιεύσεις: 1531
Εγγραφή: Τρί Νοέμ 28, 2006 8:03 pm
Real Name: Κωνσταντίνος
Gender: Male
Τοποθεσία: Zürich

Re: Μαθηματική λογική

Δημοσίευση από kostas213 »

Ανέβασα τα θέματα στο εργαλείο!
There's no place like ::1
DrCox
Δημοσιεύσεις: 88
Εγγραφή: Δευ Σεπ 10, 2007 12:07 am

Re: Μαθηματική λογική

Δημοσίευση από DrCox »

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???
Απάντηση

Επιστροφή στο “Μαθηματικού Εφαρμογών”