Domov

Pisarna in šola

Knjige

Knjige, leposlovje, priročniki, ostalo

Logic. A Primer

LOKACIJE TRGOVIN

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguistic... Preberi cel opis

26,43 €

Hitro na ponudbo

-32 %38,87 €

26,43 €

z dostavo 29,42 €

Več o ponudbi

Ponudba trgovine Libristo.si za izdelek Logic. A Primer. Pravilnost cene in podatkov preveri na spletni strani trgovine.

Parametri izdelka

Logic. A Primer

Glavni parametri

Pomembna informacija

Ti podatki so zbrani z uradnih strani izdelkov. Preden nadaljujete do končnega nakupa, preverite podrobnosti. Če opazite težavo, jo lahko sporočite tukaj.

Hitro na ponudbo

Proizvajalec

Jezik

angleščina

Cuin

CX0442502A

Prijavi napako

PODOBNI IZDELKI

Več o izdelku

Stop Letting Everything Affect You

v Libristo.si

22,01 €

Več o izdelku

Training for the Uphill Athlete

Več o izdelku

Več o izdelku

Več o izdelku

Več o izdelku

Več o izdelku

NRSV, Catholic Bible, Gift Edition, Leathersoft, White, Comfort Print

v Libristo.si

24,52 €

Več o izdelku

Murdle: Volume 1: 100 Elementary to Impossible Mysteries to Solve Using Logic, Skill, and the Power of Deduction

v Libristo.si

12,15 €

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguisticallyinformed, and mathematically precise, it deals with fundamentals.Its distant ancestor Natural Logic married Gentzenian proof theory to Tarskian model-theoretic semantics and distinguished the important subsystem of Intuitionistic Logic. Theauthor has since published research on capturing relevance proof-theoretically, and extending Tarskian semantics with model-relative truthmakers and falsitymakers. Theselater ideas are expounded here at a gentler level.The coverage is largely at the &aposobject level&apos. It gets the main innovative ideas across in systematic fashion. A plethora of exercises serve concept and skill acquisition: translatingbetween English sentences and formal sentences of first-order logic finding formal proofs of valid arguments and finding counterexamples to invalid ones. The text distinguishesconstructive from &aposstrictly classical&apos reasoning. It also signposts significant metalogical results to be established in a sequel.The approach is strongly proof-theoretical. Primitive rules of inference governing logical operators flow from left-to-right readings of the famous two-valued truth tables. Modelrelativetruthmakers and falsitymakers are constructed using rules of semantic evaluation.These rules morph seamlessly into model-invariant rules of natural deduction for connectives and quantifiers. These, in turn, are rendered as logical rules of the sequentcalculus. The deductive rules gestated from the rules of evaluation guarantee relevance of premises of deductive proofs to their conclusions.The text lays firm foundations for the concepts of soundness and completeness of a proof system with respect to a semantics. It shows that its proof system meets all themethodological demands on a logic for formalizing deductive reasoning (whether constructive or classical) in both mathematics and science.Quine famously and approvingly called the language of first-order logic Grade A idiom. It is now equipped with what one can call Grade A argumentation.

Logic. A Primer

26,43 €

v Libristo.si

Hitro na ponudbo

	Ceneje.si e-novičke s predstavitvijo kategorij izdelkov, zanimivimi ponudbami in nakupovalnimi nasveti ter pomembna obvestila uporabnikom
	Personalizirane in relevantne ponudbe izdelkov iz kategorij, ki te zanimajo (Da ti lahko ponudimo prilagojeno vsebino, bomo na ceneje.si spremljali tvoje aktivnosti, analizirali interese in uporabili profiliranje ter avtomatizirano odločanje)
	Spletne kataloge in letake trgovcev - prelistaš jih lahko takoj, ko izidejo

Logic. A Primer

Parametri izdelka

Logic. A Primer

Pomembna informacija

PODOBNI IZDELKI

SORODNI IZDELKI