Kód: 12512117
. 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 ... celý popis
Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.
. 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.
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )