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.
Read More
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.
Read Less
Add this copy of Logik Für Die Informatik: Eine Einführung in Die to cart. $64.33, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2025 by Springer Vieweg.
Add this copy of Logik Für Die Informatik: Eine Einführung in Die to cart. $94.88, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2025 by Springer Vieweg.
Add this copy of Logik Für Die Informatik: Eine Einführung in Die to cart. $96.44, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2025 by Springer Vieweg.
