Language Proof and Logic

Text/Software Package

Jon Barwise, John Etchemendy

Parution le 22/05/2003

Ajouter à une liste

Indisponible

Résumé

Language, Proof and Logic is a complete text and software package providing a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof, and counterexample. The text assumes no prior study of logic and is appropriate for introductory and second courses in logic. Instructors in philosophy, computer science, and mathematics will find ample material to allow the coverage of topics specific to their disciplines.

The textbook and software an part of a single package and are not sold separately. Re-sale warning: the grading portion of the software will only function for the original user

. This package contains

The Language, Proof and logic textbook
An updated and enhanced version of the award-winning Tarski's World program, that teaches the basics of first-order logic
Filch, a new program that allows the creation and checking of natural deduction proofs
Boole, a new program that facilitates the creation of
Submit, an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment
The complete manuscript of the text in Adobe PDF format
LPL Software Manual

All programs are cross-platform. There is no need to purchase separate Macintosh and Windows versions. Additional material and technical support are available cslipublications.stanford.edu/LPL.

Contents

No content available

Caractéristiques techniques

	PAPIER
Éditeur(s)	CSLI
Auteur(s)	Jon Barwise, John Etchemendy
Parution	22/05/2003
Format	20 x 24
Couverture	Broché
Poids	1260g
Intérieur	Noir et Blanc
EAN13	9781575863740
ISBN13	978-1-57586-374-0