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: 2108

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: 2425

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: 1658

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: 4527

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: 6017

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: 8219

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: 1698

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 der Physik für Dummies

Author: Thoralf Räsch

Publisher: John Wiley & Sons

ISBN: 3527705767

Category:

Page: 431

View: 398

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: 3603

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

Die Kunst des Game Designs

Bessere Games konzipieren und entwickeln

Author: Jesse Schell

Publisher: MITP-Verlags GmbH & Co. KG

ISBN: 3958452841

Category: Computers

Page: 680

View: 9156

Grundlagen der Entwicklung und Konzeption klassischer Spiele von einem der weltweit führenden Game Designer Mehr als 100 Regeln und zentrale Fragen zur Inspiration für den kreativen Prozess Zahlreiche wertvolle Denkanstöße für die Konzeption eines erfolgreichen Spiels Jeder kann die Grundlagen des Game Designs meistern – dazu bedarf es keines technischen Fachwissens. Dabei zeigt sich, dass die gleichen psychologischen Grundprinzipien, die für Brett-, Karten- und Sportspiele funktionieren, ebenso der Schlüssel für die Entwicklung qualitativ hochwertiger Videospiele sind. Mit diesem Buch lernen Sie, wie Sie im Prozess der Spielekonzeption und -entwicklung vorgehen, um bessere Games zu kreieren. Jesse Schell zeigt, wie Sie Ihr Game durch eine strukturierte methodische Vorgehensweise Schritt für Schritt deutlich verbessern. Mehr als 100 gezielte Fragestellungen eröffnen Ihnen dabei neue Perspektiven auf Ihr Game, so dass Sie die Features finden, die es erfolgreich machen. Hierzu gehören z.B. Fragen wie: Welche Herausforderungen stellt mein Spiel an die Spieler? Fördert es den Wettbewerb unter den Spielern? Werden sie dazu motiviert, gewinnen zu wollen? So werden über hundert entscheidende Charakteristika für ein gut konzipiertes Spiel untersucht. Mit diesem Buch wissen Sie, worauf es bei einem guten Game ankommt und was Sie alles bedenken sollten, damit Ihr Game die Erwartungen Ihrer Spieler erfüllt und gerne gespielt wird. Zugleich liefert es Ihnen jede Menge Inspiration – halten Sie beim Lesen Zettel und Stift bereit, um Ihre neuen Ideen sofort festhalten zu können
Release

Die Wissenschaften vom Künstlichen

Author: Herbert A. Simon

Publisher: Springer

ISBN: 9783709193839

Category: Computers

Page: 241

View: 2801

Die Wissenschaften vom Künstlichen von Herbert A. Simon gilt seit dem Erscheinen der ersten Ausgabe im Jahr 1969 als "Klassiker" der Literatur zum Thema Künstliche Intelligenz. Simon hat zusammen mit den Computerwissenschaftlern Allen Newell, Marvin Minsky und John McCarthy Mitte der fünfziger Jahre das so bezeichnete - von Alan Turing antizipierte - Forschungsgebiet der Computerwissenschaft und der Psychologie ins Leben gerufen. Seine herausragende, allgemeinverständliche Darstellung von Grundüberlegungen und philosophischen Aspekten der Künstlichen Intelligenz ist heute aktueller denn je, nicht nur wegen der ständig zunehmenden Bedeutung der Forschung und Entwicklung auf diesem Gebiet, sondern auch aufgrund des verbreiteten Mangels an Grundkenntnissen für eine kritische Auseinandersetzung mit der Künstlichen Intelligenz.
Release

Wiley-Schnellkurs Lineare Algebra II

Author: Thoralf Räsch

Publisher: John Wiley & Sons

ISBN: 3527699546

Category: Mathematics

Page: 328

View: 9313

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

Sweet Reason

A Field Guide to Modern Logic

Author: Tom Tymoczko,Jim Henle

Publisher: Springer Science & Business Media

ISBN: 9780387989303

Category: Mathematics

Page: 644

View: 1019

A revolutionary, introductory text for courses on modern logic. While the basic rudiments of formal and informal logical are all clearly described here, it also focuses students on the real world, where the discipline of logic adds substance and meaning to all kinds of human discourse. Everything from puzzles, paradoxes, and mathematical proofs, to campaign debate excerpts, government regulations, and cartoons are used to show how logic is put to work by philosophers, mathematicians, advertisers, computer scientists, politicians, and others. As the book alternately discusses, instructs, questions, teases, and challenges, readers will find themselves absorbing the fundamentals of the discipline, becoming fluent in the language of logic, understanding how logic works in the real world, and enjoying logic's ability to entertain, surprise, subvert, and enlighten.
Release