Introduction to Coalgebra

Towards Mathematics of States and Observation

Author: Bart Jacobs

Publisher: Cambridge University Press

ISBN: 1316833976

Category: Mathematics

Page: N.A

View: 9177

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. The theory is expressed in the language of category theory, which provides the right abstraction to make the similarity and duality between algebra and coalgebra explicit, and which the reader is introduced to in a hands-on manner. The book will be useful to mathematicians and (theoretical) computer scientists and will also be of interest to mathematical physicists, biologists and economists.

Foundations of Software Science and Computation Structures

21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Author: Christel Baier,Ugo Dal Lago

Publisher: Springer

ISBN: 3319893661

Category: Computers

Page: 583

View: 8557

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Author: Sergei Artemov,Anil Nerode

Publisher: Springer

ISBN: 3319720562

Category: Mathematics

Page: 369

View: 3956

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda andcombinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

Optimierung und Approximation

Author: Werner Krabs

Publisher: Springer-Verlag

ISBN: 3322948870

Category: Technology & Engineering

Page: 209

View: 6828

Logische Untersuchungen

Author: Gottlob Frege,Günther Patzig

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525340318

Category: History

Page: 172

View: 3367

Mathematisches Denken

Vom Vergnügen am Umgang mit Zahlen

Author: T.W. Körner

Publisher: Springer-Verlag

ISBN: 3034850018

Category: Science

Page: 719

View: 8127

Dieses Buch wendet sich zuallererst an intelligente Schüler ab 14 Jahren sowie an Studienanfänger, die sich für Mathematik interessieren und etwas mehr als die Anfangsgründe dieser Wissenschaft kennenlernen möchten. Es gibt inzwischen mehrere Bücher, die eine ähnliche Zielstellung verfolgen. Besonders gern erinnere ich mich an das Werk Vom Einmaleins zum Integral von Colerus, das ich in meiner Kindheit las. Es beginnt mit der folgenden entschiedenen Feststellung: Die Mathematik ist eine Mausefalle. Wer einmal in dieser Falle gefangen sitzt, findet selten den Ausgang, der zurück in seinen vormathematischen Seelenzustand leitet. ([49], S. 7) Einige dieser Bücher sind im Anhang zusammengestellt und kommen tiert. Tatsächlich ist das Unternehmen aber so lohnenswert und die Anzahl der schon vorhandenen Bücher doch so begrenzt, daß ich mich nicht scheue, ihnen ein weiteres hinzuzufügen. An zahlreichen amerikanischen Universitäten gibt es Vorlesungen, die gemeinhin oder auch offiziell als ,,Mathematik für Schöngeister'' firmieren. Dieser Kategorie ist das vorliegende Buch nicht zuzuordnen. Statt dessen soll es sich um eine ,,Mathematik für Mathematiker'' handeln, für Mathema tiker freilich, die noch sehr wenig von der Mathematik verstehen. Weshalb aber sollte nicht der eine oder andere von ihnen eines Tages den Autor dieses 1 Buches durch seine Vorlesungen in Staunen versetzen? Ich hoffe, daß auch meine Mathematikerkollegen Freude an dem Werk haben werden, und ich würde mir wünschen, daß auch andere Leser, bei denen die Wertschätzung für die Mathematik stärker als die Furcht vor ihr ist, Gefallen an ihm finden mögen.

Spectral Synthesis

Author: John J. Benedetto

Publisher: Springer-Verlag

ISBN: 3322966615

Category: Technology & Engineering

Page: 281

View: 7739

Einführung in die Modallogik

Author: G.E. Hughes,Max J. Cresswell

Publisher: Walter de Gruyter

ISBN: 3110830027

Category: Philosophy

Page: 350

View: 1562

Grundlagen der Mathematik II

Author: David Hilbert,Paul Bernays

Publisher: Springer-Verlag

ISBN: 3642868967

Category: Mathematics

Page: 568

View: 6535

Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein gehenden Darstellung zu bringen.

