Αποκρισιμότητα και πολυπλοκότητα της τροπικής λογικής

 
This item is provided by the institution :

Repository :
Digital Library of Grey Literature
see the original item page
in the repository's web site and access all digital files if the item*
share




2013 (EN)
Αποκρισιμότητα και πολυπλοκότητα της τροπικής λογικής

Κούρτης Γεώργιος

Π. Ροντογιάννης
Κ. Κούτρας Επίκ. Καθηγητής Πανεπιστήμιο Πελοποννήσου (Επιβλέπων)
Ε. Ζάχος Καθηγητής ΕΜΠ
Κ. Δημητρακόπουλος Καθηγητής ΕΚΠΑ

Διπλωματική εργασία (Εκπονήθηκε το έτος: 2013)

Υπολογιστική πολυπλοκότητα
Θραύσματα πρωτοβάθμιας λογικής
Θραύσμα δύο-μεταβλητών
Computability theo
Τροπική λογική
Modal logic
Θεωρία υπολογισμού

Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (EL)
University of Athens (EN)

Greek

2013


National and Kapodistrian University of Athens (UOA)

All rights remain with the author, until they expire.
Access to the work is permitted for personal, educational or research use only.



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)