» książki » Mathematics - Logic
topmenu
 |
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
ISBN: 9783642069475 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent be... |
cena:
201,72 |
 |
New Computational Paradigms: Changing Conceptions of What Is Computable
ISBN: 9781441922632 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical logic of the last 70 years. Moreover, the increasingly compelling necessity to deal with computability in the real world (such as computing on continuous data, biological computing, and physical models) has brought focus to new paradigms of computation that are based on... In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebr... |
cena:
605,23 |
 |
Eine Elementare Einführung in Die Theorie Der Turing-Maschinen
ISBN: 9783211827697 / Niemiecki / Twarda / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ALTER TEXT: Dieser erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch solchen Lesern zu vermitteln, die den Umfang mit Formalismen scheuen, fuhrt den intelligenten Laien zum Verstandnis der grundlegenden Ergebnisse der Theorie der Berechenbarkeit und der Automatentheorie. Bei Wahrung aller wunschenswerten Stringenz stutzt sich die Darlegung auf Anschaulichkeit und Konstruktivitat. Mitgelieferte PC-Software fordert den konkreten Umgang mit Automaten und gibt dem Leser unmittelbare Gelegenheit, eigene...
ALTER TEXT: Dieser erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch...
|
cena:
188,52 |
 |
Wissensbasierte Systeme: 2. Internationaler GI-Kongreß München, 20./21. Oktober 1987
ISBN: 9783540184942 / Niemiecki / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der For schung und der Entwicklung hinaus zu interessanten Produkten der Informatikindustrie und werden im mer mehr zu wichtigen Arbeitsmitteln fur Fachleute und Mitarbeiter in der Wirtschaft, in der Verwaltung und im Bildungsbereich. Der Einsatz dieser Systeme ist verbunden mit betrachtlichen Veranderungen in der Organisationsstruktur und in den Tatigkeitsablaufen, aber auch in den Qualifikationsanforderungen fur Mitarbeiter. Er hat Aus wirkungen auf Unternehmensstrategien, Arbeitsbedingungen und das...
Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der For schung und der Entwicklung hinaus zu interessanten...
|
cena:
207,36 |
 |
Theorie Der Logischen Programmierung: Eine Elementare Einführung
ISBN: 9783540557029 / Niemiecki / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Programmiersprache Prolog hat ihre Bewahrungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Moglichkeiten der logischen Programmierung vertraut. Die ausfuhrliche Darstellung mit Ubungsaufgaben und ausgewahlten Losungen setzt keine speziellen...
Die Programmiersprache Prolog hat ihre Bewahrungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechn...
|
cena:
207,36 |
 |
Language, Games, and Evolution: Trends in Current Research on Language and Game Theory
ISBN: 9783642180057 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years witnessed an increased interest in formal pragmatics and especially the establishment of game theory as a new research methodology for the study of language use. Game and Decision Theory (GDT) are natural candidates if we look for a theoretical foundation of linguistic pragmatics. Over the last decade, a firm research community has emerged with a strong interdisciplinary character, where economists, philosophers, and social scientists meet with linguists. Within this field of research, three major currents can be distinguished: one is closely related to the Gricean paradigm and...
Recent years witnessed an increased interest in formal pragmatics and especially the establishment of game theory as a new research methodology for th...
|
cena:
201,72 |
 |
Ludics, Dialogue and Interaction: PRELUDE Project — 2006-2009. Revised Selected Papers
ISBN: 9783642192104 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for "Towards Theoretical Pragmatics based on Ludics and Continuation Theory," ran from November 2006 to November 2009, with funding from the new French National Agency for Research (ANR). The objective of the project was to develop perspectives on Natural Language Semantics and Pragmatics based on recent developments in Logic and Theoretical Computer Science; the articles shed light on the role of Ludics in the study of speech acts, inferential...
This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project. PRELUDE, an acronym for...
|
cena:
201,72 |
 |
Fuzzy-Logik: Einführung in Die Algebraischen Und Logischen Grundlagen
ISBN: 9783540566588 / Niemiecki / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Begriff "Fuzzy" - 1965 von Lofty A. Zadeh in einer Erweiterung der gewohnlichen Mengenlehre auf die Verknupfung unscharfer Mengen kreiert - hat seine Anwendung in zahlreichen Gebieten der Technik gefunden. In diesem Lehrbuch erhalt der Leser eine leicht verstandliche Einfuhrung in die mathematischen und logischen Grundlagen. Er soll in die Lage versetzt werden, die fur die Fuzzy-Logik spezifischen algebraischen und logischen Arbeitsmethoden operativ einzusetzen. Das Lehrbuch wurde mit dem Ziel entwickelt, insbesondere im Selbststudium das Werkzeug "Fuzzy" fur die berufspraktische...
Der Begriff "Fuzzy" - 1965 von Lofty A. Zadeh in einer Erweiterung der gewohnlichen Mengenlehre auf die Verknupfung unscharfer Mengen kreiert - hat se...
|
cena:
207,36 |
 |
Passione Per Trilli: Alcune Idee Dalla Matematica
ISBN: 9788847006287 / Włoski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. E convinzione generale che la matematica sia una materia difficile da capire, che usa simboli esoterici e un linguaggio poco comprensibile, che sia soprattutto calcolo. Certamente, e una materia particolare, che ha bisogno di formule e che necessita di un linguaggio formale a volte molto sofisticato. Tuttavia, e anche una scienza piena di idee, che non hanno solo la funzione di progredire in una qualche teoria o di servire altre scienze per i loro modelli quantitativi. Come la filosofia, come la letteratura, la matematica e utile all uomo per cercare di capire un po meglio il mondo che lo... E convinzione generale che la matematica sia una materia difficile da capire, che usa simboli esoterici e un linguaggio poco comprensibile, che sia... |
cena:
61,90 |
 |