Ein Sommernachtstraum

Author: William Shakespeare

Publisher: Jazzybee Verlag

ISBN: 3849625923

Category:

Page: 96

View: 3977

Die Komödie Ein Sommernachtstraum oder Ein Mittsommernachtstraum (engl. A Midsummer Night's Dream) wurde 1595 oder 1596 von William Shakespeare geschrieben und vor 1600 uraufgeführt. Das Stück ist eines der meistgespielten Shakespeare-Stücke. In den englischsprachigen Ländern ist der Sommernachtstraum ein Klassiker für Schul- und Laientheaterinszenierungen. (aus wikipedia.de) Die Serie "Meisterwerke der Literatur" beinhaltet die Klassiker der deutschen und weltweiten Literatur in einer einzigartigen Sammlung. Lesen Sie die besten Werke großer Schriftsteller,Poeten, Autoren und Philosophen auf Ihrem elektronischen Lesegerät. Dieses Werk bietet zusätzlich * Eine Biografie/Bibliografie des Autors.

1089 oder das Wunder der Zahlen

eine Reise in die Welt der Mathematik

Author: David J. Acheson

Publisher: N.A

ISBN: 9783866470200

Category:

Page: 189

View: 497

Das Buch beginnt mit einem alten Zaubertrick - Man nehme eine 3-stellige Zahl, etwa 782, kehre sie um, ziehe die kleinere von der größeren ab und addiere dazu die Umkehrung. Also - 782 - 287 = 495, dann 495 + 594. Und schon ist man mitten in der Wunderwelt der Mathematik, denn das Ergebnis ist immer - 1089. Mit solchen und vielen weiteren Beispielen aus Alltag, Geschichte und Wissenschaft gelingt es David Acheson, die faszinierende Welt der Mathematik zu erschließen - ein geistreicher Überblick, eine für jeden verständliche Einführung.

Embedded Intelligent Systems

Author: Peter Nauth

Publisher: Walter de Gruyter

ISBN: 3486593285

Category: Technology & Engineering

Page: 208

View: 4865

Das Buch vermittelt Kenntnisse zur Technologie und dem Design von Embedded Intelligent Systems. Dazu werden neben der Kernproblematik von Embedded Intelligent Systems (Architektur, Eigenschaften und Leistungsmerkmale verschiedener Mikrocontroller, Peripherieankopplung, Programmierung in Assembler und C) auch Embedded Intelligence Algorithmen zur Signalauswertung (z.B. Mustererkennungsverfahren) näher erläutert. Beispiele zur Entwicklung von intelligenten embedded Sensoren (Spracherkennung, Smart Sensors, integrierte Abstandswarnsysteme, intelligente Kameras) vertiefen die Theorie und beschreiben Managementmethoden bei der Entwicklung kompletter Embedded Intelligent Systems. Erläuternde Beispiele sowie zahlreiche Übungsbeispiele zur Programmierung eines Prozessors veranschaulichen den Aufbau und die Theorie der Embedded Intelligent Systems. Viele dieser Beispiele finden sich auf der CD zum Lehrbuch.

Lokal präsentierbare Kategorien

Author: Peter Gabriel,Friedrich Ulmer

Publisher: Springer-Verlag

ISBN: 3540368868

Category: Mathematics

Page: 200

View: 3090

Raum, Zeit, Materie

Author: Hermann Weyl

Publisher: Рипол Классик

ISBN: 5880098028

Category: History

Page: N.A

View: 9484

Manifolds and Modular Forms

Author: Friedrich Hirzebruch

Publisher: Springer-Verlag

ISBN: 3663140458

Category: Mathematics

Page: 212

View: 6670

Vorlesungen über Geometrie der Algebren

Geometrien von Möbius, Laguerre-Lie, Minkowski in einheitlicher und grundlagengeometrischer Behandlung

Author: Walter Benz

Publisher: Springer-Verlag

ISBN: 3642886701

Category: Mathematics

Page: 368

View: 2443