» książki » Mathematics - Logic
topmenu
 |
Logic Colloquium 2006
ISBN: 9780521110815 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large...
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings i...
|
cena:
604,85 |
 |
Typed Lambda Calculi and Applications
ISBN: 9783642022722 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th International Conference on Rewriting Techniques and Applications as part of RDP 2009, the 5th International Conference on Rewriting, Deduction, and Programming. The 27 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 53 submissions. The papers present original research results that are broadly relevant to the theory and...
This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasil...
|
cena:
201,24 |
 |
Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings
ISBN: 9783642022814 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 8th International Workshop on Fuzzy Logic and Applications (WILF 2009) held in Palermo (Italy), June 9-12, 2009, covered topics related to theoretical and experimental areas of fuzzy sets and systems with emphasis on di?erent applications. This eventrepresentsthe continuation ofan established traditionof biannual interdisciplinary meetings. The previous editions of WILF were held, with an increasing number of participants, in Naples (1995), Bari (1997), Genoa (1999), Milan (2001), Naples (2003), Crema (2005) and Camogli (2007). Each event focused on distinct main thematic areas of fuzzy...
The 8th International Workshop on Fuzzy Logic and Applications (WILF 2009) held in Palermo (Italy), June 9-12, 2009, covered topics related to theoret...
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: 20th International Conference, Rta 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
ISBN: 9783642023477 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with the Int- national Conference on Typed Lambda Calculi and Applications (TLCA 2009), the International School on Rewriting (ISR 2009), the 4th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2009), the 10th Inter- tional Workshop on Rule-Based Programming (RULE 2009), the 8th Inter- tional...
Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, ...
|
cena:
201,24 |
 |
Handbook of Weighted Automata
ISBN: 9783642014918 / Angielski / Twarda / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic ?nite automata in which the transitions carry weights. These weights may model, e. g., the cost involved when executing a transition, the amount of resources or time neededforthis, ortheprobabilityorreliabilityofitssuccessful execution. The behavior of weighted ?nite automata can then be considered as the function (suitably de?ned) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata...
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic...
|
cena:
925,87 |
 |
Developments in Language Theory: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009, Proceedings
ISBN: 9783642027369 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since 1993 the conference Developments in Language Theory (DLT) has been held in Europe every odd year and, since 2002, outside Europe every even year. The 13th conference in this series was DLT 2009. It took place in Stuttgart fromJune30to July3.PreviousmeetingsoccurredinTurku(1993), Magdeburg (1995), Thessaloniki(1997), Aachen(1999), Vienna(2001), Kyoto(2002), Szeged (2003), Auckland (2004), Palermo (2005), Santa Barbara (2006), Turku (2007), and Kyoto (2008). The DLT conference has developed into the main forum for language theory and related topics. This has also been re?ected in the high...
Since 1993 the conference Developments in Language Theory (DLT) has been held in Europe every odd year and, since 2002, outside Europe every even year...
|
cena:
201,24 |
 |
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, Uk, June 30 - July 3, 2009. Proceeding
ISBN: 9783642027765 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis?ability Testing (SAT) started in 1996 as a series of workshops, and, in parallel with the growthof SAT, developedinto the main eventfor SAT research. This year'sc- ference testi?ed to the strong interest in SAT, regarding theoretical research, - searchonalgorithms, investigationsintoapplications, anddevelopmentofsolvers and software systems....
This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from Ju...
|
cena:
201,24 |
 |
Diamond: A Paradox Logic (2nd Edition)
ISBN: 9789814287135 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is about “diamond”, a logic of paradox. In diamond, a statement can be true yet false; an “imaginary” state, midway between being and non-being. Diamond's imaginary values solve many logical paradoxes unsolvable in two-valued Boolean logic. In this volume, paradoxes by Russell, Cantor, Berry and Zeno are all resolved. This book has three sections: Paradox Logic, which covers the classic paradoxes of mathematical logic, shows how they can be resolved in this new system; The Second Paradox, which relates diamond to Boolean logic and the Spencer-Brown...
This book is about “diamond”, a logic of paradox. In diamond, a statement can be true yet false; an “imaginary” state, mid...
|
cena:
465,29 |
 |
