» książki » Mathematics - Logic
 |
Formal Concept Analysis: 6th International Conference, Icfca 2008, Montreal, Canada, February 25-28, 2008, Proceedings
ISBN: 9783540781363 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge. The theoryitselfstronglyreliesonorderandlatticetheory, whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning, and, over the last years, the range of applicationshaskeptgrowing. The mainreasonfor this comesfromthe fact that our modern society has turned into an "information" society. After years and years of using computers, companies realized they had stored gigantic...
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge. Th...
|
cena:
201,24 |
 |
Coding the Universe
ISBN: 9780521280402 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L a] with the same properties. L a] is Godels universe of 'constructible' sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered. Graduate students and research workers in set theory and logic will be especially...
Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set t...
|
cena:
426,47 |
 |
Principles and Practice of Semantic Web Reasoning: Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
ISBN: 9783540287933 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - searchersfromdi?erent horizonswith the aims of de?ning newarchitecturesand languages necessary to make it possible, and of developing the ?rst applications of these concepts. This book contains the articles selected for publication and presentation at the workshop Principles and Practice of Semantic Web Reasoning PPSWR 2005, together with three invited talks. Three major aspects of Semantic Web research are represented in this selection:...
The promise of the Semantic Web is to move from a Web of data to a Web of meaning and distributed services. This vision of the Web has attracted - sea...
|
cena:
201,24 |
 |
Handbook of Categorical Algebra: Volume 1, Basic Category Theory
ISBN: 9780521061193 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each volume is self-contained and is accessible to graduate students with a good background in mathematics. Volume 1 is devoted to general concepts. After introducing the terminology and proving the fundamental results concerning limits, adjoint functors and Kan extensions, the categories of fractions are studied in detail; special consideration is paid to the case of localizations. The remainder of the first volume studies various "refinements" of the...
A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each vol...
|
cena:
293,49 |
 |
Handbook of Categorical Algebra: Volume 2, Categories and Structures
ISBN: 9780521061223 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the major concepts concerning Benabou's ideas of fibered categories.
The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental...
|
cena:
509,01 |
 |
MICAI 2002: Advances in Artificial Intelligence: Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings
ISBN: 9783540434757 / Angielski / Miękka / 554 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second Mexican International Conference on Artificial Intelligence, MICAI 2002, held in Merida, Yucatan, Mexico in April 2002.
The 56 revised full papers presented were carefully reviewed and selected from more than 85 submissions from 17 countries. The papers are organized in topical sections on robotics and computer vision, heuristic search and optimization, speech recognition and natural language processing, logic, neural networks, machine learning, multi-agent systems, uncertainty management, and AI tools and applications." This book constitutes the refereed proceedings of the Second Mexican International Conference on Artificial Intelligence, MICAI 2002, held in Merida, ...
|
cena:
402,53 |
 |
The Beauty of Fractals: Images of Complex Dynamical Systems
ISBN: 9783540158516 / Angielski / Twarda / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1953 I realized that the straight line leads to the downfall of mankind. But the straight line has become an absolute tyranny. The straight line is something cowardly drawn with a rule, without thought or feeling; it is the line which does not exist in nature. And that line is the rotten foundation of our doomed civilization. Even if there are places where it is recognized that this line is rapidly leading to perdition, its course continues to be plot ted . . . Any design undertaken with the straight line will be stillborn. Today we are witnessing the triumph of rationalist knowhow and...
In 1953 I realized that the straight line leads to the downfall of mankind. But the straight line has become an absolute tyranny. The straight line is...
|
cena:
402,53 |
 |
Einführung in die Mathematik für Ökonomen
ISBN: 9783486256444 / Niemiecki / Twarda / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Einschliesslich eines "Bruckenkurses" wird die Mathematik fur Studenten der Volks- und Betriebswirtschaftslehre sowie verwandter Studienrichtungen didaktisch aufbereitet dargestellt. Dieses Werk ist vielfach zur Pflichtlekture geworden."
Einschliesslich eines "Bruckenkurses" wird die Mathematik fur Studenten der Volks- und Betriebswirtschaftslehre sowie verwandter Studienrichtungen did...
|
cena:
424,73 |
 |
