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

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

DOI
10.12681/eadd/12980
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/12980
ND
12980
Εναλλακτικός τίτλος
Abstract model theory and its applications to specification languages
Συγγραφέας
Στεφανέας, Πέτρος (Πατρώνυμο: Σ.)
Ημερομηνία
2001
Ίδρυμα
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Τμήμα Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Εξεταστική επιτροπή
Κολέτσος Γεώργιος
Παπαϊωάννου Αλέξανδρος
Ζάχος Ευστάθιος
Σελλής Τιμολέων
Μάγκλαρης Βασίλειος
Δημητρακόπουλος Κωνσταντίνος
Αφράτη Φώτω
Επιστημονικό πεδίο
Φυσικές Επιστήμες ➨ Μαθηματικά
Λέξεις-κλειδιά
Αφηρημένα συστήματα; Θεωρητική πληροφορική; Γλώσσες προδιαγραφών; Άλγεβρα; Λογικά συστήματα
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
155 σελ., εικ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)
Εφαρμογή της θεωρίας των επίκυκλων στο μηχανισμό των Αντικυθήρων: μελέτη της πλανητικής κίνησης στο εμπρόσθιο τμήμα του μηχανισμού και ψηφιακή ανακατασκευή του
Αιτιακές διαδικασίες και τοπικότητα στην κλασική και στην κβαντική φυσική
Αιτιότητα, πιθανότητα και αποτροπή: προς μια νέα οπτική της σχέσης αιτίας-αποτελέσματος
Διερευνώντας τη δυνατότητα μιας ρεαλιστικής θεώρησης της κβαντικής φυσικής: παλαιοί και νέοι μύθοι
Topological models, computer science semantics and applications of logic in AI
Efficient algorithms for some connectivity problems, in static and dynamic graphs
Εννοιολογική αλλαγή και επιστημονικός ορθολογισμός: Niels Bohr και το πρόβλημα της φυσικής πραγματικότητας στην κβαντική φυσική
Ασυμπτωτική συμπεριφορά των ροπών μιας κατηγορίας τυχαίων μεταβλητών
Software engineering applications of the OTS/CafeOBJ algebraic specification method
Η λογική της μετάβασης από την κλασική στην κβαντική φυσική υπό το πρίσμα σύγχρονων μαθηματικών εξελίξεων