| 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 |

| 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 |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Order of Time

Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).

| more |

| add to trolley |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |

Helgoland: The Strange and Beautiful Story of Quantum Physics

Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
Available from overseas. Usually dispatched in 3 to 6 weeks

| more |

| add to trolley |