» książki » Mathematics - Logic
topmenu
 |
Anaphora Processing and Applications: 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings
ISBN: 9783642049743 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distribution of anaphora in natural language and the complexity of its resolution have resulted in a wide range of disciplines focusing their research on this grammatical phenomenon. It has emerged as one of the most productive topics of multi- and int- disciplinary research such as cognitive science, artificial intelligence and human language technology, theoretical, cognitive, corpus and computational linguistics, philosophy of language, psycholinguistics and cognitive psychology. Anaphora plays a major role in understanding a language and also accounts for the cohesion of a text. Correct...
Distribution of anaphora in natural language and the complexity of its resolution have resulted in a wide range of disciplines focusing their research...
|
cena:
201,24 |
 |
Teaching Formal Methods: Second International Conference, Tfm 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings
ISBN: 9783642049118 / Angielski / Miękka / 177 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers, tea- ers, andindustrialpartnersto discusstheir...
This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Educ...
|
cena:
201,24 |
 |
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009 Proceedings
ISBN: 9783642048920 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009. The 24 revised full papers presented together with 8 posters were carefully reviewed and selected from a flood of submissions. The workshops topics include but are not limited to semantic models for knowledge, for belief, and for uncertainty, dynamic logics of knowledge, information flow, and action, logical analysis of the... Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Secon... |
cena:
201,24 |
 |
Proceedings of the 10th Asian Logic Conference: Kobe, Japan, 1-6 September 2008
ISBN: 9789814293013 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic.
This volume contains papers from the 10th meeting held in Kobe, Japan. The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years an...
|
cena:
592,62 |
 |
Stochastic Coalgebraic Logic
ISBN: 9783642029943 / Angielski / Twarda / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting. This book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight... Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a ... |
cena:
402,53 |
 |
A Course in Mathematical Logic for Mathematicians
ISBN: 9781441906144 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory has shown that insights acquired in the study of formal languages could be used fruitfully in solving old problems of conventional mathematics. (ii) Mathematics has been and is moving with growing acceleration from the set-theoretic language of structures to the language and intuition of (higher) categories, leaving behind...
1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some ...
|
cena:
241,34 |
 |
Scientific Applications of Language Methods
ISBN: 9781848165441 / Angielski / Twarda / 752 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presenting interdisciplinary research at the forefront of present advances in information technologies and their foundations, Scientific Applications of Language Methods is a multi-author volume containing pieces of work (either original research or surveys) exemplifying the application of formal language tools in several fields, including logic and discrete mathematics, natural language processing, artificial intelligence, natural computing and bioinformatics.
Presenting interdisciplinary research at the forefront of present advances in information technologies and their foundations, Scientific Applications ...
|
cena:
592,62 |
 |
Recursive Analysis
ISBN: 9780486477510 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arithmetic and presents a unique combination of classical analysis and intuitional analysis. Written by a master in the field, it is suitable for graduate students of mathematics and computer science and can be read without a detailed knowledge of recursive arithmetic.
Introductory chapters on recursive convergence and recursive and relative continuity are succeeded by explorations of recursive and relative differentiability, the relative... Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arith...
|
cena:
46,05 |
 |
Undecidable Theories: Studies in Logic and the Foundation of Mathematics
ISBN: 9780486477039 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time.
The first article, "A General Method in Proofs of Undecidability," examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, "Undecidability and Essential Undecidability in... This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closu...
|
cena:
57,61 |
 |
Lectures in Logic and Set Theory: Volume 2, Set Theory
ISBN: 9780521753746 / Angielski / Twarda / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style...
|
cena:
771,90 |
 |
