David Barker-Plummer – författare
Visar alla böcker från författaren David Barker-Plummer. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Häftad, Engelska, 2011
788 kr
Skickas inom 5-8 vardagar
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.
Häftad, Engelska, 2007
335 kr
Skickas inom 5-8 vardagar
"Tarski's World" is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The accompanying CD-ROM, compatible with both Macintosh and PC formats, includes a unique and effective corrective tool in the form of a game that methodically leads students back through any errors in sentences they have constructed, as well as a program for submitting homework to an automated grader. Intended as a supplement to a standard logic text, "Tarski's World" is an essential resource for helping students learn the language of logic.