Symbolic Reasoning Logic

Math Science Quest is a fun way to learn the fundamental reasoning skills that are the essence of scientific method. It can be played as an individual puzzle or a multi-player game. Players explore a complex mathematical puzzle attempting to find all the solutions. Experiments can be designed to...

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.

v(1.0) fSC-Net - Win Neural Net Fuzzy Pattern Recognition. Quick, hassle-free automatic construction of Neural Networks. Incremental learning. Support of fuzzy logic. Hybrid symbolicconnectionist representation. Complete graphical support of training and testing. Point and click recall of network...


Platforms: Windows

A logic game. The game has got two modes: a single mode (a computer places and hides chesspieces for you) and a network mode. In last one you can play with somebody else through a net, by placing your chesspieces for your opponent and guessing his variants. The winner's who will guess...


Platforms: Windows

Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database. SYNOPSIS use Math::Logic::Predicate; $db = new Math::Logic::Predicate; # Enter some predicates into the database $db->add(<


Platforms: *nix

Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic. SYNOPSIS use Math::Logic qw( $TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF ) ; # 1 0 -1 TRUE FALSE UNDEF use Math::Logic :NUM ; # $TRUE $FALSE $UNDEF -- what you normally want use Math::Logic :ALL ; # All...


Platforms: *nix

Math::Symbolic is a Perl module for symbolic calculations. SYNOPSIS use Math::Symbolic; my $tree = Math::Symbolic->parse_from_string(1/2 * m * v^2); # Now do symbolic calculations with $tree. # ... like deriving it... my ($sub) = Math::Symbolic::Compiler->compile_to_sub($tree); my...


Platforms: *nix

Math::Symbolic::MiscAlgebra contains miscellaneous algebra routines like det(). SYNOPSIS use Math::Symbolic qw/:all/; use Math::Symbolic::MiscAlgebra qw/:all/; # not loaded by Math::Symbolic @matrix = ([x*y, z*x, y*z],[x, z, z],[x, x, y]); $det = det @matrix; @vector = (x, y, z);...


Platforms: *nix

The most important features of this product is the Step-Sequencer Emulation in Logic using the Matrix Editor combined with new EXS24 Step-Sequenzer Sounds and Sliced Drum Kits. In a limited key range you will find muted notes for each 1/16-segment. You can de-mute the notes intuitive and quickly...


Platforms: Mac

Solve logic problems on your computer or print them out for solving in your easy chair. Use a fill in chart or traditional solving chart to enter your answers. You can also get hints, restart the puzzle, check you answers or see the entire solution. The shareware version comes with five puzzles,...


Platforms: Windows

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and then later that same information can be identified in the desktop, where it can then be analyzed. The...


Platforms: Windows

The Speak Logic Information Analysis for Internet Explorer enables users to analyze information and communications in Internet Explorer. While reading a website or webpage, if a user identifies information that’s needed to be analyzed, the user can analyze that information or flag it to analyze...


Platforms: Windows

The Speak Logic Information Analysis for Microsoft Office enables the analysis of information and communications within Microsoft Word, Microsoft Outlook and Microsoft PowerPoint. For instance, while reading an email, users may find that the content of that email needs to be analyzed. By using...


Platforms: Windows

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and then later that same information can be identified in the desktop, where it can then be analyzed. The...


Platforms: Windows

The Speak Logic Information Analysis for Microsoft Office enables the analysis of information and communications within Microsoft Word, Microsoft Outlook and Microsoft PowerPoint. For instance, while reading an email, users may find that the content of that email needs to be analyzed. By using...


Platforms: Windows

The Speak Logic Information Analysis for Internet Explorer enables users to analyze information and communications in Internet Explorer. While reading a website or webpage, if a user identifies information that’s needed to be analyzed, the user can analyze that information or flag it to analyze...


Platforms: Windows

The Speak Logic Information Analysis for Visual Studio enables users to analyze information in Visual Studio. The Speak Logic Information Analysis for Visual Studio enables users to analyze codes in Visual Studio. While working in Visual Studio, if a user identifies a block of codes that’s...


Platforms: Windows

Vulcan Logic Disassembler hooks into the Zend Engine and dumps all the opcodes (execution units) of a script. It can be used to see what is going on in the Zend Engine. Features:- Class methods info is only dumped if they contain some user defined functions. - Clean up the framework for better...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Examples used in the December 2010 webinar titled "Teaching Math and Physics with Symbolic Math Toolbox". View the recorded webinar here:http://www.mathworks.com/wbnr52810Topics include:* Using symbolic computation for common tasks such as solving, simplifying, and plotting equations, and...


Platforms: Matlab

For a symbolic input function f, returns the symbolic Hessian matrix. A real time saver imho I don't know how useful anyone will find this, but eh, my professor made us do it on the test, so I figure this will save at least someone the headache of having to find the Hessian by hand (provided they...


Platforms: Matlab