Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik von Cornelius,  F., Ehrig,  Hartmut, Große-Rhode,  Martin, Mahr,  Bernd, Zeitz,  P.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. 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 wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.
Aktualisiert: 2023-07-02
> findR *

Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik von Cornelius,  F., Ehrig,  Hartmut, Große-Rhode,  Martin, Mahr,  Bernd, Zeitz,  P.
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. 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 wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Übungsaufgaben wurden ergänzt.
Aktualisiert: 2023-07-02
> findR *

Endliche Strukturen

Endliche Strukturen von Reiss,  Kristina, Stroth,  Gernot
Auch wenn die in dem Band behandelten mathematischen Fragen unterschiedlichen Bereichen entstammen, eines ist ihnen gemeinsam: Sie beziehen sich auf eine endliche Anzahl von Elementen. Das Buch konzentriert sich auf die grundlegenden algebraischen Strukturen Gruppe, Ring und Körper und liefert Einblicke in die Galois-, Codierungs- und Graphentheorie. Am Beispiel endlicher Strukturen zeigen die Autoren, welche Theorien auf Problemstellungen wie die Codierung von Nachrichten oder das Aufstellen von Tourenplänen angewendet werden können.
Aktualisiert: 2023-07-02
> findR *

Elementare Aussagenlogik

Elementare Aussagenlogik von Bauer,  Friedrich L., Wirsing,  Martin
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen.
Aktualisiert: 2023-07-02
> findR *

Algorithmische Geometrie

Algorithmische Geometrie von Joswig,  Michael, Theobald,  Thorsten
In dem Lehrbuch wird eine mathematisch orientierte Einführung in die algorithmische Geometrie gegeben. Im ersten Teil werden „klassische“ Probleme und Techniken behandelt, die sich auf polyedrische (= linear begrenzte) Objekte beziehen. Hierzu gehören beispielsweise Algorithmen zur Berechnung konvexer Hüllen und die Konstruktion von Voronoi-Diagrammen. Im zweiten Teil werden grundlegende Methoden der algorithmischen algebraischen Geometrie entwickelt und anhand von Anwendungen aus Computergrafik, Kurvenrekonstruktion und Robotik illustriert. Das Buch eignet sich für ein fortgeschrittenes Modul in den derzeit neu konzipierten Bachelor-Studiengängen in Mathematik und Informatik.
Aktualisiert: 2023-07-02
> findR *

Mathematik für Informatiker

Mathematik für Informatiker von Schubert,  Matthias
Dieses Buch entstand ausgehend von der Frage, welche Mathematik Informatiker wirklich brauchen. Es vermittelt das mathematische Handwerkszeug fundiert und mathematisch präzise. Zugleich macht es deutlich, an welchen Stellen Sie dieses Wissen als Informatiker brauchen werden. Die große Anzahl von Übungsaufgaben hilft Ihnen, sich ganz gezielt auf Prüfungen vorzubereiten.
Aktualisiert: 2023-07-02
> findR *

Mathematik für Informatiker

Mathematik für Informatiker von Schubert,  Matthias
Dieses Buch entstand ausgehend von der Frage, welche Mathematik Informatiker wirklich brauchen. Es vermittelt das mathematische Handwerkszeug fundiert und mathematisch präzise. Zugleich macht es deutlich, an welchen Stellen Sie dieses Wissen als Informatiker brauchen werden. Die große Anzahl von Übungsaufgaben hilft Ihnen, sich ganz gezielt auf Prüfungen vorzubereiten.
Aktualisiert: 2023-07-02
> findR *

Mathematik für Informatiker

Mathematik für Informatiker von Schubert,  Matthias
Dieses Buch entstand ausgehend von der Frage, welche Mathematik Informatiker wirklich brauchen. Es vermittelt das mathematische Handwerkszeug fundiert und mathematisch präzise. Zugleich macht es deutlich, an welchen Stellen Sie dieses Wissen als Informatiker brauchen werden. Die große Anzahl von Übungsaufgaben hilft Ihnen, sich ganz gezielt auf Prüfungen vorzubereiten.
Aktualisiert: 2023-07-02
> findR *

Algebra und Diskrete Mathematik für Informatiker

Algebra und Diskrete Mathematik für Informatiker von Denecke,  Klaus
Die Themen aus Algebra und Diskreter Mathematik, die Informatiker in erster Linie benötigen, finden sich in dieser leicht verständlichen Einführung. Mathematik wird Studienanfängern als elementares Werkzeug zur Darstellung, Beschreibung, Abstraktion und Symbolisierung vermittelt. Die Bedeutung algebraischer Strukturen in der Kodierungstheorie, in der Automatentheorie und in der Theorie Formaler Sprachen wird in besonderem Maße verdeutlicht. Das Buch enthält zahlreiche Beispiele und Übungsaufgaben mit kompletten Lösungen.
Aktualisiert: 2023-07-02
> findR *
MEHR ANZEIGEN

Bücher zum Thema Algebraische Strukturen

Sie suchen ein Buch über Algebraische Strukturen? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Algebraische Strukturen. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Algebraische Strukturen im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Algebraische Strukturen einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Algebraische Strukturen - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Algebraische Strukturen, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Algebraische Strukturen und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.