Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
Τα «Συστήματα Αυτόματης Απόδειξης Θεωρημάτων-ΣΑΑΘ» (Automatic Theorem Proving Systems-ATP Systems) είναι συστήματα βασισμένα στη λογική πρώτης τάξεως, τα οποία μπορούν από ένα σύνολο λογικών προτάσεων να συνάγουν την αλήθεια μιας δεδομένης λογικής πρότασης με αυτόματο τρόπο. Η διαδικασία της απόδειξ...
Κύριος συγγραφέας: | Γριβοκωστοπούλου, Φωτεινή |
---|---|
Άλλοι συγγραφείς: | Χατζηλυγερούδης, Ιωάννης |
Μορφή: | Thesis |
Γλώσσα: | Greek |
Έκδοση: |
2010
|
Θέματα: | |
Διαθέσιμο Online: | http://nemertes.lis.upatras.gr/jspui/handle/10889/2703 |
Παρόμοια τεκμήρια
-
Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
ανά: Κεραμύδας, Ελευθέριος
Έκδοση: (2010) -
Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2009) -
Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
ανά: Ioakimidis, Nikolaos
Έκδοση: (2018) -
Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2017) -
Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
ανά: Κεραμύδας, Ελευθέριος
Έκδοση: (2004)