Foundations of the Formal Sciences V

Infinite Games

Author: Stefan Bold,B Loewe,T Rasch

Publisher: N.A

ISBN: 9781904987758

Category: Computers

Page: 351

View: 2835

Infinity can feature in games in various forms: we can play games of infinite length, with infinitely many players, or allow for infinitely many moves or strategies. Games of infinite length have been thoroughly investigated by mathematicians and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference Foundations of the Formal Sciences V focused on games of infinite length, but was very opn to include other notions of infinity in games as well.
Release

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Author: Lorenz J. Halbeisen

Publisher: Springer Science & Business Media

ISBN: 9781447121732

Category: Mathematics

Page: 456

View: 9713

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail. With this technique, one can show that certain statements, like the continuum hypothesis, are neither provable nor disprovable from the axioms of set theory. In the last part, some topics of classical set theory are revisited and further developed in the light of forcing. The notes at the end of each chapter put the results in a historical context, and the numerous related results and the extensive list of references lead the reader to the frontier of research. This book will appeal to all mathematicians interested in the foundations of mathematics, but will be of particular use to graduates in this field.
Release

Language, Culture, Computation: Computing - Theory and Technology

Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday

Author: Nachum Dershowitz,Ephraim Nissan

Publisher: Springer

ISBN: 364245321X

Category: Computers

Page: 604

View: 4086

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This first part of the three-volume set covers a range of topics in computer science. The papers are grouped in topical sections on: the jubilaris: Yaacov and his oeuvre; theory of computation; science computing and tools for engineering; information retrieval.
Release

Automatentheorie und Logik

Author: Martin Hofmann,Martin Lange

Publisher: Springer-Verlag

ISBN: 3642180906

Category: Mathematics

Page: 238

View: 9379

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.
Release

Mathematical Foundations of Computer Science 2010

35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings

Author: Petr Hlineny,Antonin Kucera

Publisher: Springer

ISBN: 3642151558

Category: Computers

Page: 714

View: 8365

This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.
Release

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings

Author: V. Arvind

Publisher: Springer Science & Business Media

ISBN: 3540770496

Category: Computers

Page: 558

View: 6674

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 135 submissions. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.
Release

Second-order Quantifier Elimination

Foundations, Computational Aspects and Applications

Author: Dov M. Gabbay,Renate A. Schmidt,Andrzej Szałas

Publisher: N.A

ISBN: 9781904987567

Category: Computers

Page: 308

View: 1533

In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between: * the need for a representational language strong enough to express domain knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand, and * the need to enable computationally feasible reasoning facilities, on the other hand. Second-order logics are very expressive and allow us to represent domain knowledge with ease, but there is a high price to pay for the expressiveness. Most second-order logics are incomplete and highly undecidable. It is the quantifiers which bind relation symbols that make second-order logics computationally unfriendly. It is therefore desirable to eliminate these second-order quantifiers, when this is mathematically possible; and often it is. If second-order quantifiers are eliminable we want to know under which conditions, we want to understand the principles and we want to develop methods for second-order quantifier elimination. This book provides the first comprehensive, systematic and uniform account of the state-of-the-art of second-order quantifier elimination in classical and non-classical logics. It covers the foundations, it discusses in detail existing second-order quantifier elimination methods, and it presents numerous examples of applications and non-standard uses in different areas. These include: * classical and non-classical logics, * correspondence and duality theory, * knowledge representation and description logics, * commonsense reasoning and approximate reasoning, * relational and deductive databases, and * complexity theory. The book is intended for anyone interested in the theory and application of logics in computer science and artificial intelligence.
Release

Mathematik für Naturwissenschaftler für Dummies

Author: Thoralf R?sch

Publisher: John Wiley & Sons

ISBN: 3527657894

Category: Mathematics

Page: 482

View: 1287

Alle Naturwissenschaftler ben?tigen sie - kaum einer au?er den Mathe- und Physikstudenten mag sie eigentlich: die Mathematik. Aber Mathematik muss nicht schwer verst?ndlich sein, sie kann auch Spa? machen. Thoralf R?sch vermittelt Ihnen in diesem Buch die Grundlagen der Mathematik, die alle Naturwissenschaftler ben?tigen: Algebra, Analysis, Differentiation, Integration, Lineare Algebra, Statistik und Wahrscheinlichkeitsrechnung. Anhand von vielen Tipps und Praxisbeispielen lernen Sie, wo die erworbenen Kenntnisse in den Naturwissenschaften angewendet werden. Dieses Buch richtet sich an Studierende aller Naturwissenschaften - sowohl zum Lernen als auch Nachschlagen.
Release

Mathematik der Physik für Dummies

Author: Thoralf Räsch

Publisher: John Wiley & Sons

ISBN: 3527705767

Category:

Page: 431

View: 7958

