Image de l'éditeur

Proof and Consequence: An Introduction to Classical Logic with Simon and Simon Says (Paperback)

Ray Jennings, Nicole A Friedrich

5 avis par GoodReads
ISBN 10: 1551115476 / ISBN 13: 9781551115474
Edité par Broadview Press Ltd, Canada, 2006
Neuf(s) Etat : New Paperback
Vendeur The Book Depository US (London, Royaume-Uni)

Vendeur AbeBooks depuis 10 septembre 2013

Evaluation du vendeur Evaluation 5 étoiles

Quantité : 1

Disponible auprès d'autres vendeurs

Afficher tous les  exemplaires de ce livre
Acheter neuf
Prix conseillé :
Prix: EUR 71,43 Autre devise
Livraison : EUR 0 De Royaume-Uni vers Etats-Unis Destinations, frais et délais
Ajouter au panier

Modes de paiement
acceptés par le vendeur

Visa Mastercard American Express Carte Bleue

A propos de cet article

Language: English . Brand New Book. Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises. Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class. The complete logic package includes: * The logic textbook, Proof and Consequence *A very helpful study guide to the textbook, containing extra exercises, Simple Simon *Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades. N° de réf. du libraire AAN9781551115474

Poser une question au libraire

Détails bibliographiques

Titre : Proof and Consequence: An Introduction to ...

Éditeur : Broadview Press Ltd, Canada

Date d'édition : 2006

Reliure : Paperback

Etat du livre :New

A propos de ce titre

Synopsis :

Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises. Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class. The complete logic package includes: * The logic textbook, Proof and Consequence *A very helpful study guide to the textbook, containing extra exercises, Simple Simon *Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades

Synopsis:

Proof and Consequence, SIMON, and SIMON SAYS form an integrated logic teaching package, including textbook, student exercise software, and grading program.

Proof and Consequence is a friendly introduction to a difficult but rewarding subject. The text, intended for intermediate-level logic learners, briefly reviews the basics and quickly moves on to propositional and quantificational logic, and the connectives of natural language.

Accompanying the text is the software package, SIMON, which allows students to work on the 800 exercises printed in the text, detecting errors in their work as they go. For extra help, an extensive study guide and additional chatroom software will also be available.

While the text and exercise software are a great aid to students, SIMON SAYS, an innovative remote grading program, is available for instructors. It marks students’ work according to an instructor-created template, keeps all course records, and allows the instructor to create and schedule assignments, as well as to add more exercises if desired. Students are able to register their SIMON documents, submit their assignments, and view their own course records with SIMON SAYS. A complete set of PowerPoint slides is also available for lecture material or as a study resource.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Description de la librairie

Book Depository is an international bookseller. We ship our books to over 100 countries around the globe and we are always looking to add more countries to the list. We really, really love books and offer millions of titles, currently over 10 million of them, with this figure increasing daily. Living by our motto, 'Bookseller to the World', we focus on offering as many titles as possible to as many customers as possible. Most of our titles are dispatched within 2 business days of your order. Apart from publishers, distributors and wholesalers, we even list and supply books from other retailers! We hope you enjoy our selection and discover your new favorite book.

Visitez la page d?accueil du vendeur

Conditions de vente :

All books are shipped in New condition promptly, we are happy to accept returns up to 30 days from purchase. Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Priority Airmail. We are happy to accept returns up to 30 days from purchase. Please contact the seller directly if you wish to return an order. Name of business : The Book Depository Ltd Form of legal entity : A Limited Company Business address: The Book Depository, 60 Holborn Vi...

Pour plus d'information
Conditions de livraison :

Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Priority Airmail. We are happy to accept returns up to 30 days from purchase. Please contact the seller directly if you wish to return an order.

Afficher le catalogue du vendeur