Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

AvMarkus Junker

Häftad, Tyska, 2025

388 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

367 kr

Beskrivning

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.

Produktinformation

Utforska kategorier

Mer om författaren

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Gabrielle H. Williamson, Bernd Wegmann, Mikio Tanaka, Benno Schwarz, Reiner Ponschab, Thomas Pattloch, Wolfram Meven, Fredmund Malik, Tim Luthra, Clemens Kochinke, Dagmar Knigge, Dirk Knesebeck, Selim Keki, Markus Junker, Martin Imbeck, Jan Curschmann, Gerhard Pischel, Benno Heussen - Handbuch Vertragsverhandlung und Vertragsmanagement, E-bok

Handbuch Vertragsverhandlung und Vertragsmanagement

Gabrielle H. Williamson, Bernd Wegmann, Mikio Tanaka, Benno Schwarz, Reiner Ponschab, Thomas Pattloch, Wolfram Meven, Fredmund Malik, Tim Luthra, Clemens Kochinke, Dagmar Knigge, Dirk Knesebeck, Selim Keki, Markus Junker, Martin Imbeck, Jan Curschmann, Gerhard Pischel, Benno Heussen

E-bok
2014

1 726 kr

Hoppa över listan

Du kanske också är intresserad av

Gabrielle H. Williamson, Bernd Wegmann, Mikio Tanaka, Benno Schwarz, Reiner Ponschab, Thomas Pattloch, Wolfram Meven, Fredmund Malik, Tim Luthra, Clemens Kochinke, Dagmar Knigge, Dirk Knesebeck, Selim Keki, Markus Junker, Martin Imbeck, Jan Curschmann, Gerhard Pischel, Benno Heussen - Handbuch Vertragsverhandlung und Vertragsmanagement, E-bok

Handbuch Vertragsverhandlung und Vertragsmanagement

Gabrielle H. Williamson, Bernd Wegmann, Mikio Tanaka, Benno Schwarz, Reiner Ponschab, Thomas Pattloch, Wolfram Meven, Fredmund Malik, Tim Luthra, Clemens Kochinke, Dagmar Knigge, Dirk Knesebeck, Selim Keki, Markus Junker, Martin Imbeck, Jan Curschmann, Gerhard Pischel, Benno Heussen

E-bok
2014

1 726 kr