SledujCenu.cz - průvodce online nakupováním

Language, Proof and Logic (Barker-Plummer Dave)(Mixed media product) - diskuze

Language, Proof and Logic (Barker-Plummer Dave)(Mixed media product)
0
0 hodnocení

Výrobce: Centre for the Study of Language & Information

EAN: 9781575866321

Výrobní číslo: 9781575866321

Language Proof and Logic is available as a physical book with the software included and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at gradegrinder.net. The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is

Cena 2 508 Kč v 1 obchodě

Dotazy, recenze a diskuze k Language, Proof and Logic (Barker-Plummer Dave)(Mixed media product)

Přidat dotaz

Přidat rezenci, hodnocení

Přidat dotaz

Přidat rezenci, hodnocení

  • Související položky