Logical Dilemmas: The Life and Work of Kurt Gödel
ISBN: 9781568812564 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the author's intensive study of Godel's papers and surviving correspondence, the author examines the life of
This biography of the logician and philosopher Kurt Godel is an in-depth account to integrate details of his personal life with his work. Based on the...
|
cena:
239,94 |
 |
Logic, Induction and Sets
ISBN: 9780521826211 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.
Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places...
|
cena:
470,25 |
 |
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ISBN: 9783540208617 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume textbook Comprehensive Mathematics for the Working Computer Scientist, of which this is the second volume, is a self-contained comprehensive presentation of mathematics including sets, numbers, graphs, algebra, logic, grammars, machines, linear geometry, calculus, ODEs, and special themes such as neural networks, Fourier theory, wavelets, numerical issues, statistics, categories, and manifolds. The concept framework is streamlined but defining and proving virtually everything. The style implicitly follows the spirit of recent topos-oriented theoretical computer science.... The two-volume textbook Comprehensive Mathematics for the Working Computer Scientist, of which this is the second volume, is a self-contained compr... |
cena:
301,89 |
 |
Logic: An Introductory Course
ISBN: 9780415045254 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.
A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps...
|
cena:
190,96 |
 |
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540712282 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis. This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in ... |
cena:
201,24 |
 |
Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers
ISBN: 9783540712305 / Angielski / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and Washington (2005). The Genetic and Evolutionary Computation Conference, the main ACM SIGEvo conference, hosted these three editions. The topics presented in this volume summarize the wide spectrum of interests of the Learning Classi?er Systems (LCS) community. The topics range from theoretical analysis of mechanisms to practical cons- eration for successful application of such techniques to everyday...
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took...
|
cena:
201,24 |
 |
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, Lpnmr 2007, Tempe, Az, Usa, May 15-17, 2007, Proceedings
ISBN: 9783540721994 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems. This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, hel... |
cena:
201,24 |
 |
Machine Learning: Ecml 2007: 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings
ISBN: 9783540749578 / Angielski / Miękka / 812 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference in Freiburg, 2001. The European Conference on Machine Learning (ECML) traces its origins to 1986, when the ?rst European Working Session on Learning was held in Orsay, France. The European Conference on Principles and Practice of KnowledgeDiscoveryinDatabases(PKDD) was?rstheldin1997inTrondheim, Norway. Over the years, the ECML/PKDD series has evolved into one of the largest and most selective international conferences in machine learning and...
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference...
|
cena:
402,53 |
 |
Conceptual Modeling--ER 2007
ISBN: 9783540755623 / Angielski / Miękka / 638 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means between systems developers, end-usersandcustomers.Conceptualmodelingprovideslanguages, methods and tools to understandandrepresentthe applicationdomain;to elicitate, concep- alizeandformalizesystemrequirementsanduserneeds;tocommunicatesystems designs to all stakeholders; to formally verify and validate system designs on high levels of abstractions; and to minimize ambiguities in system development. Initially, conceptual modeling mainly addressed data-intensive information...
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means between systems developers, ...
|
cena:
402,53 |
 |
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development
ISBN: 9783540775027 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th International Conference on Conceptual Modeling, ER 2006. Included in this state-of-the-art survey are 11 revised full papers, carefully reviewed and selected from the workshop presentations. These are rounded off with four invited lectures and an introductory overview, and represent the current thinking in conceptual modeling research. This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th I... |
cena:
201,24 |
 |
Mathematical Theory of Domains
ISBN: 9780521064798 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner accessible to computer scientists by motivating the mathematics with computer science examples.
Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first ...
|
cena:
425,39 |
 |
Logic-Based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Sele
ISBN: 9783540787686 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.
This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation,...
|
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