Constructive Models
ISBN: 9781461369325 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models.
This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some... The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within ...
|
cena:
763,81 |
 |
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
ISBN: 9783642033582 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held during August 17-20, 2009 in Munich, Germany. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 55 papers submitted to TPHOLs 2009 in the full research c- egory, each of which was refereed by at least three reviewers selected by the ProgramCommittee. Of these submissions, 26 researchpapers and 1 proofpearl were accepted for presentation at the conference...
This volume constitutes the proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2009), which was held d...
|
cena:
201,24 |
 |
The Theory of Sets of Points
ISBN: 9781108005302 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of sets, described in the preface to this book as 'Georg Cantor's magnificent theory' was first developed in the 1870s, and was recognised as one of the most important new branches of mathematical science. W. H. Young and his wife Grace Chisholm Young wrote this book, published in 1906, as a 'simple presentation'; but they warn that it is effectively a work in progress: the writing 'has necessarily involved attempts to extend the frontier of existing knowledge, and to fill in gaps which broke the connexion between isolated parts of the subject.' The Young's were a dynamic force in...
The theory of sets, described in the preface to this book as 'Georg Cantor's magnificent theory' was first developed in the 1870s, and was recognised ...
|
cena:
266,51 |
 |
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
ISBN: 9783642040269 / Angielski / Miękka / 567 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. ...
|
cena:
402,53 |
 |
Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
ISBN: 9783642044274 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algorithmic decision theory is a new interdisciplinary research area that aims to bring together researchers from di?erent ?elds such as decision theory, d- crete mathematics, theoretical computer science and arti?cial intelligence, in order to improve decision support in the presence of massive databases, com- natorial structures, partial and/or uncertain information and distributed, p- sibly interoperating, decision makers. Such problems arise in several real-world decision-making scenarios such as humanitarian logistics, epidemiology, risk assessment and management, e-government,...
Algorithmic decision theory is a new interdisciplinary research area that aims to bring together researchers from di?erent ?elds such as decision theo...
|
cena:
201,24 |
 |
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX Dresden, Germany, September 29-30, 2008 Revised Selected and Invited
ISBN: 9783642027338 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and...
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their...
|
cena:
201,24 |
 |
Transactions on Rough Sets X
ISBN: 9783642032806 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Volume X of the Transactions on Rough Sets (TRS) provides evidence of further growth in the rough set landscape, both in terms of its foundations and its applications. This volume of the TRS re?ects a number of research streams that were eitherdirectly orindirectly begunbytheseminalworkonroughsetsbyZdzis law 1 Pawlak (1926-2006) . This seminal work started with Zdzis law Pawlak s early 1970s work on knowledge description systems prior to his discovery of rough sets during the early 1980s. Evidence of the growth of various rough set-based 2 research streams can be found in the rough set...
Volume X of the Transactions on Rough Sets (TRS) provides evidence of further growth in the rough set landscape, both in terms of its foundations and ...
|
cena:
201,24 |
 |
The Foundations of Mathematics
ISBN: 9781904987147 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general. This book is designed for students who plan to specialize in logic, as well as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning graduate-level course. There are three main chapters: Set Theory, Model Theory, and Recursion Theory. The Set Theory chapter describes the set-theoretic foundations of...
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, a...
|
cena:
131,64 |
 |
Algebraic Logic
ISBN: 9780387961798 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The popular literature on mathematical logic is rather extensive and written for the most varied categories of readers. College students or adults who read it in their free time may find here a vast number of thought-provoking logical problems. The reader who wishes to enrich his mathematical background in the hope that this will help him in his everyday life can discover detailed descriptions of practical (and quite often -- not so practical ) applications of logic. The large number of popular books on logic has given rise to the hope that by applying mathematical logic, students will...
The popular literature on mathematical logic is rather extensive and written for the most varied categories of readers. College students or adults who...
|
cena:
402,53 |
 |
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings
ISBN: 9783540419600 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland...
|
cena:
201,24 |
 |
Mechanical Theorem Proving in Geometries: Basic Principles
ISBN: 9783211825068 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric...
There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different...
|
cena:
201,24 |
 |
Operads in Algebra, Topology and Physics
ISBN: 9780821843628 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Operads are mathematical devices that describe algebraic structures of many varieties and in various categories. Operads are particularly important in categories with a good notion of 'homotopy', where they play a key role in organizing hierarchies of higher homotopies. This book offers an introduction describing the development of operad theory.
Operads are mathematical devices that describe algebraic structures of many varieties and in various categories. Operads are particularly important in...
|
cena:
563,24 |
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
