
Mathematisch-strukturelle Grundlagen der Informatik
29,99 €
inkl. MwStArtikel erhalten
Beschreibung
Details
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Ja
Erscheinungsdatum
07.03.2013
Verlag
SpringerSeitenzahl
622 (Printausgabe)
Dateigröße
51905 KB
Auflage
2. Auflage 2001
Sprache
Deutsch
EAN
9783642567926
Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schließlich führt die Kategorientheorie für Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.
Die Neuauflage enthält neue Kapitel Über Modellalgebra und Implementierung, über relevante Arten der Logik, sowie erweiterte Übungsaufgaben.
Prof. Ehrig und Prof. Mahr sind international anerkannte Experten auf den Gebieten Theoretische Informatik/Formale Spezifikation, Semantik von Programmier- und Spezifikationsspachen, logische Kalküle der Informatik sowie Kommunikations- und Softwaretechnik. Sie haben die dem Buch zugrundeliegenden Lehrveranstaltungen an der Technischen Universität Berlin konzipiert und seit mehr als zehn Jahren gehalten. Dabei wurden sie in den Jahren 1996 bis 1998 von ihren wissenschaftlichen Mitarbeitern F. Cornelius, M. Große-Rhode und P. Zeitz unterstützt, welche die Konzepte weiterentwickelt, neue didaktische Ansätze entworfen und diese mit großem Erfolg umgesetzt haben. Nach Abschluß ihrer Promotionen bekleiden F. Cornelius und P. Zeitz inzwischen Positionen in der freien Wirtschaft.
Weitere Bände von Springer-Lehrbuch
-
Zur Artikeldetailseite von Mengentheoretische Topologie des Autors Boto von Querenburg
Boto von Querenburg
Mengentheoretische TopologieeBook
39,99 €
-
Zur Artikeldetailseite von Mathematisch-strukturelle Grundlagen der Informatik des Autors Hartmut Ehrig
Hartmut Ehrig
Mathematisch-strukturelle Grundlagen der InformatikeBook
29,99 €
-
Zur Artikeldetailseite von Bankbetriebslehre des Autors Peter Betge
Peter Betge
BankbetriebslehreeBook
19,99 €
-
Zur Artikeldetailseite von Wirtschaftsinformatik im Dienstleistungsbereich des Autors Freimut Bodendorf
Freimut Bodendorf
Wirtschaftsinformatik im DienstleistungsbereicheBook
15,28 €
-
Zur Artikeldetailseite von Physik kompakt 3 des Autors Gunnar Lindström
Gunnar Lindström
Physik kompakt 3eBook
26,96 €
-
Zur Artikeldetailseite von Mathematik in Physik und Technik des Autors Ivan Kuscer
Ivan Kuscer
Mathematik in Physik und TechnikeBook
33,26 €
-
Zur Artikeldetailseite von Vergleichende Primatologie des Autors Thomas Geissmann
Thomas Geissmann
Vergleichende PrimatologieeBook
42,99 €
-
Zur Artikeldetailseite von Volkswirtschaftslehre für Juristen des Autors Henning Klodt
Henning Klodt
Volkswirtschaftslehre für JuristeneBook
33,26 €
-
Zur Artikeldetailseite von Robotik: Programmierung intelligenter Roboter des Autors Hans-Jürgen Siegert
Hans-Jürgen Siegert
Robotik: Programmierung intelligenter RobotereBook
33,26 €
-
Zur Artikeldetailseite von Analytische Chemie des Autors Hans Peter Latscha
Hans Peter Latscha
Analytische ChemieeBook
66,99 €
-
Zur Artikeldetailseite von Übersetzung objektorientierter Programmiersprachen des Autors Bernhard Bauer
Bernhard Bauer
Übersetzung objektorientierter ProgrammierspracheneBook
22,47 €
-
Zur Artikeldetailseite von Entscheidungstheorie des Autors Helmut Laux
Helmut Laux
EntscheidungstheorieeBook
22,47 €
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassenKurze 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