Tarski's World 在線電子書 圖書標籤: 邏輯學
發表於2024-09-12
Tarski's World 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
題都十分基礎
評分題都十分基礎
評分題都十分基礎
評分題都十分基礎
評分題都十分基礎
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, which methodically leads students back through their errors if they wrongly evaluate the sentences in the constructed worlds.
評分
評分
評分
評分
Tarski's World 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024