Logik für die Informatik: Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Markus Junker hat Mathematik in Mainz und Paris studiert und in mathematischer Logik promoviert. Er ist Privatdozent an der Albert-Ludwigs-Universität Freiburg.
Dalla quarta di copertina
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.
Der Inhalt
- Aussagenlogik
- Boole'sche Algebren
- Prädikatenlogik
- Kalküle und Vollständigkeit
- Berechenbarkeit und Entscheidbarkeit
- Turing-Maschinen
- Rekursive Funktionen
Der Autor
Markus Junker hat Mathematik in Mainz und Paris studiert und in mathematischer Logik promoviert. Er ist Privatdozent an der Albert-Ludwigs-Universität Freiburg.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logik für die Informatik: Eine Einführung in die Aussagenlog...
Foto dell'editore
Logik für die Informatik (ger)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo ZRKIXRWGFH
Compra nuovo
EUR 34,64
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logik fur die Informatik: Eine Einfuhrung in die Aussagenlogik, Pradikatenlogik und Berechenbarkeitstheorie
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26403677920
Compra nuovo
EUR 57,41
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Logik für die Informatik
ISBN 10: 3662708248
ISBN 13: 9783662708248
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783662708248
Compra nuovo
EUR 37,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logik fur die Informatik: Eine Einfuhrung in die Aussagenlogik, Pradikatenlogik und Berechenbarkeitstheorie
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 410524991
Compra nuovo
EUR 55,29
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logik für die Informatik
Da: SKULIMA Wiss. Versandbuchhandlung, Westhofen, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Wie Neu. 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. Codice articolo 130638
Compra usato
EUR 24,90
Spedizione EUR 40,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logik fur die Informatik: Eine Einfuhrung in die Aussagenlogik, Pradikatenlogik und Berechenbarkeitstheorie
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18403677930
Compra nuovo
EUR 55,84
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Logik für die Informatik
Print on DemandDa: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783662708248
Compra nuovo
EUR 37,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Editore:
Springer Berlin Heidelberg, 2025
ISBN 10: 3662708248
ISBN 13: 9783662708248
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783662708248
Compra nuovo
EUR 37,99
Spedizione EUR 62,31
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logik für die Informatik | Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Logik für die Informatik | Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie | Markus Junker | Taschenbuch | xvi | Deutsch | 2025 | Springer | 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. Codice articolo 133765932
Compra nuovo
EUR 37,99
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili