Kód: 02569839
Logic for Computer Science
Autor Jean Gallier
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful fo ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 544
Nakladateľ: Dover Publications Inc., 2015
- Viac informácií o knihe
37.23 €
Bežne: 39.18 €
Ušetríte 1.95 €
Dostupnosť:
50 % šanca
Máme informáciu, že by titul mohol byť dostupný. Na základe vašej objednávky sa ho pokúsime do 6 týždňov zabezpečiť.Prehľadáme celý svet
Mohlo by sa vám tiež páčiť
-
Introduction to Lattices and Order
104.14 € -
Lattices and Ordered Algebraic Structures
89.51 € -
Onward - Keine halben Sachen
19.73 € -
Life is Strange 1-3 Boxed Set
47.36 € -7 % -
Powerful
9.09 € -10 % -
You Are Positively Awesome
14.41 € -23 % -
Court of Thorns and Roses Collector's Edition
31.81 € -23 % -
Maginot Line Gun Turrets
13.90 € -12 % -
Legendary Tales of the Wizards 3
26.08 € -
Experiential Learning
172.58 € -
Open Secret
15.74 € -
Three Dark Crowns
9.40 € -21 % -
Camper Van Bible
31.81 € -
FILL YOUR OIL PAINTINGS WITH LIGH
21.17 € -16 % -
Tearing Down the Streets
53.70 € -4 % -
Life in a Medieval Village
14.62 € -20 % -
Wonder
8.17 € -22 % -
Hanako-kun. I 7 misteri dell'Accademia Kamome
7.76 € -
Highlights Schweiz
29.45 € -2 % -
Nowe geografia oblicza geografii podręcznik 2 liceum i technikum zakres rozszerzony 67062
17.48 € -
Erklarung der Tier-Namen aus allen Sprachgebieten
46.33 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Informovať o naskladnení knihy
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Viac informácií o knihe Logic for Computer Science
Nákupom získate 92 bodov
Anotácia knihy
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.
Parametre knihy
Zaradenie knihy Books in English Mathematics & science Mathematics Mathematical foundations
37.23 €
- Celý názov: Logic for Computer Science
- Podnázov: Foundations of Automatic Theorem Proving, Second Edition
- Autor: Jean Gallier
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 544
- EAN: 9780486780825
- ISBN: 0486780821
- ID: 02569839
- Nakladateľ: Dover Publications Inc.
- Hmotnosť: 758 g
- Rozmery: 237 × 158 × 35 mm
- Dátum vydania: 18. June 2015
Obľúbené z iného súdka
-
Set Theory
36.82 € -
Foundations of Mathematics
37.43 € -
Introduction to Logic and to the Methodology of Deductive Sciences
15.03 € -
Goedel's Proof
14.41 € -11 % -
To Mock a Mockingbird: and Other Logic Puzzles
13.29 € -23 % -
Oxford Handbook of Philosophy of Mathematics and Logic
75.80 € -
Questions, Inferences, and Scenarios
25.05 € -
Schaum's Outline of Set Theory and Related Topics
25.67 € -15 % -
Logic
12.27 € -23 % -
Logic: A Very Short Introduction
9.09 € -24 % -
Beginner's Guide to Mathematical Logic
23.01 € -23 % -
Illustrated Book of Bad Arguments
14.01 € -18 % -
In Pursuit of the Traveling Salesman
17.59 € -3 % -
Taking Sudoku Seriously
58.61 € -
2000 Solved Problems in Discrete Mathematics
31.60 € -14 % -
Logician and the Engineer
20.04 € -1 % -
Higher Topos Theory (AM-170)
130.94 € -
Naive Set Theory
11.45 € -
Art of Proof
51.96 € -
Algebras and Representation Theory
49.51 € -
Naive Set Theory
22.91 € -
Dictionary of Argumentation
37.33 € -
Logical Dilemmas
67.72 € -
Limitless Mind
15.03 € -24 % -
Category Theory in Context
29.25 € -19 % -
Naive Set Theory
12.27 € -23 % -
Elements of Mathematics
23.21 € -4 % -
Can You Solve My Problems?
12.27 € -23 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
21.88 € -
Concise Introduction to Pure Mathematics
58.92 € -
Model Theory
29.25 € -18 % -
Category Theory
80.71 € -
Axiom of Choice
13.19 € -18 % -
Teaching Multiplication Using LEGO(R) Bricks
25.67 € -
Foundations of Geometry
9.91 € -
Principles of Mathematics
34.47 € -
First-order Logic
9.91 € -19 % -
Handbook of Mathematical Induction
86.85 € -
Beginner's Further Guide To Mathematical Logic, A
32.32 € -
Names of the Lion
17.89 € -4 % -
Categories for the Working Mathematician
66.49 € -7 % -
Conceptual Mathematics
66.59 € -
Mathematical Logic
90.63 € -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
66.69 € -
Kurt Goedel: Collected Works
101.88 € -
My Best Mathematical and Logic Puzzles
10.83 € -4 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
32.32 € -
Introduction to Logic
13.19 € -19 % -
Proofs and Refutations
24.03 € -11 %
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)