Το λογισμικό Γραφικής Απεικόνισης και Aυτόματης Aπόδειξης Λογικών Θεωρημάτων «DreamProver 1»

Το πρόγραμμα «DreamProver 1» προσφέρει εντυπωσιακές γραφικές απεικονίσεις Λογικών δομών και θεωρημάτων (τα οποία αποδεικνύει αυτομάτως) με απόλυτη ελευθερία του χρήστη να ορίσει τα δικά του σχήματα, χρώματα και Λογικές Δομές. Μία πρώτη του παρουσίαση έγινε (στα αγγλικά) στο blog «PrologSource», εδώ (κλικ στην εικόνα):

Σχολιάστε

Εισάγετε τα παρακάτω στοιχεία ή επιλέξτε ένα εικονίδιο για να συνδεθείτε:

Λογότυπο WordPress.com

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό WordPress.com. Αποσύνδεση / Αλλαγή )

Φωτογραφία Twitter

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Twitter. Αποσύνδεση / Αλλαγή )

Φωτογραφία Facebook

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Facebook. Αποσύνδεση / Αλλαγή )

Φωτογραφία Google+

Σχολιάζετε χρησιμοποιώντας τον λογαριασμό Google+. Αποσύνδεση / Αλλαγή )

Σύνδεση με %s