Fai clic su di un'immagine per andare a Google Ricerca Libri.
Sto caricando le informazioni... Tarski's Worlddi Jon Barwise, John Etchemendy
Nessuno Sto caricando le informazioni...
Iscriviti per consentire a LibraryThing di scoprire se ti piacerà questo libro. Attualmente non vi sono conversazioni su questo libro. nessuna recensione | aggiungi una recensione
Appartiene alle SerieCSLI Lecture Notes (45)
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 quantifiers, 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. Non sono state trovate descrizioni di biblioteche |
Discussioni correntiNessuno
Google Books — Sto caricando le informazioni... GeneriSistema Decimale Melvil (DDC)511.302855369Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClassificazione LCVotoMedia:
Sei tu?Diventa un autore di LibraryThing. |
[ XI ] - 00 How to Use This Book
[ XII] - 00.01 To the student
[ XII] - 00.02 To the instructor
[ XV ] - 00.03 Acknowledgements
[ XV ] - 00.04 What’s new in this edition?
[ XVI] - 00.05 More acknowledgements
(.)
[003] - I. Exercises
(.)
[003] - 01.01 Instructions About the Exercises
[009] - 01.02 Exercises on Propositional Logic
[025] - 01.03 Exercises on First-order Logic
[053] - 01.04 More Theoretical Exercises
(.)
[067] - II. Using the Software
[067] - 02.05 Using Tarski’s World
[067] - 02.05.01 Getting started
[068] - 02.05.01.01 Opening saved files
[068] - 02.05.01.02 Starting new files
[068] - 02.05.01.03 Saving a file
[069] - 02.05.01.04 Closing Tabs
[069] - 02.05.01.05 Reverting a File
[070] - 02.05.01.06 Printing
[070] - 02.05.01.07 Quitting (Exiting) Tarski’s World .
(.)
[070] - 02.05.02 The World Panel
[070] - 02.05.02.01 Adding blocks
[070] - 02.05.02.02 Selecting blocks
[070] - 02.05.02.03 Moving blocks
[070] - 02.05.02.04 Sizing and shaping blocks
[071] - 02.05.02.05 Naming blocks
[071] - 02.05.02.06 Deleting blocks
[071] - 02.05.02.07 Cutting, copying, and pasting blocks
[072] - 02.05.02.08 Hiding labels
[072] - 02.05.02.09 2-D view
[072] - 02.05.02.10 Rotating Worlds
[072] - 02.05.03 The Sentence Panel
[072] - 02.05.03.01 Writing formulas
[073] - 02.05.03.02 Commenting your sentences
[073] - 02.05.03.03 Creating a list of sentences
[073] - 02.05.03.04 Moving from sentence to sentence
[074] - 02.05.03.05 Deleting sentences
[074] - 02.05.03.06 Typing symbols from the keyboard
[075] - 02.05.03.07 Cutting, copying, and pasting
[075] - 02.05.04 Verifying syntax and truth
[076] - 02.05.05 Playing the game
[076] - 02.05.05.01 Picking blocks and sentences
[076] - 02.05.05.02 Backing up and giving up
[078] - 02.05.05.03 When to play the game
[078] - 02.05.06 Preferences.
(.)
[081] - 02.06 Using Submit
[081] - 02.06.01 Getting started
[083] - 02.06.02 Choosing files to submit
[085] - 02.06.03 How you know your files were received
[085] - 02.06.04 Saving your user data.
(.)
[089] - Appendixes
[089] - A First-order Logic
[089] - A.01 First-order languages
[089] - A.02 Individual constants
[000] - A.03 Predicate symbols
[091] - A.04 Atomic sentences
[092] - A.05 Connectives
[095] - A.06 Variables
[096] - A.07 Atomic wffs
[096] - A.08 Quantifiers
[097] - A.09 Wffs and sentences
[100] - A.10 Satisfaction and truth
[101] - A.11 Game rules
[103] - A.12 Logical equivalences
[104] - A.13 Validity and logical consequence .
(.)
[107] - B Using Tarski’s World 5.x
[107] - B.01 Getting started
[107] - B.01.01 Launching Tarski’s World
[107] - B.01.02 The main windows
[107] - B.01.03 Opening saved files
[107] - B.01.04 Starting new files
[107] - B.01.05 Saving a file
[107] - B.01.06 Quitting (Exiting) Tarski’s World
(.)
[111] - B.02 The world window
[111] - B.02.01 Adding blocks
[111] - B.02.02 Naming blocks
[111] - B.02.03 Moving blocks
[112] - B.02.04 Sizing and shaping blocks
[112] - B.02.05 Deleting blocks
[112] - B.02.06 Hiding labels
[112] - B.02.07 2-D view
[113] - B.02.08 Rotating Worlds.
(.)
[113] - B.03 The keyboard and sentence windows
[113] - B.03.01 Writing formulas
[114] - B.03.02 Commenting your sentences
[114] - B.03.03 Creating a list of sentences
[115] - B.03.04 Moving from sentence to sentence
[115] - B.03.05 Deleting sentences
[116] - B.03.06 Typing symbols from the keyboard
[116] - B.03.07 Cutting, copying, and pasting
[116] - B.03.08 Printing.
(.)
[116] - B.04 The evaluation box / sentence inspector
[116] - B.04.01 Verifying syntax and truth.
(.)
[117] - B.05 Playing the game
[118] - B.05.01 Picking blocks and sentences
[119] - B.05.02 Backing up and giving up B.5.3 When to play the game .
(.)
[125] - General Index
[125] - File Index