» książki » Mathematics - Logic
topmenu
 |
IfColog Journal of Logics and heir Applications. Volume 2, Number 1
ISBN: 9781848901780 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net).
The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and a...
|
cena:
40,22 |
 |
The Mathematical Proof: " The Method and Logic "
ISBN: 9781515055242 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theorems, can be used. In principle, a proof can be traced back to self-evident or assumed statements, known as axioms. Proofs are examples of deductive reasoning and are distinguished from inductive or empirical arguments. A proof must demonstrate that a statement is always true rather than enumerate many confirmatory cases. An unproved proposition that is believed true is known as a conjecture. Proofs employ logic but usually include some amount of...
In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theore...
|
cena:
79,18 |
 |
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
ISBN: 9783319231648 / Angielski / Miękka / 634 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.
These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Helene Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of Jose's many scientific achievements followed by a bibliography of papers written by Jose. This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friend...
|
cena:
201,24 |
 |
Principles and Practice of Constraint Programming: 21st International Conference, Cp 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
ISBN: 9783319232188 / Angielski / Miękka / 747 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected... This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, C...
|
cena:
201,24 |
 |
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
ISBN: 9789462390560 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verificati...
|
cena:
254,57 |
 |
Modern Logic 1850-1950, East and West
ISBN: 9783319247540 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis's association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection... This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structure... |
cena:
201,24 |
 |
Towards an Arithmetical Logic: The Arithmetical Foundations of Logic
ISBN: 9783319220864 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat's method of infinite descent with Kronecker's general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist... This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, f... |
cena:
201,24 |
 |
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
ISBN: 9783319227498 / Angielski / Twarda / 719 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically introduces the Axiom of Choice, explains Banach-Mazur games and the Axiom of Determinacy, discusses the basic constructions of sets and the interplay of coalgebras and Kripke models for modal logics with...
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoreti...
|
cena:
241,50 |
 |
Inductive Logic Programming: 24th International Conference, Ilp 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
ISBN: 9783319237077 / Angielski / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 24rd International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2013. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic, multi-relational machine learning, learning from graphs, and applications of these techniques to important problems in fields like bioinformatics, medicine, and text mining.
This book constitutes the thoroughly refereed post-conference proceedings of the 24rd International Conference on Inductive Logic Programming, ILP 201...
|
cena:
193,23 |
 |
Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, China, August 24-27, 2015, Proceedings
ISBN: 9783319221014 / Angielski / Miękka / 469 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August ...
|
cena:
201,24 |
 |
Turing's Revolution: The Impact of His Ideas about Computability
ISBN: 9783319221557 / Angielski / Twarda / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Turing's Revolution
Turing's Revolution
|
cena:
483,04 |
 |
Logic, Rationality, and Interaction: 5th International Workshop, Lori 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ISBN: 9783662485606 / Angielski / Miękka / 439 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas.
This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/... FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1...
|
cena:
201,24 |
 |
Forcing, Iterated Ultrapowers, and Turing Degrees
ISBN: 9789814699945 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
366,59 |
 |
Ordinal Definability and Recursion Theory
ISBN: 9781107033405 / Angielski / Twarda / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. Focusing on the subjects of 'HOD and its Local Versions' (Part V) and 'Recursion Theory' (Part VI), each of the two sections is preceded by an introductory survey putting the papers into...
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion T...
|
cena:
976,11 |
 |
The Language of The Mathematical Proof: "The Logical Reasoning of Mathematics"
ISBN: 9781517078911 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In South Africa, over 70,000 years ago, someone scratched geometric patterns into rocks. It took another 40,000 years until prehistoric humans tried to quantify time. Another 10,000 years pass until archaeology produces the remnants of some of the first attempts to 'play' with numbers. This is where the timeline of mathematics starts to accelerate in it representation of accomplishments. Around 3,400 BC, the Sumerians are credited with the first form of number system. As the field of mathematics evolved it became clear that this 'language' transcended culture, geography, mythology and even...
In South Africa, over 70,000 years ago, someone scratched geometric patterns into rocks. It took another 40,000 years until prehistoric humans tried t...
|
cena:
102,99 |
 |
A Friendly Introduction to Mathematical Logic
ISBN: 9781942341079 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Godel's First and Second Incompleteness...
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thi...
|
cena:
141,82 |
 |
Griddlers Logic Puzzles: Black and White
ISBN: 9789657679159 / Angielski / Miękka / 110 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Griddlers logic puzzles, also known as Picross or Nonograms, are picture logic puzzles in which cells in a grid have to be colored or left blank according to numbers given at the side of the grid to reveal a hidden picture. Some people compare Griddlers to Sudoku. However, the Griddlers puzzles always reveal a nice image as a result. This book consists of 129 single Griddlers, 6 Multi-Griddlers and 11 Triddlers. The solutions of the puzzles appear at the end of the book.
Griddlers logic puzzles, also known as Picross or Nonograms, are picture logic puzzles in which cells in a grid have to be colored or left blank ac... |
cena:
71,44 |
 |
Conceptual Clarifications. Tributes to Patrick Suppes (1922-2014)
ISBN: 9781848901889 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with Suppes or/and with his ideas. The book also contains one of the last papers by Suppes (co-authored by two of his collaborators). The work of Suppes touches many different areas, ranging from meteorology to physics, through logic, mathematics, psychology, neuroscience, education, painting, but he was first of all and above all a philosopher, always questioning, but not in vain. There are not many philosophers who can be proud of having written influential math textbooks,...
This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with Suppes or/and with his ideas. The b...
|
cena:
88,90 |
 |
Perspectives in Computation
ISBN: 9781927763407 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The subject of computation deals with solutions to mathematical problems by procedures, i.e., solutions that could be generated by a machine; that require no original thought. For which problems are there such procedures, and when they do exist how efficient can they be?In recent years, the landscape of this subject has changed somewhat by the introduction of "machines" that utilize quantum mechanics in their operation. Perspectives in Computation covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum mechanics...
The subject of computation deals with solutions to mathematical problems by procedures, i.e., solutions that could be generated by a machine; that req...
|
cena:
66,87 |
 |
Eliminating the Universe: Logical Properties of Natural Language
ISBN: 9789814719834 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model theory as used in (higher order) predicate logic to the study of natural language semantics. It focuses on boolean structure, generalized quantification (separated from variable binding), covering some cases of anaphora. Different categories — predicates, adjective, quantifiers — are modeled by non-isomorphic boolean lattices.Of empirical linguistic interest is the expressibility of many natural classes of quantifiers defined in...
This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools and concepts of model t...
|
cena:
391,02 |
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
