Search Results for "logic"

A full-client web application, practical and useful developer diagrams for the construction of the logic of a circuit, with circuit simulator, AC, DC and Transient Analysis, for your Computer Desktop. You can to export yours diagrams in pdf, png, jpg, gif and tiff. ========== Support Windows 7 and later with ia-32 or arch x64 ========== Android app: https://play.google.com/store/apps/details?id=com.ulm.droidtronics Chrome extension: http://bit.ly/29Tdvz7 Opera add-on: http://bit.ly/1igCRWQ

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

The Secret of NIM is a software writen in PHP/MySQL and JavaScript. It shows a graphical representation of a logic scheme with wires connecting logic modules which have specific parameters. This software has been developped for NIM/TTL logic, thus his simplicity allows also the representation of other logic systems, numeric systems or analogic systems i.e. the pedal board of an electric guitar. The Secret of NIM is divided in two parts. The first one is the main part of the software. ...

simple digital logic circuit simulator, using only NAND gates. written as a standalone app for your web browser

...Check out the showcase : http://gwt-mapfish.sourceforge.net/showcase/GwtMapFishShowcase.html I see there are still some downloads, so I feel I have to advise against using this project. It barely has any functionality, and anyway you'd be better off with home-made GWT widgets and Java logic. GWT-OpenLayers is OK, but don't go further in JS-library wrapping, or it gets messy.

This project aims to provide a common building block for projects such as ADEFU, SEA and VISUAL and other scada projects so that they have a common interface to the PLC\'s they communicate with. PLC\'s are Programmable Logic Controllers built to

Web pages are not just for clicking. Every web page has powerful built-in math & text processing. By using logic to treat ideas mathematically, web pages can be a tool for decision making. This project will show you how, starting with a few games.

Talisman is an interpreter for a logical markup language. This language contains the content and logic of a web (or, in the future, Java Swing) based user interface, including arbitrary datatypes and processing actions.