Kód: 07412735
Handbook of Logic and Proof Techniques for Computer Science
Autor Steven G. Krantz
This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and m ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 245
Nakladatelství: Birkhauser Boston Inc, 2002
- Více informací o knize
Mohlo by se vám také líbit
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 Handbook of Logic and Proof Techniques for Computer Science
Nákupem získáte 167 bodů
Anotace knihy
This handbook presents the elements of modern logic, including many contemporary topics, to the reader having only basic mathematical literacy. It contains definitions, examples and ideas such as axiomatics, recursion theory and model theory.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
1665 Kč
- Plný název: Handbook of Logic and Proof Techniques for Computer Science
- Autor: Steven G. Krantz
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 245
- EAN: 9780817642204
- ISBN: 9780817642204
- ID: 07412735
- Nakladatelství: Birkhauser Boston Inc
- Hmotnost: 576 g
- Rozměry: 235 × 155 × 18 mm
- Datum vydání: 17. January 2002
Oblíbené z jiného soudku
-
Set Theory
854 Kč -
Foundations of Mathematics
1103 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
350 Kč -
Goedel's Proof
358 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
329 Kč -
Oxford Handbook of Philosophy of Mathematics and Logic
1763 Kč -
Questions, Inferences, and Scenarios
582 Kč -
Schaum's Outline of Set Theory and Related Topics
612 Kč -
Logic
302 Kč -
Logic: A Very Short Introduction
268 Kč -
Beginner's Guide to Mathematical Logic
569 Kč -
Illustrated Book of Bad Arguments
341 Kč -
In Pursuit of the Traveling Salesman
428 Kč -
Taking Sudoku Seriously
1416 Kč -
2000 Solved Problems in Discrete Mathematics
753 Kč -
Logician and the Engineer
518 Kč -
Higher Topos Theory (AM-170)
3112 Kč -
Naive Set Theory
276 Kč -
Art of Proof
1221 Kč -
Algebras and Representation Theory
1164 Kč -
Naive Set Theory
536 Kč -
Dictionary of Argumentation
867 Kč -
Logical Dilemmas
1587 Kč -
Limitless Mind
444 Kč -
Category Theory in Context
714 Kč -
Naive Set Theory
282 Kč -
Elements of Mathematics
576 Kč -
Can You Solve My Problems?
302 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
541 Kč -
Concise Introduction to Pure Mathematics
1569 Kč -
Model Theory
728 Kč -
Category Theory
1995 Kč -
Axiom of Choice
322 Kč -
Teaching Multiplication Using LEGO(R) Bricks
595 Kč -
Foundations of Geometry
268 Kč -
Principles of Mathematics
798 Kč -
First-order Logic
242 Kč -
Handbook of Mathematical Induction
1959 Kč -
Beginner's Further Guide To Mathematical Logic, A
750 Kč -
Names of the Lion
441 Kč -
Categories for the Working Mathematician
1643 Kč -
Conceptual Mathematics
1673 Kč -
Mathematical Logic
1919 Kč -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
1604 Kč -
Kurt Goedel: Collected Works
2373 Kč -
My Best Mathematical and Logic Puzzles
266 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
685 Kč -
Introduction to Logic
322 Kč -
Proofs and Refutations
606 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)