Search Results for "logical"

The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions...

math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net

Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations.

ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.

...It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their posting and backup. Formulas : - math physics symbols - operation symbols - logical symbols - arrows symbols - relation symbols - bracket symbols - differential symbols - functions symbols - integral symbols - matrix symbols - sqrt & frac symbols - sub & sup symbols - sum & prod symbols - greek characters

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts

XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>

Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.

tkalc is a pocket calculator for developers and IP network operators. Arbitrary arithmetic/logical expressions can be entered very quickly. The result is then simultaneously displayed in decimal, hexadecimal, octal, binary, ASCII, IP address, and boolean.