0 Mėgstami
0Krepšelis

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

Šiuo metu neparduodama

Knygos aprašymas

The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.

Informacija

Autorius: Jon Barwise, John Etchemendy,
Leidėjas: Center for the Study of Language and Inf
Išleidimo metai: 1993
Knygos puslapių skaičius: 320
ISBN-13: 9780937073995
Formatas: 6 x 0.8 x 9 inches. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0“

Būtina įvertinti prekę

Goodreads reviews for „The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0“