Subscribe to RSS Latest Releases by Wandering Mango

Deductions 1.3 - Evolution of Logic Software

Oct 13, 2010 - Wandering Mango today announced the release of Deductions 1.3. Deductions is educational software designed to help students learn natural deduction. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. Deductions gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.


Intuition - Introducing a Next-generation Puzzle Game by Wandering Mango

Apr 14, 2010 - California based Wandering Mango has announced the release of Intuition 1.0, a breakthrough in puzzle games that blends out-of-the-box thinking with brain-teasing fun. Inspired by the MU-Puzzle in Douglas Hofstaedter's Pulitzer Prize-winning book, Godel, Escher, Bach: An Eternal Golden Braid, Intuition has been described as one part Sudoku, one part Minesweeper. Sure to be a winner with brain-game aficionados, Intuition also offers easier puzzles for the casual player.


Deductions 1.2 - Logic Software that Accelerates Learning

Jan 19, 2010 - Wandering Mango today announced the release of Deductions 1.2. 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. Deductions gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.


Deductions 1.1 - A New Way to Learn Natural Deduction Proofs in Logic

Oct 22, 2009 - Wandering Mango today announced the release of Deductions 1.1. 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. Deductions gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.


Deductions - New Software for Learning Natural Deduction in Logic

Sep 30, 2009 - Wandering Mango today announced the release of Deductions 1.0. 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. Deductions gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.