Code: 01399465
Logic for Computer Scientists
by 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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 168
Publisher: Birkhauser Boston Inc, 2008
- More about this
65.46 €
RRP: 72.57 €
You save 7.11 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Troubleshooting Analog Circuits
70.41 € -5 % -
The Bees
21.71 € -24 % -
Balzamovač 1
7.57 € -16 % -
French Secret Projects 2: Bombers, Patrol and Assault Aircraft
29.09 € -24 % -
Trýzeň
7.67 € -33 % -
Barbie - 3 Weihnachtsfilme
11.20 € -
Relentless
11.81 € -25 % -
Guía de constelaciones y estrellas
14.54 € -3 % -
POSTKOMUNISTICKÉ NEDEMOKRATICKÉ REŽIMY
6.86 € -16 % -
Logic in Computer Science
73.14 € -
Duke's Sister And I
15.75 € -15 % -
Medeltida Kalkm?lningar I Sk?nes Kyrkor...
30 € -2 % -
Emergencies in Gastroenterology and Hepatology
65.76 € -
Interview Intervention
21 € -24 % -
SPSS Explained
201.95 € -
Common Problems in Acute Care Surgery
150.83 € -9 % -
The Chace, The Turf And The Road (1850)
27.37 € -2 % -
ESTADO SOCIALIZANTE DE LOS DERECHOS HUMANOS
30.50 € -
Three Chord Songs
21 € -21 % -
European Constitution - Cases and Materials in EU and Member States' Law
173.56 € -
Management in a Dynamic Environment
57.28 € -
Plastic Surgeon Marketing Motto: The Secret Recipe To Grow Referrals
23.43 € -7 % -
Encyclopaedia of Mathematics
205.49 € -7 % -
La fascinación del líder : en torno a un libro olvidado de S. Freud sobre el presidente Wilson
13.12 € -
Notes to Mrs. Buttonhook
17.47 € -2 % -
Faversham - Landmark Dog of Manhattan
29.29 € -
Dissolved Organic Matter in Lacustrine Ecosystems
216.10 € -
Die Feier des Stundengebetes - Lektionar. Zweite Jahresreihe
27.57 € -
Christian and Warfare
27.87 € -24 % -
In der Anderswelt
11.81 € -10 % -
Pedro - Hombres y Mujeres de la Biblia
9.69 € -9 % -
Science with the New Generation of High Energy Gamma-Ray Experiments
113.35 € -
Hacker: Una aventura de acción y suspense
10.60 € -7 % -
Cacti, Snakes and Bedpans
11.91 € -2 % -
Ordonnance Concernant l'Infanterie Francoise
13.02 € -1 % -
Passwort Deutsch 3 - Slovníček (5-dílný)
12.92 € -
Alice and the Quantum Cat
15.75 € -9 % -
Impressions de Voyage. 3
18.38 € -
Ripples in Time, A.I. Godfather, Engineering Jesus
57.38 € -25 % -
China and the World: Ancient and Modern Silk Road - Volume 5
16.96 € -
Filosofía política
35.65 € -14 % -
Kreativer Computereinsatz im Kunstunterricht, m. 1 CD-ROM
33.03 € -
Genealogy of the Descendants of Joseph Sheldon of Suffield, Connecticut
15.65 € -2 % -
WooCommerce Cookbook
47.17 € -1 % -
Computer Science Logic
55.96 € -
Agenda subjectif de l'Histoire Décembre Tome 12
18.28 € -
Logic, Mathematics, and Computer Science
65.46 € -9 % -
Designs 2002
51.62 € -7 % -
Heimfahrt von Jerusalem
18.28 € -7 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Logic for Computer Scientists
You get 159 loyalty points
Book synopsis
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.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
65.46 €
- Full title: Logic for Computer Scientists
- Author: Uwe Schöning
- Language: English
- Binding: Paperback
- Number of pages: 168
- EAN: 9780817647629
- ISBN: 0817647627
- ID: 01399465
- Publisher: Birkhauser Boston Inc
- Weight: 320 g
- Dimensions: 236 × 162 × 12 mm
- Date of publishing: 11. January 2008
Trending among others
-
Logic: A Very Short Introduction
9.99 € -27 % -
Proofs and Refutations
21 € -24 % -
Foundation Maths
70.61 € -
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
90.51 € -
Philosophical Applications of Modal Logic
36.87 € -1 % -
Goedel's Proof
66.57 € -
Goedel's Proof
13.43 € -24 % -
Introduction to Logic and to the Methodology of Deductive Sciences
12.01 € -
To Mock a Mockingbird: and Other Logic Puzzles
14.94 € -25 % -
Beginner's Guide to Mathematical Logic
22.22 € -25 % -
Teaching Multiplication Using LEGO(R) Bricks
19.59 € -7 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
9.29 € -24 % -
Set Theory
25.75 € -9 % -
Naive Set Theory
9.79 € -
Set Theory and Logic
16.76 € -25 % -
Taking Sudoku Seriously
34.95 € -
Sets for Mathematics
67.98 € -
Naive Set Theory
10.30 € -
Lattice Theory: Special Topics and Applications
102.84 € -7 % -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.44 € -17 % -
Foundations of Mathematics and Other Logical Essays
17.47 € -
Model Theory
25.05 € -25 % -
First-order Logic
8.58 € -24 % -
Conceptual Mathematics
67.98 € -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.25 € -
Naive Set Theory
11.81 € -25 % -
Category Theory in Context
25.05 € -25 % -
Introduction to Mathematical Logic
21.61 € -25 % -
Math Mammoth Grade 4-B Worktext
21.11 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.82 € -
Lambda-Calculus and Combinators
91.12 € -
Categories for Types
91.12 € -
Illustrated Book of Bad Arguments
12.72 € -24 % -
Limitless Mind
16.86 € -25 % -
Can You Solve My Problems?
11.81 € -25 % -
Foundations of Geometry
9.79 € -
Topoi
21.51 € -25 % -
Categories for the Working Mathematician
56.47 € -9 % -
Undecidable Theories
11.31 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.25 € -
Algebraic Logic
11.31 € -15 % -
Set Theory and the Continuum Hypothesis
11.31 € -24 % -
Haskell Road to Logic, Maths and Programming
25.15 € -10 % -
Mathematical Logic
70.51 € -9 % -
Gödel's Incompleteness Theorems
55.46 € -9 % -
From Frege to Goedel
60.10 € -
Interactive Theorem Proving and Program Development
85.56 € -9 % -
Lattice Theory: Foundation
80.11 € -
Handbook of Epistemic Logic
29.79 € -10 %
Shopping guide
Books by language
Collection points Bratislava a 12944 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25892 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)