FOLST

beta

Didactic tool to support First Order Logic semantics learning

Add a Review
4 Downloads (This Week)
Last Update:
Download FOLST_windows.zip
Browse All Files

Screenshots

Description

FOLST (First Order Logic Semantic Tutor) is an interactive tool to support teaching and learning of First Order Logic semantics, allowing users to create models under certain frames, and evaluate formulas in the models created.

FOLST es una herramienta didáctica e interactiva para complementar el proceso de enseñanza/aprendizaje de la Lógica de Predicados de Primer Orden. Permite al usuario crear modelos bajo ciertos frames predefinidos, y evaluar fórmulas en los modelos creados.

FOLST Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of FOLST!

Additional Project Details

Languages

English, Spanish

User Interface

Qt

Programming Language

C++

Registered

2012-09-04
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.