 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
Sponsored Links:
|
| URL: |
http://www.geocities.com/nummolt/obblog/
|
| Title: |
OBBLOG - Logic Blocks Toybox |
| Description: |
Science, Math, Logic and Foundations, Education - OBBLOG. Logic construction toybox. |
| Specialized in: |
|
|
|
|
|
Mission: Critical (Popularity:  ): Interactive tutorial for critical thinking.
The Daily Translation (Popularity: ): Problems on translation into a logical system, drawn from the current news and updated daily.
Logic Software from CSLI (Popularity: ): Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
Games Mathematicians Play (Popularity: ): Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
University of Alberta Logic Course (Popularity: ): Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
The Logic Classroom (Popularity: ): A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, ...
Around Gödel's Theorem (Popularity: ): (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
The Logic Daemon (Popularity: ): On-line proof checker, and texts.
Formal Methods Educational Materials (Popularity: ): A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and ...
logic-l (Popularity: ): Elementary Logic Discussion List.
|
|
Popular Sites |
|
Logic Software from CSLI (Popularity: ): Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
Games Mathematicians Play (Popularity: ): Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
Mission: Critical (Popularity: ): Interactive tutorial for critical thinking.
OBBLOG (Popularity: ): Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
Logic Tutorial (Popularity: ): An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna ...
|
|
Related Press |
|
LDK Solar Sells 15% Ownership Stake in Its 15,000 MT Polysilicon Plant (Popularity: ): LDK Solar Co., Ltd. (NYSE: LDK), a leading manufacturer of multicrystalline solar wafers, today announced that it has entered into ...
Atari to Ship Star Trek Online on February 2, 2010 (Popularity: ): Atari, Inc., one of the world's most recognized videogame publishers, and Cryptic Studios(TM), creators of the acclaimed Champions Online, City ...
First Baptist Church Dallas Launches $130 Million Capital Building Campaign: (Popularity: ): The congregation of First Baptist Church Dallas today overwhelmingly affirmed recommended plans to proceed with a $130 million capital campaign ...
S&P: All S&P 500 Index Mutual Funds Are Not Created Equal (Popularity: ): Investors have put billions of dollars into vehicles that seek to track the S&P 500 index and logic would dictate ...
Southwest Airlines Announces Service From Northwest Florida's New International Airport, Near Panama City, Florida (Popularity: ): Southwest Airlines Co. (NYSE: LUV) today announces its intent to begin jet service from Northwest Florida's new international airport near ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
