Zustandsbeschreibung: leichte Lagerspuren. Eine Einf�hrung in die Aussagenlogik, Pr�dikatenlogik und Berechenbarkeitstheorie. Das 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. XVI,254 Seiten mit 93 Abb., broschiert (Springer-Lehrbuch/Springer Vieweg 2025). Statt EUR 37,99. Gewicht: 479 g - Softcover/Taschenbuch.

Seller Inventory # 130638

Contact seller

Report this item

Bibliographic Details

Title

Logik f�r die Informatik

Publisher

Springer Vieweg

Publication Date

2025

Language

German

ISBN 10

3662708248

ISBN 13

9783662708248

Binding

Soft cover

Condition

Wie Neu

Weight

479 grams

Seller catalogs

About this title

Synopsis

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.

About the Author

Markus Junker hat Mathematik in Mainz und Paris studiert und in mathematischer Logik promoviert. Er ist Privatdozent an der Albert-Ludwigs-Universit�t Freiburg.

"About this title" may belong to another edition of this title.

Store Description

Sie finden bei uns �ber 44.000 Sonderangebote aus allen Geisteswissenschaften.

Visit Seller's Storefront

Seller's business information

SKULIMA Wiss. Versandbuchhandlung
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�fts- und Lieferbedingungen

Allgemeines - Geltungsbereich
Vertragsschluss
Eigentumsvorbehalt
Verg�tung
Gefahr�bergang
Gew�hrleistung
Haftungsbeschr�nkungen und -freistellung
Datenschutz
Schlussbestimmungen
Allgemeines - Geltungsbereich

1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.

1.2. Verbraucher i. S. d. Gesch�fts...

More Information

Shipping Terms

Die Ware wird in der Regel innerhalb von 2 Werktagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	14 to 60 business days	10 to 40 business days
First item	US$ 46.65	US$ 52.54

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.