Tarski's World

Tarski's World pdf epub mobi txt 電子書 下載2025

出版者:Center for the Study of Language and Information
作者:Barwise, Jon/ Etchemendy, John/ Barker-Plummer, Dave
出品人:
頁數:144
译者:
出版時間:2004
價格:309.00 元
裝幀:Pap
isbn號碼:9781575864846
叢書系列:
圖書標籤:
  • 邏輯學 
  •  
想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

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.

具體描述

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

題都十分基礎

评分

題都十分基礎

评分

題都十分基礎

评分

題都十分基礎

评分

題都十分基礎

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有