Tarski's World pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

Barwise, Jon/ Etchemendy, John/ Barker-Plummer, Dave

Center for the Study of Language and Information

2004

144

309.00 元

Pap

9781575864846

图书标签: 逻辑学

喜欢 Tarski's World 的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-13

Tarski's World epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

Tarski's World pdf epub mobi txt 电子书下载 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 下载 mobi epub pdf txt 电子书