<図書>
Tarski's world : version 4.0 for MS Windows
責任表示 | Jon Barwise & John Etchemendy |
---|---|
シリーズ | CSLI lecture notes ; no. 45 |
データ種別 | 図書 |
出版者 | Stanford, CA : CSLI Publications |
出版年 | c1993 |
本文言語 | 英語 |
大きさ | xviii, 122 p. ; 23 cm + 1 floppy disk |
概要 | Tarski's World 4.0 is an innovative and enjoyable way to introduce your students to the language of first-order logic. Using this program, students quickly master the meaning of the connectives and qu...ntifiers, and soon become fluent in the symbolic language at the core of modern logic. Tarski's World allows the students to build three-dimensional worlds, and to describe them in first-order logic. They evaluate the sentences in the constructed worlds, and if their evaluation is incorrect, the program provides them with a game that leads them to understand where they went wrong. The package is intended as a supplement to any standard logic text, or for use by anyone who wants to learn the language. The disk and manual contain over a hundred exercises from very basic to highly sophisticated.続きを見る |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
: pbk | 理系図 自動書庫 | 410.96/B 25/58970015 | 1993 |
|
058221997000158 |
|
書誌詳細
一般注記 | Includes index |
---|---|
著者標目 | *Barwise, Jon Etchemendy, John, 1952- |
件 名 | LCSH:Tarski's world -- Handbooks, manuals, etc
全ての件名で検索
LCSH:First-order logic -- Handbooks, manuals, etc 全ての件名で検索 |
分 類 | LCC:BC128 DC20:511.3/0285/5369 |
書誌ID | 1001398680 |
ISBN | 1881526283 |
NCID | BA23042477 |
巻冊次 | : pbk ; ISBN:1881526283 |
登録日 | 2009.11.02 |
更新日 | 2009.11.02 |