Predicate Logic Examples
Advertisement
Deductions v.1.3
Deductions is educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback ...
Advertisement
Logic Builder for Windows Mobile SDK v.1.0
Logic Builder for Windows Mobile SDK. State-engine. State-oriented C# programming for Windows Mobile 5 and 6.
Includes GetStarted user manual and full-function examples for WM5WM6 - PocketPCSmartphone.
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 ...
C++ Builder Examples Collection v.5.0
What you will find here is a set of examples for most used methods and components in everyday programming. Save yourself hours of online research and going through tons of useless code.
In one place, you will have a set of examples ...
Cppcliexamples collection of C++/CLI examples v.1.5
Collection of programming examples for C++/CLI with focus on WinForms development. Code samples for programmers who want to learn C++/CLI and use the source code as a framework. Real world examples with focus on WinForms.
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. Supports work with: up to 500 (five hundred) members ...
Delcode's C++ Builder examples v.4.5
Delcode's Collection of C++ Builder Examples. Code samples covering database, Rave reports, user gui, OpenGL examples and more. Full source code on purchase.
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. The game is comprised of 20 levels of increasing difficulty, in which there will be more seesaws with more objects.
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. If it says 2, you must build two walls connecting to a 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. The game includes over 20,000 puzzles ...
Ant16 Logic Analyser v.2.1.0.65
Like the Ant8, the Ant16 logic analyzer is compact, easy to use, powerful, and inexpensive. The Ant16 also features more channels (16), a synchronous acquisition mode, and Trigger-In and Trigger-Out connections.
Features :
...
Delphi Examples Collection v.3.0
What you will find here is a set of examples for most used methods and components in everyday programming. Save yourself hours of online research and going through tons of useless code.
In one place, you will have a set of examples ...
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 ...
Collection of C++ Examples v.1.5
Collection of C++ examples and applications with focus on Windows and Win32 development. Source code is available for use with Visual Studio® 2010 and Visual Studio® 2013 version. This collection covers the following user levels: beginning to intermediate.