Modern Symbolic Logic


Advertisement

Symbolic Logic Exploration  v.3

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Deductions  v.1.3

Deductions is educational software designed to help students learn proofs in formal logic.





Advertisement

Modern Paintings

Free RSS Reader-Modern paintings and giclee prints by the artist Murray Hubick. Mr.Hubick is a highly regarded artist who exhibits regularily in both Europe and North America. His work has been praised widely and in general is considered modern in nature

Logic Minimizer

Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital

Logic Expression  v.3.00

Program Logic Expression (LE) calculates and analyzes the logical (Boolean) expression. Supports logical operators: negation, conjunction, disjunction, exclusive disjunction, implication and equivalence.

Seesaw Logic  v.1 1

Seesaw Logic is an enjoyable logic game in which you must decide which is the heaviest object by looking at some seesaws with objects on them.

Walls Logic  v.1 1

Walls Logic is a challenging flash game in which you must put diagonal walls in the empty spaces following certain rules. First, you must respect the number of walls indicated in the pillar.

Every Day Genius Square Logic  v.3.0.0.54

Everyday Genius: SquareLogic is similar to number-based logic games such as Sudoku, but you'd best buckle up 'cause this isn't your daddy's Sudoku. It is a logic-based puzzle game involving colored cages and numbers.

Modern Calculator  v.2.0

Modern Calculator is a powerful instrument for making various types of calculations. The program can be used as a standard calculator for making a simple and scientific calculations.

Ant16 Logic Analyser  v.2.1.0.65

The Ant16 software uses VCL40.BPL, a 1.8MByte shared Borland support library. Like the Ant8, the Ant16 logic analyzer is compact, easy to use, powerful, and inexpensive.

Symbolic Tools  v.1. 1. 2006

Symbolic Tools has the ability to augment the numeric and graphical capabilities of GAUSS with additional types of mathematical functionality based on symbolic computations.

Logic Squares for Pocket PCs  v.1.0

Logic Squares brings traditional word logic puzzles/problems to the Pocket PC. The object of Logic Squares is to determine the location of 9 colors in a 3 x 3 grid by reading and then interpreting the clues. Game features include an unlimited

Pages : 1 | 2 | Free
Newest Reviews