Search Results for "logic"

QST, the worlds unparalleled open source online/lan assessment software. From a quick quiz on your phone to very large scale, high stakes, proctored desktop testing, we make it easy/secure/economical. Our intuitive design contains features (Immediate detailed results, Create/Export/Import/Convert Questions, WYSIWYG/Math-Chemistry/Basic Editors, Question/Item Bank, Multiple Question Types, Multiple Delivery Styles, Multiple Delivery/Results Options, Adaptive/Branching Questions, Randomly...

Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher.

... - This software requires Java 8 or above to work. Tested with OpenJDK & Oracle Java. For more information check out the project's source code at https://github.com/Crusader99/digital-logic-simulator

ADiKtEd (Another Dungeon Keeper map Editor) is a text-based map editor for Dungeon Keeper, a game released in 1997. It can be used to create a map from the very beginnings, or to tweak maps created in Official Editor.

Generation and display of random logic circuits to practice various algorithms. Especially useful for EI students.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

A tiny implementation on a fuzzy logic inference system written in javascript.