Pulse en una miniatura para ir a Google Books.
Cargando... Tarski's Worldpor Jon Barwise, John Etchemendy
Ninguno Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. sin reseñas | añadir una reseña
Pertenece a las seriesCSLI 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. No se han encontrado descripciones de biblioteca. |
Debates activosNinguno
Google Books — Cargando... GénerosSistema Decimal Melvil (DDC)511.302855369Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClasificación de la Biblioteca del CongresoValoraciónPromedio:
¿Eres tú?Conviértete en un Autor de 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