Ob es Ihnen gefällt oder nicht: Physik ohne Mathematik, das ist unmöglich. Aber wenn Sie Ihre liebe Mühe mit Mathe haben, dann hilft Ihnen dieses Buch, ganz gleich aus welchem Grund Sie sich mit Physik beschäftigen müssen: Als Studienanfänger der Physik, als Student der Ingenieurswissenschaften oder der Medizin. Thoralf Räsch erklärt Ihnen, was Sie über einfache, komplexe und mehrdimensionale Analysis, Differentialgleichungen und Lineare Algebra wissen sollten. Mit Beispielen verschafft er seinen Erläuterungen zusätzliche Anschaulichkeit und so wird es Ihnen leichter fallen, dieses komplexe Thema zu verstehen.
Release

Mathematical Foundations of Computer Science 2004

29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings

Author: Jirí Fiala,Václav Koubek,Jan Kratochvíl

Publisher: Springer

ISBN: N.A

Category: Computers

Page: 902

View: 2410

This book constitutes the refereed proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS 2004, held in Prague, Czech Republic in August 2004. The 60 revised full papers presented together with full papers or abstracts of 10 invited talks were carefully reviewed and selected from 167 submissions. The papers are organised in topical sections on graph algorithms, approximation, graphs and complexity, circuits, general complexity, automata, parameterized and kolmogrov complexity, semantics, scheduling, algebraic theory of languages, games, languages, geometry, languages and complexity, quantum computing, and XML.
Release

Wiley-Schnellkurs Lineare Algebra II

Author: Thoralf Räsch

Publisher: John Wiley & Sons

ISBN: 3527699546

Category: Mathematics

Page: 328

View: 5857

Bei etwas komplizierteren Fragestellungen kommen Sie oft mit den Grundlagen der Linearen Algebra nicht weiter. Hier hilft Ihnen dieses Buch. Thoralf Räsch erklärt Ihnen zu Beginn ganz knapp die Grundlagen, geht dann aber schnell weiter zu Koordinatentransformation, Eigenwerten und Eigenvektoren. Er erläutert zudem Determinanten von Matrizen, euklidische Vektorräume, Definiertheit von Matrizen und vieles mehr. Mit Übungsaufgaben samt Lösungen können Sie Ihr Wissen testen und festigen.
Release

Semantic Web

Grundlagen

Author: Pascal Hitzler,Markus Krötzsch,Sebastian Rudolph,York Sure

Publisher: Springer-Verlag

ISBN: 3540339949

Category: Computers

Page: 277

View: 2064

Das Buch Semantic Web – Grundlagen vermittelt als erstes deutschsprachiges Lehrbuch die Grundlagen des Semantic Web in verständlicher Weise. Es ermöglicht einen einfachen und zügigen Einstieg in Methoden und Technologien des Semantic Web und kann z.B. als solide Grundlage für die Vorbereitung und Durchführung von Vorlesungen genutzt werden. Die Autoren trennen dabei sauber zwischen einer intuitiven Hinführung zur Verwendung semantischer Technologien in der Praxis einerseits, und der Erklärung formaler und theoretischer Hintergründe andererseits. Nur für letzteres werden Grundkenntnisse in Logik vorausgesetzt, die sich bei Bedarf jedoch durch zusätzliche Lektüre und mit Hilfe eines entsprechenden Kapitels im Anhang aneignen lassen. Das Lehrbuch richtet sich primär an Studenten mit Grundkenntnissen in Informatik sowie an interessierte Praktiker welche sich im Bereich Semantic Web fortbilden möchten. Aus den Rezensionen: "... RDF, RDF-S und OWL. Diese Sprachen ... werden von den Autoren dargestellt. Bei der Darstellung ... fallen sie selten zu schwierigen Fachslang, sondern liefern eine gut nachvollziehbare Schilderung mit einfachen Beispielen, auch Übungsaufgaben runden die Kapitel ab. ... Semantic Web ist ein einfach geschriebenes und anschauliches Buch, das In die Grundkonzepte der Semantic-Web-Techniken einführt. Wer sich schnell in RDF, RDF-S und Co. einarbeiten muss und etwas Vorbildung in Logik und Algebra mitbringt, der trifft mit diesem Lehrbuch sicherlich eine gute Wahl ..." (http://www.literaturnetz.com/content/view/8742/44/)
Release

Mit harmonischen Verhältnissen zu Kegelschnitten

Perlen der klassischen Geometrie

Author: Lorenz Halbeisen,Norbert Hungerbühler,Juan Läuchli

Publisher: Springer-Verlag

ISBN: 3662530341

Category: Mathematics

Page: 211

View: 2740

Dieses Buch nimmt Sie mit auf eine Entdeckungsreise durch die Welt der klassischen Geometrie: Beginnend beim Satz von Thales und den Apolloniuskreisen führt die Reise über Steiner'sche Kreisketten bis in die Welt der Kegelschnitte. Dabei werden verborgene Zusammenhänge aufgedeckt und Perlen der Elementargeometrie präsentiert. Hierbei werden Sie durch harmonische Verhältnisse geleitet, welche eine zentrale Rolle spielen und sich wie ein roter Faden durch das ganze Buch ziehen. Einerseits ist dieses Buch für alle Liebhaberinnen und Liebhaber der Geometrie geschrieben, andererseits ist es durch die leicht zugängliche Theorie und die kurzen Beweise besonders auch für Schülerinnen und Schüler der Sekundarstufe sowie Lehramtsstudierende geeignet.
Release