Bokus
David Barker-Plummer, Jon Barwise, John Etchemendy - Language, Proof, and Logic, Häftad

Häftad, Engelska, 2011

Language, Proof, and Logic

Second Edition

Av David Barker-Plummer, Jon Barwise, John Etchemendy

1025 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
Produktinformation
Utforska kategorier
Mer om författaren

Dave Barker-Plummer is a senior research scientist at Stanford University's Center for the Study of Language and Information. Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy is currently provost and professor of philosophy and symbolic systems at Stanford University.

Betyg & recensioner

3 recensioner, genomsnitt 5/5

  1. 5/5 Lukasz

    Mycket bra bok om logik. Boken är pedagogisk och är väl integrerad med de program som medföljer boken, där man kan göra olika uppgifter. Jag uppskattar framför allt programmet Fitch som används till att utifrån premisser härleda slutsatser.

  2. 5/5 Betty
  3. 5/5 Rolf