Kód: 01241719
Mathematical Logic for Computer Science
Autor Mordechai Ben-Ari
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and mo ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 346
Nakladatelství: Springer London Ltd, 2012
- Více informací o knize
1977 Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-15 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Schaum's Outline of Boolean Algebra and Switching Circuits
725 Kč -
Influenza Virus and Vaccination
1187 Kč -
To Your Eternity 6
300 Kč -
Past Paper Pack for Cambridge English Key for Schools 2011 Exam Papers and Teacher's Booklet with Audio CD
1349 Kč -
Advanced Binary for Programming & Computer Science
1478 Kč -
Introduction to Digital Logic & Boolean Algebra: A Comprehensive Guide to Binary Operations, Logic Gates, Logical Expression Analysis and Number Repre
374 Kč -
Modern C++: Efficient and Scalable Application Development
1396 Kč -
Woodland Magic Painting Book
196 Kč -
America's Great Depression
458 Kč -
Famous Russian Aircraft: Mikoyan MiG-31
1520 Kč -
Pop Flip Cook
312 Kč -
Superman: The Man of Steel Volume 1
1011 Kč -
Twisted
544 Kč -
Nuclear Folly - A History of the Cuban Missile Crisis
836 Kč -
Avatar: The Last Airbender - The Art Of The Animated Series (second Edition)
965 Kč -
Illustrated Textbook of Paediatrics
1221 Kč -
Suicide Notes
312 Kč -
World Press Photo 2021
788 Kč -
Boys Run the Riot 2
302 Kč -
Embracing Modern C++ Safely
1268 Kč -
Essential Computer Science
1292 Kč -
Modern Parallel Programming with C++ and Assembly Language
1598 Kč -
Toilet-bound Hanako-kun, Vol. 14
277 Kč -
Magic and Dark Fantasy Coloring Collection
538 Kč -
Saga of Tanya the Evil, Vol. 10 (light novel)
300 Kč -
My Life in Dire Straits
303 Kč -
Carrie Soto Is Back
356 Kč -
Echoes of Eternity
419 Kč -
Five Survive
266 Kč -
Untitled Knockemout Book 3
238 Kč -
1,000 Conversation Questions
288 Kč -
The Challenger Sale
464 Kč -
Looking for Alaska
268 Kč -
Moonwalking with Einstein
347 Kč -
Level Up! - The Guide to Great Video Game Design 2e
758 Kč -
Psycho-Cybernetics
390 Kč -
Dragonlance Chronicles
678 Kč -
The Sagas of the Icelanders
556 Kč -
Consider The Lobster
302 Kč -
New Larousse Gastronomique
2216 Kč -
Book of Five Rings
208 Kč -
The Sorcerer'S Secrets
470 Kč -
Game of Thrones (Reissue)
302 Kč -
Conqueror
276 Kč -
Written in My Own Heart's Blood
444 Kč -
Francesca Woodman
898 Kč -
Challenger Customer
464 Kč -
Mastering the American Accent
559 Kč -
Astrology Reading Cards
462 Kč -
Botanical Folk Tales of Britain and Ireland
336 Kč -
Nopalito
600 Kč -
Leaf Supply
678 Kč -
Warriors Super Edition: Hawkwing's Journey
291 Kč -
D&D Adventure Grid
666 Kč -
Journal 29
391 Kč -
Non-Technical Guide to Web Technologies
315 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 Mathematical Logic for Computer Science
Nákupem získáte 198 bodů
Anotace knihy
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
1977 Kč
- Plný název: Mathematical Logic for Computer Science
- Autor: Mordechai Ben-Ari
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 346
- EAN: 9781447141280
- ISBN: 1447141288
- ID: 01241719
- Nakladatelství: Springer London Ltd
- Hmotnost: 544 g
- Rozměry: 231 × 153 × 19 mm
- Datum vydání: 17. June 2012
Oblíbené z jiného soudku
-
Set Theory
854 Kč -
Foundations of Mathematics
900 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
350 Kč -
Goedel's Proof
361 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
330 Kč -
Oxford Handbook of Philosophy of Mathematics and Logic
1804 Kč -
Questions, Inferences, and Scenarios
594 Kč -
Schaum's Outline of Set Theory and Related Topics
598 Kč -
Logic
303 Kč -
Logic: A Very Short Introduction
268 Kč -
Beginner's Guide to Mathematical Logic
570 Kč -
Illustrated Book of Bad Arguments
332 Kč -
In Pursuit of the Traveling Salesman
424 Kč -
Taking Sudoku Seriously
1416 Kč -
2000 Solved Problems in Discrete Mathematics
734 Kč -
Logician and the Engineer
470 Kč -
Higher Topos Theory (AM-170)
3115 Kč -
Naive Set Theory
276 Kč -
Art of Proof
1221 Kč -
Algebras and Representation Theory
1164 Kč -
Naive Set Theory
547 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?
303 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
541 Kč -
Concise Introduction to Pure Mathematics
1569 Kč -
Model Theory
728 Kč -
Axiom of Choice
322 Kč -
Category Theory
1755 Kč -
Teaching Multiplication Using LEGO(R) Bricks
595 Kč -
Foundations of Geometry
234 Kč -
Principles of Mathematics
815 Kč -
First-order Logic
237 Kč -
Handbook of Mathematical Induction
1959 Kč -
Beginner's Further Guide To Mathematical Logic, A
750 Kč -
Names of the Lion
442 Kč -
Categories for the Working Mathematician
1644 Kč -
Conceptual Mathematics
1578 Kč -
Mathematical Logic
1892 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
260 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
779 Kč -
Introduction to Logic
322 Kč -
Proofs and Refutations
606 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
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)