-
Tipp für Studenten
Ein Jahr Prime kostenlos und einen 20% erhöhten Eintauschwert auf Trade-In erhalten alle Studenten die bei Amazon Student angemeldet sind.
 Gutschein erhalten
Tauschen Sie jetzt Logik für Informatiker gegen einen Amazon-Gutschein in Höhe von EUR 3,95 ein - einlösbar für Tausende von Artikeln bei Amazon.de. Entdecken Sie mehr eintauschbare Bücher im Bücher Trade-In Shop. Bitte beachten Sie die Teilnahmebedingungen.
 Jetzt für Amazon Student anmelden und um 20% erhöhten Eintauschwert sichern. |
Hinweise und Aktionen
Wird oft zusammen gekauft
Produktinformation
|
Mehr über die Autoren
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
Produktbeschreibungen
Kurzbeschreibung
Logik für Informatiker ist ein einführendes Lehrbuch zur Logik-Vorlesung für das Grund- und Bachelorstudium. Der Schwerpunkt liegt dabei in der hohen Praxisrelevanz und der Anwendbarkeit in der Informatik. Die Autoren behandeln alle relevanten klassischen und modernen Logiksysteme. Und logische Systeme sind für jeden angehenden Informatiker von grundlegender Bedeutung, da sie für bestimmte Gebiete der Informatik das theoretische Fundament liefern. Die Autoren bieten eine leicht verständliche Einführung in die Logik, soweit diese für moderne Informatik relevant ist. Auf Grund mehrjähriger Lehrerfahrung wissen die Autoren, welche Verständnisschwierigkeiten bei Studenten auftreten können, und bemühen sich daher in besonderer Weise um einen ansprechenden und allgemein nachvollziehbaren Zugang zur Logik. So wird die jeweils neu eingeführte Theorie an fortlaufenden Beispielen ausprobiert. Viele dieser Beispiele sind im Stile von Übungsaufgaben mit Lösungen gehalten, so dass der Leser bereits Ansätze und Lösungsmethoden für die späteren Übungen aufnimmt. Zahlreiche Übungsaufgaben mit Kurzlösungen verleiten zum Austesten des Erlernten und sind bewusst unterhaltsam gehalten.
Umschlagtext
Zum Buch:
Das Buch stellt verschiedene logische Systeme vor, die in der Informatik von Bedeutung sind. Dabei schließt die Stoffauswahl nicht nur die klassischen Gebiete der Aussagen- und Prädikatenlogik ein, sondern behandelt z.B. auch die Gleichungslogik und Modallogik sowie allgemeine logische Systeme. Die Präsentation des Stoffs ist auf die Bedürfnisse von Informatikstudenten abgestimmt. Das Buch ist mathematisch exakt und enthält vollständige und korrekte Beweise, ohne zu formell zu sein. Spezialnotationen der Logik werden auf das absolut Notwendige reduziert. Großen Wert legt der Autor auf die Motivation des Stoffs durch Beispiele aus der Informatik. Viele abwechslungsreiche und originelle Übungsaufgaben fördern das Verständnis und geben dem Leser Gelegenheit, den Lernerfolg selbst zu überprüfen.
Auf der Companion Website:
Für Dozenten:Ausführliche Lösungswegbeschreibungen der Buchaufgaben Folien zum sofortigen Vorlesungseinsatz
Für Studenten:Zusätzliche Übungsaufgaben mit vollständigen Lösungen -> Insgesamt etwa 170 Seiten Online-Materialien!
Das Buch stellt verschiedene logische Systeme vor, die in der Informatik von Bedeutung sind. Dabei schließt die Stoffauswahl nicht nur die klassischen Gebiete der Aussagen- und Prädikatenlogik ein, sondern behandelt z.B. auch die Gleichungslogik und Modallogik sowie allgemeine logische Systeme. Die Präsentation des Stoffs ist auf die Bedürfnisse von Informatikstudenten abgestimmt. Das Buch ist mathematisch exakt und enthält vollständige und korrekte Beweise, ohne zu formell zu sein. Spezialnotationen der Logik werden auf das absolut Notwendige reduziert. Großen Wert legt der Autor auf die Motivation des Stoffs durch Beispiele aus der Informatik. Viele abwechslungsreiche und originelle Übungsaufgaben fördern das Verständnis und geben dem Leser Gelegenheit, den Lernerfolg selbst zu überprüfen.
Auf der Companion Website:
Für Dozenten:
Für Studenten:
Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?
Tags, die Kunden mit diesem Produkt verbinden(Was ist das?)Klicken Sie zum Suchen verwandter Artikel, Diskussionen oder Personen auf ein Tag.
|
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Die hilfreichsten Kundenrezensionen
5 von 5 Kunden fanden die folgende Rezension hilfreich
Format:Broschiert
Ein gelungenes Werk, dass die komplexe Welt der Logik anschaulich vermittelt.
Die Autoren schaffen es, die fuer Informatiker relevanten logischen Systeme auf anschauliche Art und Weise vorzustellen und zu erklaeren, ohne dabei auf mathematische Korrektheit zu verzichten.
Jedes Kapitel beginnt mit einer kleinen, meist humoristisch gehaltenen Einleitung, die in das neue Thema einfuehrt und immer wieder motiviert weiterzulesen. Die Theorie, die in den einzelnen Kapiteln behandelt wird, wird begleitet von Beispielaufgaben, an denen gezeigt wird, wie man den theoretischen Teil auf konkrete Aufgabenstellungen anwenden kann. Am Ende eines jeden Kapitels finden sich Uebungsaufgaben. Diese sind sehr gut auf die behandelte Materie abgestimmt. Es ist den Autoren das Kunststueck gelungen, eine Sammlung von Aufgaben zusammenzustellen, deren Bearbeitung nicht nur zum Verstaendnis des Stoffes beitraegt, sondern nebenbei auch noch Spass macht. Am Ende des Buches finden sich Loesungshinweise zu den einzelnen Aufgaben, die einen bei der Bearbeitung der Aufgaben in die richtige Richtung lenken, falls man einmal nicht selbst auf einen Loesungsweg kommt.
Dem gesamten Buch ist die Erfahrung der Autoren im Umgang mit Studenten anzumerken. So finden sich genau an den richtigen Stellen ausfuehrlichere Erklaerungen und in den Loesungshinweisen wird auf die typischen Probleme, die bei der Bearbeitung auftreten, eingegangen.
Sollten die Aufgaben im Buch nicht ausreichend sein, so findet sich auf einer CompanionWebsite viel Zusatzmaterial - Aufgaben mit komplett ausgearbeiteten Loesungen und fuer Dozenten auch die vollstaendig ausgearbeiteten Loesungen zu den Aufgaben im Buch.
Alles in allem: ein Lehrbuch mit dem das Lernen Spass macht - nicht nur Informatikern.
Die Autoren schaffen es, die fuer Informatiker relevanten logischen Systeme auf anschauliche Art und Weise vorzustellen und zu erklaeren, ohne dabei auf mathematische Korrektheit zu verzichten.
Jedes Kapitel beginnt mit einer kleinen, meist humoristisch gehaltenen Einleitung, die in das neue Thema einfuehrt und immer wieder motiviert weiterzulesen. Die Theorie, die in den einzelnen Kapiteln behandelt wird, wird begleitet von Beispielaufgaben, an denen gezeigt wird, wie man den theoretischen Teil auf konkrete Aufgabenstellungen anwenden kann. Am Ende eines jeden Kapitels finden sich Uebungsaufgaben. Diese sind sehr gut auf die behandelte Materie abgestimmt. Es ist den Autoren das Kunststueck gelungen, eine Sammlung von Aufgaben zusammenzustellen, deren Bearbeitung nicht nur zum Verstaendnis des Stoffes beitraegt, sondern nebenbei auch noch Spass macht. Am Ende des Buches finden sich Loesungshinweise zu den einzelnen Aufgaben, die einen bei der Bearbeitung der Aufgaben in die richtige Richtung lenken, falls man einmal nicht selbst auf einen Loesungsweg kommt.
Dem gesamten Buch ist die Erfahrung der Autoren im Umgang mit Studenten anzumerken. So finden sich genau an den richtigen Stellen ausfuehrlichere Erklaerungen und in den Loesungshinweisen wird auf die typischen Probleme, die bei der Bearbeitung auftreten, eingegangen.
Sollten die Aufgaben im Buch nicht ausreichend sein, so findet sich auf einer CompanionWebsite viel Zusatzmaterial - Aufgaben mit komplett ausgearbeiteten Loesungen und fuer Dozenten auch die vollstaendig ausgearbeiteten Loesungen zu den Aufgaben im Buch.
Alles in allem: ein Lehrbuch mit dem das Lernen Spass macht - nicht nur Informatikern.
5 von 5 Kunden fanden die folgende Rezension hilfreich
Format:Broschiert
Das Buch ist ähnlich einem Vorlesungsskript aufgemacht: Die einzelnen Kapitel sind in viele kleine Definitionen, Sätze, Lemmata und Beispiele gegliedert. Darüber hinaus gibt es allerdings am Ende jedes Kapitels eine ganze Reihe von Übungsaufgaben, die im Gegensatz zu dem, was die meisten von der Uni kennen, interessant und witzig gestaltet sind. Insgesamt haben Martin Kreuzer und Stefan Kühling es geschafft, das Wissen mit Witz und Humor zu vermitteln und den trockenen Stoff für Informatiker etwas schmackhafter zu machen. Im Anhang findet man dann noch einige Tipps zu den Übungsaufgaben, die man nachschlagen kann, wenn man einmal nicht weiter weiß. Die kompletten Lösungen sind allerdings nur für Dozenten auf der Website des Verlages einsehbar. Doch für Studenten findet man auf der Seite auch noch einige Übungsaufgaben, mit denen man sich für Prüfungen vorbereiten und sein Wissen testen kann.
Für Studenten ist die Veranstaltung 'Logik für Informatiker' zu Beginn recht einfach. Die Aussagenlogik ist meist noch aus der Schule bekannt und so sieht es nach einer einfachen Semesterveranstaltung aus. Wenn man dann das erste Mal mit Kalkülen in Berührung kommt, beginnt man zu ahnen, dass es heftig wird und spätestens bei der Prädikatenlogik möchte man nur noch wegrennen. Mit diesem Buch wird sich der Stoff nicht ändern, aber die beiden Autoren schaffen es, die Angst vor dem Stoff und der Komplexität des Gelehrten zu nehmen und es verständlich zu erklären. Professoren sollte man dieses Buch als Grundlage dringend empfehlen, denn so können sie den Studenten das Lernen erleichtern und das Gelehrte bleibt länger in den Köpfen vorhanden.
Fazit:
Logik ist für Informatiker oftmals ein Grund zum Wegrennen. Doch dieses Buch schafft es, sie interessant zu gestalten und leicht alle wichtigen Grundlagen und Weiterführungen zu vermitteln, so dass sie sogar noch über die Prüfungen hinaus im Gedächtnis des Studenten bleiben. Für Informatik-Studenten ein Muss, für Professoren, die eine Logik-Vorlesung halten, sollte es ein Muss werden. Aus eigener Erfahrung kann ich dies den Professoren nur ans Herz legen!
Für Studenten ist die Veranstaltung 'Logik für Informatiker' zu Beginn recht einfach. Die Aussagenlogik ist meist noch aus der Schule bekannt und so sieht es nach einer einfachen Semesterveranstaltung aus. Wenn man dann das erste Mal mit Kalkülen in Berührung kommt, beginnt man zu ahnen, dass es heftig wird und spätestens bei der Prädikatenlogik möchte man nur noch wegrennen. Mit diesem Buch wird sich der Stoff nicht ändern, aber die beiden Autoren schaffen es, die Angst vor dem Stoff und der Komplexität des Gelehrten zu nehmen und es verständlich zu erklären. Professoren sollte man dieses Buch als Grundlage dringend empfehlen, denn so können sie den Studenten das Lernen erleichtern und das Gelehrte bleibt länger in den Köpfen vorhanden.
Fazit:
Logik ist für Informatiker oftmals ein Grund zum Wegrennen. Doch dieses Buch schafft es, sie interessant zu gestalten und leicht alle wichtigen Grundlagen und Weiterführungen zu vermitteln, so dass sie sogar noch über die Prüfungen hinaus im Gedächtnis des Studenten bleiben. Für Informatik-Studenten ein Muss, für Professoren, die eine Logik-Vorlesung halten, sollte es ein Muss werden. Aus eigener Erfahrung kann ich dies den Professoren nur ans Herz legen!
4 von 4 Kunden fanden die folgende Rezension hilfreich
Format:Broschiert
Ich kann es nicht verstehen, wieso dieses Buch eine Bewertung von ca. 4,5 Sternen erhält. Die ersten Abschnitte bis S.113 sind zwar ganz gut, die Fehlerkorrekturen sind jedoch unvollständig.
Hat schon mal jemand versucht die Beweise nachzuvollziehen?
Spätestens beim Beweis auf Seite 114 bei der Äquivalenz der Church-Rosser Eigenschaft und der Konfluenz scheitere ich.
Der Beweis scheint inkonsistent zu sein.
Das Versprechen des Buches, alle mathematisch Symbole zu erklären, stimmt auch nicht. (z.B. ist "<-" nicht erklärt.)
Außerdem verwendet das Buch unerklärte Ausdrücke aus der Mathematik, z.B. "abzählbar" und "abzählbar unendlich", die nicht erklärt sind.
Das Buch listet auch die Voraussetzungen für ein erfolgreiches Durcharbeiten nicht auf, und mir ist schleierhaft, wie einem dies gelingen könnte.
Insgesamt bewerte ich das Buch in Bezug auf die Qualität als eher durchschnittlich.
Hat schon mal jemand versucht die Beweise nachzuvollziehen?
Spätestens beim Beweis auf Seite 114 bei der Äquivalenz der Church-Rosser Eigenschaft und der Konfluenz scheitere ich.
Der Beweis scheint inkonsistent zu sein.
Das Versprechen des Buches, alle mathematisch Symbole zu erklären, stimmt auch nicht. (z.B. ist "<-" nicht erklärt.)
Außerdem verwendet das Buch unerklärte Ausdrücke aus der Mathematik, z.B. "abzählbar" und "abzählbar unendlich", die nicht erklärt sind.
Das Buch listet auch die Voraussetzungen für ein erfolgreiches Durcharbeiten nicht auf, und mir ist schleierhaft, wie einem dies gelingen könnte.
Insgesamt bewerte ich das Buch in Bezug auf die Qualität als eher durchschnittlich.
Die neuesten Kundenrezensionen
Informatinese
Im Vorwort schreiben die Autoren u.a. sie wollen selbst erklärende Bezeichnungen, möglichst keine Spezialsymbole, verbalen Stil, leichte Zugänglichkeit mit Schuss... Lesen Sie weiter...
Veröffentlicht am 17. Februar 2010 von Physikus
Didaktik vom feinsten
Dieses Buch bietet die optimale und ideale Grundlage für den Informatikstudiengang.
Was in einigen anderen Büchern mit gleichem Titel erklärt wird, versteht man... Lesen Sie weiter...
Was in einigen anderen Büchern mit gleichem Titel erklärt wird, versteht man... Lesen Sie weiter...
Veröffentlicht am 30. Januar 2009 von T. Fingerlin
Logisch! Oder? Na klar
Die praxiserprobte Einführung bietet unterhaltsame Anekdoten und pfiffige Beispiele. Für den Einstieg in die doch manchmal trockene Materie "Logik" ist das Buch sehr... Lesen Sie weiter...
Veröffentlicht am 10. August 2007 von Informatik-Rezensentin
Für jedermann verständlich
In diesem Buch werden die Grundlagen der Logik sehr verständlich dargestellt. Dabei gehen die Autoren äußerst strukturiert vor: In jedem Kapitel wird, aufbauend... Lesen Sie weiter...
Veröffentlicht am 7. August 2007 von Holger Bluhm
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
|
|
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
