Toggle navigation
Αναζήτηση
Πλοήγηση
Τύποι τεκμηρίων
Επιστημονικά πεδία
Σχολές/Τμήματα/Ινστιτούτα
Φορείς
Συλλογές
Διαλειτουργικότητα
Σχετικά
Το έργο
Οδηγίες για αναζήτηση & πλοήγηση
Για φορείς
Ένταξη συλλογών
Προδιαγραφές ένταξης
Φόρμα εκδήλωσης ενδιαφέροντος
Επικοινωνία
ΕΛ
•
EN
Αρχική σελίδα
Επιστημονικά πεδία
Φυσικές Επιστήμες ▶ Μαθηματικά
Μαθηματική λογική
Ανακαλύψτε
128 τεκμήρια
με αυτό το θέμα
Αναζήτηση
Περισσότερα κριτήρια αναζήτησης
Φίλτρα αποτελεσμάτων
Φίλτρα αποτελεσμάτων
1 - 30 από 128 τεκμήρια
Ταξινόμηση
Σχετικότητα με κριτήρια
Άυξουσα χρονολογία
Φθίνουσα χρονολογία
Large cardinals and structural reflection
Δημιουργός:
Ασλάνης-Πέτρου Ρωμανός, Aslanis-Petrou Romanos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2024
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Ελάχιστος βαθμός και εμβυθίσεις πλήρων γραφημάτων
Δημιουργός:
Οικονόμου Μάρθα, Oikonomou Martha
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2024
Γλώσσα:
Ελληνική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
The Expressive Power of Higher-Order Datalog with Negation
Δημιουργός:
Κωστόπουλος Χαράλαμπος, Kostopoulos Charalampos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2023
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Two proofs of Peano Arithmetic’s Consistency
Δημιουργός:
Σεβαστού Νικολέτα, Sevastou Nikoleta
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2025
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Morley’s Categoricity Theorem
Δημιουργός:
Αποστόλου Φίλιππος, Apostolou Filippos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2024
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Pricing Games in Heterogeneous Parallel Networks
Δημιουργός:
Παππάς Θωμάς, Pappas Thomas
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2025
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
MinorObstructions for Apex Pseudoforests
Δημιουργός:
Τσατσάνης Κωνσταντίνος, Tsatsanis Konstantinos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2022
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF The problem of consistency for NF
Δημιουργός:
Ρουβέλας, Παναγιώτης, Rouvelas, Panagiotis
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2017
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Μαθηματικών ▶ Τομέας Άλγεβρας, Θεωρίας Αριθμών και Μαθηματικής Λογικής
Φορέας:
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Συλλογή:
Εθνικό Αρχείο Διδακτορικών Διατριβών |
ΕΚΤ
ΕΑΔΔ
RDF
Από τη φιλοσοφική λογική στη βιομηχανική λογική
Δημιουργός:
Σταμούλης, Βασίλειος
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2019
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Πανεπιστήμιο Ιωαννίνων ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Μαθηματικών
Φορέας:
Πανεπιστήμιο Ιωαννίνων
Συλλογή:
Ιδρυματικό Αποθετήριο Ολυμπιάς
RDF
Upper Bounds on the number of embeddings of minimally rigid graphs
Δημιουργός:
Τζάμος Χαράλαμπος, Tzamos Charalambos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2021
Γλώσσα:
gre, eng
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
A Survey of Probabilistic Reasoning in Justification Logic
Δημιουργός:
Pipilikas Thomas, Πιπιλίκας Θωμάς
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2021
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Non-constructive proof of a fixed point theorem on lexicographic lattice structures
Δημιουργός:
Χατζηαγάπης Ιωάννης, Chatziagapis Ioannis
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2020
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
About Inspection Games
Δημιουργός:
Καραγιάννης-Αξυπολιτίδης Νίκος, Karagiannis-Axypolitidis Nikos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2021
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Structural and Topological Graph Theory and Well-Quasi-Ordering
Δημιουργός:
Χανιώτης Αριστοτέλης, Chaniotis Aristotelis
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2020
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Lexicographic Sets
Δημιουργός:
Πρωτόπαπας Ευάγγελος, Protopapas Evangelos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2020
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Decompositions and Algorithms for the Disjoint Paths Problem in Planar Graphs
Δημιουργός:
Stamoulis Giannos, Σταμούλης Γιάννος
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2019
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Notions of Galois connections for Bilattices
Δημιουργός:
Pitsiladis Georgios, Πιτσιλαδής Γεώργιος
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2019
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Dimensionality reduction for approximate near neighbor search in the Manhattan metric
Δημιουργός:
Margonis Vasileios, Μαργώνης Βασίλειος
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2019
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Contributions of Graph Theory and Algorithms to Animal Behaviour and Neuroscience
Δημιουργός:
Σμιτ Νικόλαος, Smit Nikolaos
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2019
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Expanding Graphs and Balanced Separators
Δημιουργός:
Niklanovits Aikaterini, Νικλάνοβιτς Αικατερίνη
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2019
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Sorting and Selection Problems in Partially Ordered Sets
Δημιουργός:
Papamichail Merkourios-Christos, Παπαμιχαήλ Μερκούριος-Χρήστος
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2022
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Αναζήτηση εχθρικών κόμβων σε δίκτυα Malicious nodes search in networks
Δημιουργός:
Πετρόλια, Σταματίνα Π., Petrolia, Stamatina P.
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2013
Σχολή/τμήμα/ινστιτούτο:
Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Εφαρμοσμένων Μαθηματικών & Φυσικών Επιστημών ▶ Τομέας Μαθηματικών ▶ Εργαστήριο Αλγοριθμικών Εφαρμογών και Λογικής (2016 - ...)
Φορέας:
Εθνικό Μετσόβιο Πολυτεχνείο
Συλλογή:
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
RDF
Οικογένειες αρχιτεκτονικών λογισμικού με ποσοτικά χαρακτηριστικά Quantitative architecture styles
Δημιουργός:
Παραπονιάρη, Παυλίνα, Paraponiari, Pavlina
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2024
Γλώσσα:
Αγγλική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Μαθηματικών ▶ Τομέας Επιστήμης Υπολογιστών και Αριθμητικής Ανάλυσης
Φορέας:
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Συλλογή:
Εθνικό Αρχείο Διδακτορικών Διατριβών |
ΕΚΤ
ΕΑΔΔ
RDF
Χωροχρόνοι με ιδιομορφίες στη Γενική Σχετικότητα Spacetimes with singularities in General Relativity
Δημιουργός:
Κοτοπούλης, Δημήτριος, Kotopoulis, Dimitrios
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Μαθηματική λογική
Χρονολογία :
2023
Γλώσσα:
Ελληνική γλώσσα
Σχολή/τμήμα/ινστιτούτο:
Πανεπιστήμιο Πατρών ▶ Σχολή Θετικών Επιστημών ▶ Τμήμα Φυσικής ▶ Τομέας Θεωρητικής και Μαθηματικής Φυσικής, Αστρονομίας και Αστροφυσικής
Φορέας:
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Συλλογή:
Εθνικό Αρχείο Διδακτορικών Διατριβών |
ΕΚΤ
ΕΑΔΔ
RDF
Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση.
Δημιουργός:
Ζήκος Γεώργιος
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Υπολογιστικά μαθηματικά, Μαθηματική λογική
Χρονολογία :
2012
Γλώσσα:
Ελληνική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Formalizing Constructive Analysis: A comparison of minimal systems and a study of uniqueness principles.
Δημιουργός:
Βαφειάδου Γαρυφαλλιά
Τύπος τεκμηρίου:
Διδακτορική διατριβή
Επιστημονικό πεδίο:
Υπολογιστικά μαθηματικά, Μαθηματική λογική
Χρονολογία :
2012
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
High dimensional Approximate r-nets with emphasis on vectors on a unit hypercube
Δημιουργός:
Κάβουρας Λουκάς, Kavouras Loukas
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Υπολογιστικά μαθηματικά, Μαθηματική λογική
Χρονολογία :
2016
Γλώσσα:
gre, eng
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Quantum Complexity, Relativized Worlds, and Oracle Separations
Δημιουργός:
Μυρισιώτης Δημήτριος
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Υπολογιστικά μαθηματικά, Μαθηματική λογική
Χρονολογία :
2016
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
OPINION DYNAMICS WITH LOCAL INTERACTIONS
Δημιουργός:
ΣΚΟΥΛΑΚΗΣ ΕΥΣΤΡΑΤΙΟΣ-ΠΑΝΤΕΛΕΗΜΩΝ, SKOULAKIS EFSTRATIOS-PANTELEIMON
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Υπολογιστικά μαθηματικά, Μαθηματική λογική
Χρονολογία :
2016
Γλώσσα:
Αγγλική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
Παραμετρικοί Αλγόριθμοι και Μητροειδή: η χρήση των συνόλων αντιπροσώπευσης
Δημιουργός:
Πετροπαναγιωτάκη Μαρία, Petropanagiotaki Maria
Τύπος τεκμηρίου:
Μεταπτυχιακή εργασία
Επιστημονικό πεδίο:
Υπολογιστικά μαθηματικά, Μαθηματική λογική
Χρονολογία :
2016
Γλώσσα:
Ελληνική γλώσσα
Φορέας:
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Συλλογή:
Πέργαμος
RDF
×
×
Βοηθείστε μας να κάνουμε καλύτερο το
OpenArchives
.gr
.
Πάρτε μέρος στη σύντομη έρευνα!