Cardinal Invariants on Boolean Algebras
ISBN: 9783034603331 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a greatly revised and expanded version of the book Cardinal fu- tionsonBooleanalgebras, Birkh] auser1990.Knownmistakesinthatbookhave beencorrected, andmanyoftheproblemsstatedtherehavesolutionsinthepresent treatment. At the same time, many new problems are formulated here; some as development of the solved problems from the earlier work, but most as a result of more careful study of the notions. The book is supposed to be self-contained, and for that reason many classical results are included. ForhelponthisbookIwishtothankE.K.vanDouwen, K.Grant, L. Heindorf, I. Juh asz, S. Koppelberg,...
This is a greatly revised and expanded version of the book Cardinal fu- tionsonBooleanalgebras, Birkh] auser1990.Knownmistakesinthatbookhave beencorre...
|
cena:
201,24 |
 |
A Concise Introduction to Mathematical Logic
ISBN: 9781441912206 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. This book treats the most important material in a concise and streamlined fashion. The third edition is a...
Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathemati...
|
cena:
301,89 |
 |
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
ISBN: 9783110197020 / Angielski / Twarda / 858 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the revised edition of a well-established monograph on the identification of a canonical model in which the Continuum Hypothesis is false. Written by an expert in the field, it is directed to researchers and advanced graduate students in Mathematical Logic and Set Theory. The second edition is updated to take into account some of the developments in the decade since the first edition appeared, this includes a revised discussion of -logic and related matters. "This is the revised edition of a well-established monograph on the identification of a canonical model in which the Continuum Hypothesis is false. ... |
cena:
1232,31 |
 |
The Axiom of Choice
ISBN: 9781904987543 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three perspectives. The first, or mathematical perspective, is that of the "working mathematician." This perspective brings into view the manifold applications of the Axiom of Choice-usually in the guise of Zorns Lemma- in a great variety of areas of mathematics. The second, foundational, perspective is that of the logician or constructive mathematician concerned with the foundational status of the Axiom of...
This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The b...
|
cena:
133,79 |
 |
Logic Colloquium 2000 (Hardcover): Lecture Notes in Logic, 19
ISBN: 9781568812519 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic communities. The presentations include tutorials and research articles from some of the world's preeminent logicians. Three long articles are based on tutorials given at the meeting, and present accessible expositions of devloping research in three active areas of...
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilb...
|
cena:
401,56 |
 |
Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Vienna, Austria, Augu
ISBN: 9781568812472 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory,...
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and...
|
cena:
254,64 |
 |
Automata Theory
ISBN: 9789810237530 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume covers substantially the central areas of a one-semester course in automata theory. It is oriented towards a mathematical perspective that is understandable to non-mathematicians. Comprehension is greatly aided by examples. Special attention is given to semi-automata theory - the relationship between semigroups and sequential machines (including Green's relations), Schutzenberger's maximal subgroup, von Neumann inverses, wreath products, transducers using matrix notation, shuffle and Kronecker shuffle products. Methods of formal power series, the ambiguity index and linear...
This volume covers substantially the central areas of a one-semester course in automata theory. It is oriented towards a mathematical perspective that...
|
cena:
475,08 |
 |
Transactions on Rough Sets XI
ISBN: 9783642114786 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and applications. This volume provides further evidence of the number of research streams that were either directly or indirectly initiated by the seminal work on rough 1 sets by Zdzis law Pawlak (1926-2006) . Evidence of the growth of various rough 2 set-based research streams can be found in the rough set database . Thisvolumecontainsarticlesintroducingadvancesinthefoundationsand- plicationsofroughsets.These advancesinclude:...
Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and...
|
cena:
201,24 |
 |
Logical Foundations of Proof Complexity
ISBN: 9780521517294 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The result is a uniform treatment of many systems in the literature, including Buss s theories for the polynomial hierarchy and many disparate systems for complexity...
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters in...
|
cena:
493,50 |
 |
Model Theory and Applications: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Bressanone (Bolzan
ISBN: 9783642111198 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Construction in model theory.- Seminars: J.A. Makowski: Topological model theory.- M. Servi: SH formulas and generalized exponential.
Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Construction in model theory.- Seminars: J.A. Makowski: Topological model theory.-...
|
cena:
80,47 |
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
