Articles liés à Logik für die Informatik: Eine Einführung in die Aussagenlog...
Logik für die Informatik: Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie - Couverture souple
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Markus Junker hat Mathematik in Mainz und Paris studiert und in mathematischer Logik promoviert. Er ist Privatdozent an der Albert-Ludwigs-Universität Freiburg.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Logik für die Informatik: Eine Einführung in die Aussagenlog...
Image d'archives
Logik für die Informatik (ger)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur ZRKIXRWGFH
Acheter neuf
EUR 34,64
Expédition à EUR 5,50
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logik für die Informatik
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer Vieweg, 2025
ISBN 10 : 3662708248
ISBN 13 : 9783662708248
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 254 pp. Deutsch. N° de réf. du vendeur 9783662708248
Acheter neuf
EUR 37,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logik für die Informatik
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Deutsch. N° de réf. du vendeur 9783662708248
Acheter neuf
EUR 37,99
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Edité par
Springer Berlin Heidelberg, 2025
ISBN 10 : 3662708248
ISBN 13 : 9783662708248
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783662708248
Acheter neuf
EUR 37,99
Expédition à EUR 62,31
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logik für die Informatik | Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Edité par
Springer Berlin Heidelberg, 2025
ISBN 10 : 3662708248
ISBN 13 : 9783662708248
Neuf
Taschenbuch
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Logik für die Informatik | Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie | Markus Junker | Taschenbuch | xvi | Deutsch | 2025 | Springer Berlin Heidelberg | EAN 9783662708248 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 133765932
Acheter neuf
EUR 37,99
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)