Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.608.806 Times

Symbolic Logic Exploration 3

Company: symboliclogic.sourceforge.net
Date Added: August 14, 2012  |  Visits: 217

Symbolic Logic Exploration

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)



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.

Requirements: No special requirements
Release Date: August 14, 2012
Platforms: Windows, BSD, Mac, Linux
Users rating: 0/10

License: Freeware Size: 172.79 KB
USER REVIEWS
More Reviews or Write Review


SYMBOLIC LOGIC EXPLORATION RELATED
Programming  -  Fuzzy Symbolic Connectionist 1.0
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...
764 KB  
Puzzles  -  Logic 1.0
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...
243 KB  
Libraries  -  Math::Logic::Predicate 0.03
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(<
17.41 KB  
Libraries  -  Math::Logic 1.19
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...
12.29 KB  
Libraries  -  Math::Symbolic 0.508
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) =...
102.4 KB  
Libraries  -  Math::Symbolic::MiscAlgebra 0.508
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]);...
102.4 KB  
Audio Tools  -  Apple Logic 'Hypnotic Stepz' for Mac OS 1.0
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...
11 MB  
Home & Leisure  -  Logic Puzzles 1.0
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...
2.95 MB  
Project Management  -  Speak Logic Information Analysis Desktop 1.1
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...
30.53 MB  
Miscellaneous Communications Tools  -  Speak Logic Information Analysis for Internet Explorer 1.1
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...
29.92 MB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, EDUCATION
Macintosh Software  -  MacX Free DVD to MP4 Converter for Mac 4.2.3
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac...
36.23 MB  
Macintosh Software  -  MacX DVD Ripper Mac Free Edition 4.2.3
MacX DVD Ripper Mac Free Edition is the best free DVD ripper for Mac that can fulfill any of your DVD backup and ripping demands for free. It allows you to rip homemade and protected DVDs to MOV, MP4, M4V, etc for playing on iPhone, iPod, iPad,...
35.88 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Macintosh Software  -  MacX Free Apple TV Video Converter 4.1.9
MacX Free Apple TV Video Converter is a 100% free video to Apple TV converter software which enables you to free convert most popular videos like AVCHD, MKV, M2TS, AVI, MPEG, WMV, FLV etc to Apple TV compatible format like MP4 format on Mac OS. In...
22.89 MB  
Education  -  Sliding Down an Incline Plane Model 1.0
This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...
51.2 KB  
Education  -  MrAIC 1.4.4
MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...
10.24 KB  
Education  -  HapEvolution 1.0
Complex diseases involve multiple genes with low penetration which may be distributed over the genome. Most of the current haplotype association methods are typically restricted in length and consist of alleles from contiguous SNPs. These...
1.61 MB  
Education  -  Three Charges 1.0
In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...
1.36 MB  
Education  -  AWclust 3.0
AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.
20.48 KB