Μονάδα:
Τμήμα Πληροφορικής & ΤηλεπικοινωνιώνΠληροφορική
Ημερομηνία κατάθεσης:
2024-07-31
Συγγραφέας:
ΠΑΝΑΓΙΩΤΟΠΟΥΛΟΣ ΓΕΩΡΓΙΟΣ
Στοιχεία επιβλεπόντων καθηγητών:
Ροντογιάννης Παναγιώτης, Καθηγητής, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Άγγελος Χαραλαμπίδης, Επίκουρος Καθηγητής, Τμήμα Πληροφορικής και Τηλεματικής, Χαροκόπειο Πανεπιστήμιο
Πρωτότυπος Τίτλος:
Formalized Proofs of the Extension of Consistent Approximation Fixpoint Theory
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Τυπικές Αποδείξεις της Επέκτασης της Θεωρίας Προσέγγισης Σταθερών Σημείων
Περίληψη:
Ο σκοπός αυτής της εργασίας είναι η τυποποίηση βασικών αποδείξεων της θεωρίας προσέγγισης σταθερών σημείων χρησιμοποιώντας το εργαλείο αποδείξεων Lean 4, με ως στόχο την βελτίωση των ίδιων των αποδείξεων καθώς και στην επαλήθευση των αποτελεσμάτων τους. Αυτό επιτυγχάνεται με την εξ ολόκληρου χρήση ήδη επαληθευμένων εργαλείων για την διαδικασία τυποποιήσης, συγκεκριμένα την βασική βιβλιοθήκη της Lean και την Mathlib.
Κύρια θεματική κατηγορία:
Τεχνολογία – Πληροφορική
Λέξεις-κλειδιά:
πλέγμα, σταθερο σήμειο, λογικός, αποδείξη, lean
Αρ. σελίδων ευρετηρίου:
1
Αρ. βιβλιογραφικών αναφορών:
5
