Επαγωγικές μέθοδοι στον λ - λογισμό
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

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

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