Un Mondo Di Idee: La Matematica Ovunque
ISBN: 9788847017436 / Włoski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. La varieta e l interesse dei contributi alla Lettera Matematica Pristem hanno spinto i curatori, d accordo con il comitato di redazione, a proporre in questa raccolta alcuni articoli apparsi sulla rivista dalla sua fondazione ad oggi. atica Pristem e una rivista, edita dalla Springer-Verlag Italia, che affronta temi legati alla ricerca matematica, ai fondamenti di questa disciplina, alla sua storia e alle sue applicazioni negli ambiti piu vari. La sfida e quella di interessare e divertire il lettore, riuscendo allo stesso tempo a convincerlo che la matematica, di solito ritenuta affare di...
La varieta e l interesse dei contributi alla Lettera Matematica Pristem hanno spinto i curatori, d accordo con il comitato di redazione, a proporre in...
|
cena:
92,77 |
 |
The Logico-Algebraic Approach to Quantum Mechanics: Volume I: Historical Evolution
ISBN: 9789027706133 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The twentieth century has witnessed a striking transformation in the un- derstanding of the theories of mathematical physics. There has emerged clearly the idea that physical theories are significantly characterized by their abstract mathematical structure. This is in opposition to the tradi- tional opinion that one should look to the specific applications of a theory in order to understand it. One might with reason now espouse the view that to understand the deeper character of a theory one must know its abstract structure and understand the significance of that struc- ture, while to...
The twentieth century has witnessed a striking transformation in the un- derstanding of the theories of mathematical physics. There has emerged clearl...
|
cena:
282,42 |
 |
The Logico-Algebraic Approach to Quantum Mechanics: Volume II: Contemporary Consolidation
ISBN: 9789027707093 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The twentieth century has witnessed a striking transformation in the understanding of the theories of mathematical physics. There has emerged clearly the idea that physical theories are significantly characterized by their abstract mathematical structure. This is in opposition to the tradi- tional opinion that one should look to the specific applications of a theory in orrter to understand it. One might with reason now espouse the view that to understand the deeper character of a theory one must know its abstract structure and understand the significance of that structure, while to understand...
The twentieth century has witnessed a striking transformation in the understanding of the theories of mathematical physics. There has emerged clearly ...
|
cena:
806,99 |
 |
Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems, Nldb 20
ISBN: 9783642125492 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at NLDB 2009, the 14th Inter- tional Conference on Applications of Natural Language to Information Systems held June 24-26, 2009, at the University of the Saarland and the German - search Center for Arti?cial Intelligence in Saarbruc ] ken, Germany. In addition to reviewed submissions, the program also included contributions to the doctoral symposiumheldduring NLDB2009aswellastwoinvitedtalks.Thesetalksc- ered some of the currently hot topics in the use of natural languagefor accessing information systems....
This volume contains the papers presented at NLDB 2009, the 14th Inter- tional Conference on Applications of Natural Language to Information Systems h...
|
cena:
201,72 |
 |
Advances in Computer Games: 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers
ISBN: 9783642129926 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the papers of the 12th Advances in Computer Games C- ference (ACG 2009) held in Pamplona, Spain. The conference took place during th th May 11 13,2009 in conjunction with the 13 Computer Olympiad and the 16 World Computer Chess Championship. The Advances in Computer Games conference series is a major international forum for researchers and developers interested in all aspects of arti?cial int- ligence and computer game playing. The Pamplona conference was de?nitively characterized by fresh ideas for a large variety of games. The Program Committee (PC) received 41...
This book contains the papers of the 12th Advances in Computer Games C- ference (ACG 2009) held in Pamplona, Spain. The conference took place during t...
|
cena:
201,72 |
 |
Implementation and Application of Automata: 15th International Conference, CIAA 2010 Winnipeg, MB, Canada, August 12-15, 2010 Revised Selected Papers
ISBN: 9783642180972 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.
This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, he...
|
cena:
201,72 |
 |
Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
ISBN: 9783540511304 / Niemiecki / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren. Um festzulegen, welche Folgen von Datenbankzustanden zulassig sind, gibt man dynamische Integritatsbedingungen an. Komplementar dazu bestimmen Transaktionen als Grundbausteine von Anwendungsprogrammen die ausfuhrbaren Zustandsfolgen. Diese Monographie stellt zwei Ansatze zur Uberwachung der dynamischen Integritat von Datenbanken vor. Es werden theoretische und algorithmische Grundlagen sowie die beim Datenbank-Entwurf erforderlichen...
Aufgabe des Datenbank-Entwurfs ist es, nicht nur die statische Struktur, sondern auch das dynamische Verhalten eines Datenbanksystems zu spezifizieren...
|
cena:
207,36 |
 |
Wissensbasierte Systeme: 3. Internationaler Gi-Kongreß München, 16.-17. Oktober 1989 Proceedings
ISBN: 9783540518389 / Niemiecki / Mikrofilm / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum...
Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsm...
|
cena:
207,36 |
 |
Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Syst
ISBN: 9783540196358 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and...
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repr...
|
cena:
201,72 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 91, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540197423 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program...
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing altern...
|
cena:
201,72 |
 |
Object Orientation in Z
ISBN: 9783540197782 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a slightly more complicated his tory. This work has grown and evolved from some work originally done in the ZIP project, under the United Kingdom's Department of Trade and Industry (DTI) IED initiative. ZIP is a three year project which aims to make the use of the Z specification language more widespread. It hopes to achieve this by producing a standard for Zj developing a method for Zj building tool...
This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. These papers a...
|
cena:
201,72 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
