Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Introduction to Formal Logic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Anotace knihy

. Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. . Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception of formal logic and not just a collection of results. Summaries at important junctures in the book keep students aware of what they're doing and where they're going. . Hundreds of exercises that teach. . Criteria of formalization with many examples of formalizing ordinary language reasoning in an example-analysis format. . A complete course: syntax, semantics, and completeness theorems for classical propositional logic and classical predicate logic, and syntax and semantics for second-order classical predicate logic.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Introduction to Formal Logic
• Autor: Richard L Epstein
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 220
• EAN: 9781938421273
• ISBN: 1938421272
• ID: 12512117
• Nakladatelství: Advanced Reasoning Forum
• Hmotnost: 404 g
• Rozměry: 171 × 244 × 21 mm
• Datum vydání: 27. January 2016

---

---

---