Logik fur die Informatik

Eine Einfuhrung in die Aussagenlogik, Pradikatenlogik und Berechenbarkeitstheorie

AvMarkus Junker

E-bok

Tyska, 2025

379 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Fler format och utgåvor

Häftad

392 kr

Beskrivning

Dieses Lehrbuch bietet eine Einfuhrung in die Aussagenlogik, die Pradikatenlogik erster Stufe und die Berechenbarkeitstheorie. Schwerpunkte liegen auf Aspekten der Formalen Logik, die fur die Informatik interessant sind, z.B. verschiedene Verfahren zum Testen von Erfullbarkeit, Turing-Maschinen und das Halteproblem, Satz von Cook. Schwierige Beweise sind nur skizziert. Das Buch erreicht dadurch eine gute Mischung aus mathematischer Prazision und Erlauterungen, ohne ausufernd zu werden. Viele Beispiele und zahlreiche Ubungen, nach Kapiteln unterteilt, erganzen das didaktische Angebot des Buches.

Produktinformation

Utgivningsdatum:2025-07-31
Språk:Tyska
Filformat:EPUB
Kopieringsskydd:LCP
ISBN:9783662708255
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Mer från samma författare

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