δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Formalized Proofs of the Extension of Consistent Approximation Fixpoint Theory
Ο σκοπός αυτής της εργασίας είναι η τυποποίηση βασικών αποδείξεων της θεωρίας προσέγγισης σταθερών σημείων χρησιμοποιώντας το εργαλείο αποδείξεων Lean 4, με ως στόχο την βελτίωση των ίδιων των αποδείξεων καθώς και στην επαλήθευση των αποτελεσμάτων τους. Αυτό επιτυγχάνεται με την εξ ολόκληρου χρήση ήδη επαληθευμένων εργαλείων για την διαδικασία τυποποιήσης, συγκεκριμένα την βασική βιβλιοθήκη της Lean και την Mathlib.
(EL)
The purpose of this thesis is to formalize key proofs within the framework of consistent approximation fixpoint theory using the Lean 4 theorem prover, with the aim to refine the proofs themselves as well as verify their results. This is accomplished by constraining the formalization process to already verified tools, specifically the Lean base library and Mathlib.
(EN)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
