Το λήμμα του Koenig και η σχέση του με το θεώρημα της πληρότητας : πτυχιακή εργασία
Η παρούσα πτυχιακή εργασία εκπονήθηκε στα πλαίσια του προγράμματος προπτυχιακών σπουδών του τμήματος Μαθηματικών Σάμου. Σκοπός της εργασίας είναι η παρουσίαση και η απόδειξη του Λήμματος του Knig και του Θεωρήματος της Πληρότητας καθώς και ο συσχετισμός τους. Η εργασία αποτελείται από τέσσερα κεφάλα...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Thesis Book |
| Language: | Greek |
| Published: |
2012.
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11610/8031 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Η παρούσα πτυχιακή εργασία εκπονήθηκε στα πλαίσια του προγράμματος προπτυχιακών σπουδών του τμήματος Μαθηματικών Σάμου. Σκοπός της εργασίας είναι η παρουσίαση και η απόδειξη του Λήμματος του Knig και του Θεωρήματος της Πληρότητας καθώς και ο συσχετισμός τους. Η εργασία αποτελείται από τέσσερα κεφάλαια. Στο Κεφάλαιο 1 παρουσιάζουμε τις έννοιες γράφημα, μονοπάτι και δέντρο. Τέλος παρουσιάζουμε και αποδεικνύουμε το Λήμμα του Knig. Στο Κεφάλαιο 2 παρουσιάζουμε κάποιους βασικούς ορισμούς που μας βοηθούν για να αποδείξουμε στη συνέχεια το Λήμμα του Zorn για μετρήσιμα μερικώς διατεταγμένα σύνολα. Τέλος αποδεικνύουμε ότι το Λήμμα του Zorn είναι ισοδύναμο με το Αξίωμα της Επιλογής. Στο Κεφάλαιο 3 παρουσιάζουμε την ιδέα ενός τυπικού συστήματος και των αποδείξεων, έτσι ώστε ένα σύστημα που βασίζεται σε συμβολοσειρές από 0 και 1 να σχετίζεται με το Λήμμα του Knig. Τέλος ξανααποδεικνύουμε το Λήμμα του Knig από τα Θεωρήματα Ορθότητας και Πληρότητας για αυτό το σύστημα. Στο Κεφάλαιο 4 παρουσιάζουμε ένα σύστημα για αποδείξεις προτάσεων σε μερικώς διατεταγμένα σύνολα με την εφαρμογή κάποιων κανόνων. Τέλος αποδεικνύουμε για αυτό το σύστημα τα Θεωρήματα Ορθότητας και Πληρότητας. |
|---|---|
| Item Description: | Μέλη της εξεταστικής επιτροπής: Κορνάρος Χαράλαμπος, Φελουζής Ευάγγελος, Παπασαλούρος Ανδρέας. |
| Physical Description: | 41 σ. ; 30 εκ. |
| Bibliography: | Βιβλιογραφία: σ. 41. |
| Access: | Διάθεση πλήρους κειμένου - Ελεύθερη πρόσβαση. |