Kód: 09067587
Propositional and Predicate Calculus: A Model of Argument
Autor Derek Goldrei
Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connec ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 315
Nakladatelství: Springer London Ltd, 2005
- Více informací o knize
Mohlo by se vám také líbit
-
Calculus
1528 Kč -
Overcoming Social Anxiety and Shyness, 2nd Edition
292 Kč -
Complications
270 Kč -
Blade of the Immortal Omnibus Volume 3
412 Kč -
BSAVA Manual of Rabbit Medicine
2373 Kč -
Structure and Interpretation of Computer Programs
1891 Kč -
By Grand Central Station I Sat Down and Wept
248 Kč -
Visuelles Wissen. Mathematik
327 Kč -
Tajemství staré bambitky
354 Kč -
Maďarsko v éře sovětizace
273 Kč -
Calculus - Introduction to Linear Algebra 2e V 1
8397 Kč -
Will Eisner's New York
858 Kč -
ROBOTICA INDUSTRIAL 2024
1155 Kč -
Kanuni Sultan Süleyman
370 Kč -
On Diary
611 Kč -
What If Textiles: The Art of Gerhardt Knodel
919 Kč -
Earth-careful Way of Life
341 Kč -
Money and Sustainability
876 Kč -
Old Wiltshire Market Towns and Villages ... Illustrated by M. E. Sargent.
463 Kč -
Vermicompostaje: procesos, productos y aplicaciones.: De Residuo a recurso III.5
562 Kč -
Le Jour des cendres
804 Kč -
Rebecca Rioter. a Story of Killay Life.
471 Kč -
Setting of the Rising Sun
480 Kč -
Erzahlungen vom Oberharz in Oberharzer
267 Kč -
Remix I
688 Kč -
Refugiados climáticos
601 Kč -
Oxford Cathedral. Ward and Lock's Illustrated Historical Handbook to Oxford Cathedral, Etc.
321 Kč -
Laynie Portland, Renegade Spy
429 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Propositional and Predicate Calculus: A Model of Argument
Nákupem získáte 161 bodů
Anotace knihy
Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some theories using a formal language; and more.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
1614 Kč
- Plný název: Propositional and Predicate Calculus: A Model of Argument
- Autor: Derek Goldrei
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 315
- EAN: 9781852339210
- ISBN: 9781852339210
- ID: 09067587
- Nakladatelství: Springer London Ltd
- Hmotnost: 626 g
- Rozměry: 191 × 246 × 19 mm
- Datum vydání: 08. September 2005
Oblíbené z jiného soudku
-
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Proofs and Refutations
475 Kč -
Goedel's Proof
303 Kč -
Logic: A Very Short Introduction
230 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
326 Kč -
Conceptual Mathematics
1565 Kč -
Introduction to Mathematical Logic
489 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
303 Kč -
Categories for Types
2097 Kč -
Limitless Mind
409 Kč -
Elements of Mathematics
547 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
430 Kč -
Set Theory
589 Kč -
Naive Set Theory
228 Kč -
Taking Sudoku Seriously
906 Kč -
Sets for Mathematics
1565 Kč -
Lattice Theory: Foundation
2102 Kč -
From Frege to Goedel
1374 Kč -
Lattice Theory: Special Topics and Applications
2357 Kč -
Logic is Not Mathematical
465 Kč -
Computability and Logic
991 Kč -
Schaum's Outline of Boolean Algebra and Switching Circuits
592 Kč -
Model Theory : An Introduction
1154 Kč -
Model Theory
567 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
First-order Logic
194 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Naive Set Theory
267 Kč -
Category Theory in Context
653 Kč -
Math Mammoth Grade 4-B Worktext
484 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Illustrated Book of Bad Arguments
287 Kč -
Can You Solve My Problems?
248 Kč -
Beginner's Guide to Mathematical Logic
441 Kč -
Foundations of Geometry
228 Kč -
Foundation Maths
1651 Kč -
Topoi
489 Kč -
Categories for the Working Mathematician
1291 Kč -
Logician and the Engineer
522 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Set Theory and the Continuum Hypothesis
256 Kč -
Gödel's Incompleteness Theorems
1269 Kč -
Mathematical Logic
1614 Kč -
Interactive Theorem Proving and Program Development
1958 Kč -
Algebraic Logic
274 Kč -
Handbook of Epistemic Logic
682 Kč -
Introduction to Modern Set Theory
262 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47512 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)