Kód: 01399465
Logic for Computer Scientists
Autor Uwe Schöning
This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative ex ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 168
Nakladatelství: Birkhauser Boston Inc, 2008
- Více informací o knize
Mohlo by se vám také líbit
-
Troubleshooting Analog Circuits
1530 Kč -
The Bees
496 Kč -
Balzamovač 1
170 Kč -
French Secret Projects 2: Bombers, Patrol and Assault Aircraft
610 Kč -
Trýzeň
199 Kč -
Barbie - 3 Weihnachtsfilme
258 Kč -
Relentless
267 Kč -
Guía de constelaciones y estrellas
352 Kč -
POSTKOMUNISTICKÉ NEDEMOKRATICKÉ REŽIMY
166 Kč -
Logic in Computer Science
1682 Kč -
Duke's Sister And I
359 Kč -
Medeltida Kalkm?lningar I Sk?nes Kyrkor...
728 Kč -
ESTADO SOCIALIZANTE DE LOS DERECHOS HUMANOS
740 Kč -
European Constitution - Cases and Materials in EU and Member States' Law
4207 Kč -
Management in a Dynamic Environment
1386 Kč -
Common Problems in Acute Care Surgery
3451 Kč -
Notes to Mrs. Buttonhook
424 Kč -
In der Anderswelt
269 Kč -
Pedro - Hombres y Mujeres de la Biblia
221 Kč -
The Chace, The Turf And The Road (1850)
663 Kč -
Christian and Warfare
675 Kč -
La fascinación del líder : en torno a un libro olvidado de S. Freud sobre el presidente Wilson
318 Kč -
Die Feier des Stundengebetes - Lektionar. Zweite Jahresreihe
667 Kč -
Science with the New Generation of High Energy Gamma-Ray Experiments
2744 Kč -
Dissolved Organic Matter in Lacustrine Ecosystems
5236 Kč -
Ordonnance Concernant l'Infanterie Francoise
315 Kč -
Cacti, Snakes and Bedpans
289 Kč -
Passwort Deutsch 3 - Slovníček (5-dílný)
314 Kč -
Alice and the Quantum Cat
361 Kč -
Genealogy of the Descendants of Joseph Sheldon of Suffield, Connecticut
380 Kč -
China and the World: Ancient and Modern Silk Road - Volume 5
393 Kč -
Filosofía política
813 Kč -
Impressions de Voyage. 3
445 Kč -
WooCommerce Cookbook
1143 Kč -
Computer Science Logic
1355 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 Logic for Computer Scientists
Nákupem získáte 150 bodů
Anotace knihy
This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
1500 Kč
- Plný název: Logic for Computer Scientists
- Autor: Uwe Schöning
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 168
- EAN: 9780817647629
- ISBN: 0817647627
- ID: 01399465
- Nakladatelství: Birkhauser Boston Inc
- Hmotnost: 320 g
- Rozměry: 236 × 162 × 12 mm
- Datum vydání: 11. January 2008
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)