新しい ソフトウェア のために Wandering Mango
控除学生は正式なロジックで証明を学ぶのを助けるように設計された教育ソフトウェアです。これは、インストラクターや哲学、数学とコンピュータサイエンスの大学レベルのロジックコースの学生によって使用されることを意図して。それは、証拠の各段階で即座にフィードバックを与える証明を完了する方法についてのヒントを提供し、説明し、ロジックのいくつかの困難な概念を見直すビデオチュートリアルのセットが付属しています。ルールはルールと戦略について証拠の真ん中、および不確実性に立ち往生、正しく適用されているかどうかわからない：控除証...
直感は脳からかう楽しいと思ってすぐに使えるブレンドパズルゲームにおける画期的な製品です。ダグラスHofstaedterのピューリッツァー賞を受賞した本は、ゲーデル、エッシャー、バッハにMU-パズルに触発さ：永遠のゴールデンブレイド、直感が一部数独、一部マインスイーパとして記載されている。脳ゲーム愛好家との勝者になることが確かに、直感にもカジュアルプレイヤーのために簡単にパズルを提供しています。直観のパズルは、活気に満ちたサウンドトラックとカラフルなアニメーションとの生活に来る。その結果、再生するには、2つの...
