Mathematisch-strukturelle Grundlagen der Informatik. (Springer Lehrbuch) (Taschenbuch) von Hartmut Ehrig, Bernd Mahr, Felix Cornelius   Kurzbeschreibung: Im Mittelpunkt des Buches stehen die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik. Sie sind für das Verständnis des formalisierten Problemlösens entscheidend und damit für den Informatiker unerläßlich. Eine Einführung in die intuitive Mengentheorie vermittelt die notwendigen mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden algebraische Strukturen in der Informatik behandelt. Außerdem stellt das Buch Aussagen- und Prädikatenlogik aus der Sicht der Mathematik und Informatik dar. Die Kategorientheorie für Informatiker führt schließlich in die Welt der Abstraktion ein. Lesen Sie mehr... Rezensionen ansehen...   Angebote zu  Mathematisch ,  Grundlagen ,  Informatik  ab 1 Euro! Siehe auch folgende Artikel: Funktionale Programmierung in OPAL, ML, HASKELL und GOFER. (Springer Lehrbuch) von Peter Pepper Programmieren lernen von Peter Pepper Algorithmen und Datenstrukturen. Eine Einführung mit Java von Gunter Saake Volkswirtschaftslehre. Eine Einführung in das ökonomische Denken: Eine Einfhrung in Das Konomische Denken (Physica-Lehrbuch) von Horst Tomann Mehr zu  Computers & Internet,  Algebra,  Angewandte Mathematik,  Algorithmentheorie,  Theoretische Informatik,  Kategorientheorie,  Algebraische Logik & Quantum-Logik,  Logik,  German,  Logic,  Logic,  Fachbücher Home ...,    Angebote ansehen ...,    Begleitseite ... Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von Amazon.de Copyright © DomainLoc.com GmbH (Impressum)