home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
| book details |
Logik für die Informatik: Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
By (author)
Markus Junker
| on special |
normal price: R 1 648.95
Price: R 1 566.95
| add to trolley |
processing...
| book description |
Dieses Lehrbuch bietet eine Einführung in die Aussagenlogik, die Prädikatenlogik erster Stufe und die Berechenbarkeitstheorie. Schwerpunkte liegen auf Aspekten der Formalen Logik, die für die Informatik interessant sind, z.B. verschiedene Verfahren zum Testen von Erfüllbarkeit, Turing-Maschinen und das Halteproblem, Satz von Cook. Schwierige Beweise sind nur skizziert. Das Buch erreicht dadurch eine gute Mischung aus mathematischer Präzision und Erläuterungen, ohne ausufernd zu werden. Viele Beispiele und zahlreiche Übungen, nach Kapiteln unterteilt, ergänzen das didaktische Angebot des Buches.
| product details |
Normally shipped |
Usually dispatched in 3 to 4 weeks as supplier is out of stock
Publisher |
Springer Fachmedien Wiesbaden
Published date |
1 Aug 2025
Language |
German
Format |
Paperback / softback
Pages |
254
Dimensions |
240 x 168 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-6627-0824-8
Readership Age |
BISAC |
computers / computer science
| other options |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER
Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
| more |
| add to trolley |
processing...
Exiles: Times book of the month 'Stanley Kubrick meets MR James'
Mason Coile
Paperback / softback
224 pages
was: R 542.95
now: R 488.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.
| more |
| add to trolley |
processing...
Theory & Practice
Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
| more |
| add to trolley |
processing...
The Correspondent
Virginia Evans
Hardback
288 pages
was: R 495.95
now: R 445.95
Forthcoming
| more |
| add to trolley |
processing...
Copyright 2026
|
terms and conditions
