Beschreibung
Produktdetails
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Nein
Erscheinungsdatum
28.07.2019
Verlag
Pearson Education DESeitenzahl
256 (Printausgabe)
Dateigröße
2295 KB
Auflage
1. Auflage
Sprache
Deutsch
EAN
9783863267391
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!
Über die Autoren:
MARTIN KREUZER ist Professor für Mathematik an der Universität Dortmund und bietet für die Informatikstudenten im Grundstudium die Vorlesung Logik für Informatiker an.
STEFAN KÜHLING lehrt am Fachbereich Mathematik der Universität Dortmund.
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:
-> Insgesamt etwa 170 Seiten Online-Materialien!
Über die Autoren:
MARTIN KREUZER ist Professor für Mathematik an der Universität Dortmund und bietet für die Informatikstudenten im Grundstudium die Vorlesung Logik für Informatiker an.
STEFAN KÜHLING lehrt am Fachbereich Mathematik der Universität Dortmund.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice