Tarski’s World is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The program allows students to build three-dimensional worlds and then describe them in first-order logic. The program, compatible with Macintosh and PC formats, also contains a unique and effective corrective tool in the form of a game..
Shipping Cost |
|
Delivery Time | Ready to ship in 3-5 Business Days |
Shop Location | Cairo, مصر |
No reviews found!
No comments found for this product. Be the first to comment!