A- A0 A+ | EN
Επαγωγικές μέθοδοι στον λ - λογισμό
Διαβάστε τη διατριβή (Online)
Κατεβάστε τη διατριβή σε μορφή PDF (20.74 MB)  (Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/16731
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/16731
ND
16731
Εναλλακτικός τίτλος
Semantic methods and induction principles in the λ - calculus
Συγγραφέας
Ρήγας, Νίκος (Πατρώνυμο: Β.)
Ημερομηνία
2005
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Εξεταστική επιτροπή
Παπαϊωάννου Αλέξανδρος
Κολέτσος Γεώργιος
Ζάχος Ευστάθιος
Μοσχοβάκης Ιωάννης
Δημητρακόπουλος Κωνσταντίνος
Μυτιληναίος Μιχαήλ
Αφράτη Φώτω
Επιστημονικό πεδίο
Φυσικές Επιστήμες ➨ Μαθηματικά
Λέξεις-κλειδιά
Λ-λογισμός; Θεωρία αποδείξεων; Φυσική απαγωγή; Θεωρία τύπων; Επαγωγικές αρχές; Σημασιολογικές μέθοδοι
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
88 σ., ευρ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)