» książki » Mathematics - Logic
 |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings
ISBN: 9783319335995 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016,... |
cena:
201,24 |
 |
A Lógica de Apuleio. Introdução, tradução e notas ao De Interpretatione de Apuleio de MadaurosA Lógica de Apuleio. Introdução, tradução e notas ao De
ISBN: 9781848902039 / Portugalski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. O Peri Hermeneias de Apuleio de Madauros é o mais antigo tratado latino de lógica formal que conhecemos. Nao se trata de uma mera compilaçao de textos, mas de uma síntese bem urdida, dotada de reflexao crítica e vazada em um estilo conciso e rigoroso. É uma obra de grande relevância histórica que encerra uma apresentaçao original, podemos assim dizer, da silogística categórica. Já se começa a perceber na atualidade que o Peri Hermeneias exerceu uma profunda influencia no desenvolvimento da lógica latina, sobretudo a partir do século quinto, com Marciano Capela (séc. V),...
O Peri Hermeneias de Apuleio de Madauros é o mais antigo tratado latino de lógica formal que conhecemos. Nao se trata de uma mera compilaçao de tex...
|
cena:
78,32 |
 |
Category Theory in Context
ISBN: 9780486809038 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics. This concise, original text for a one-semester course on the subject is derived from courses that author Emily Riehl taught at Harvard and Johns Hopkins Universities. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, and other topics.
Suitable for advanced undergraduates and graduate students in mathematics, the text provides tools for understanding... Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics. This concise, original text fo...
|
cena:
132,30 |
 |
Mathematics That Power Our World, The: How Is It Made?
ISBN: 9789813144088 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Mathematics That Power Our World: How Is It Made? is an attempt to unveil the hidden mathematics behind the functioning of many of the devices we use on a daily basis. For the past years, discussions on the best approach in teaching and learning mathematics have shown how much the world is divided on this issue. The one reality we seem to agree on globally is the fact that our new generation is lacking interest and passion for the subject. One has the impression that the vast majority of young students finishing high school or in their early post-secondary studies are more and more...
The Mathematics That Power Our World: How Is It Made? is an attempt to unveil the hidden mathematics behind the functioning of many of the devices we ...
|
cena:
112,42 |
 |
Set Theory
ISBN: 9781107120327 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets, including relations, functions, the natural numbers, order, cardinality, transfinite recursion, the axiom of choice, ordinal numbers, and cardinal numbers, are developed within the framework of axiomatic...
Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is...
|
cena:
228,52 |
 |
Dependence Logic: Theory and Applications
ISBN: 9783319318011 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal...
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dep...
|
cena:
201,24 |
 |
Type Systems for Distributed Programs: Components and Sessions
ISBN: 9789462392038 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like deadlock or lock freedom in concurrent settings.The main contributions of this book are twofold.
i) We design a type system for a concurrent... In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to ...
|
cena:
382,40 |
 |
Soyons Logiques. Let's be Logical
ISBN: 9781848900905 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Soyons logiques est une invitation a double sens. Bien que la logique designe couramment une disposition d'esprit partagee par tout un chacun, cette disposition prete a confusion des lors que l'on s'interroge sur ses sources theoriques. Le present volume propose treize articles de logique portant sur plusieurs aspects de la discipline logique et de ses methodes, notamment le formalisme, la theorie des oppositions, la verite mathematique et l'histoire de la logique. Ce volume a ete prepare avec le souci pedagogique de parler au plus grand nombre des lecteurs de logique et de philosophie. "Lets...
Soyons logiques est une invitation a double sens. Bien que la logique designe couramment une disposition d'esprit partagee par tout un chacun, cette d...
|
cena:
88,90 |
 |
The Psychology of Argument
ISBN: 9781848901957 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Arguments have often been a topic of interest in the psychology of communication, typically with an emphasis on their persuasive features - an emphasis largely shared by at least one of the classical disciplines in argumentation studies, namely, rhetoric. Nonetheless, contemporary argumentation theory has mostly steered clear of psychological contributions, with only few (albeit notable) exceptions. While there are both historical and theoretical reasons for this lack of interaction, many nowadays seem to think it is past time we bury the hatchet for good, and recent years have witnessed a...
Arguments have often been a topic of interest in the psychology of communication, typically with an emphasis on their persuasive features - an emphasi...
|
cena:
120,66 |
 |
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference, Dcfs 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ISBN: 9783319411132 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of...
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in B...
|
cena:
201,24 |
 |
Griddlers Logic Puzzles - Triddlers Black and White
ISBN: 9789657679326 / 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 162 Triddlers puzzles, from small and easy up to big and complicated ones that may take several hours to solve. 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:
67,47 |
 |
Logical Modalities from Aristotle to Carnap: The Story of Necessity
ISBN: 9781107077881 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduces readers to the history of necessity and possibility, two modal concepts which play a key role in philosophy.
Introduces readers to the history of necessity and possibility, two modal concepts which play a key role in philosophy.
|
cena:
511,02 |
 |
Innovación en el Saber Teório y Práctico
ISBN: 9781848901971 / Hiszpański / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. El mundo gira en torno a la innovación. Se innova en la cocina, en la música, en el arte, en el comercio, en las formas de organización social, en la estructura familiar; en fin, la lista sería interminable, no hay ámbito de nuestra sociedad en el que no se hable de innovación. Dicho de otra manera, se vive la innovación como un avance en el sentido positivo de mejora, asociado además a una idea inconsciente de calidad. De manera general, se puede decir que innovación y creatividad forman parte de la naturaleza humana, y hacen posible la supervivencia de la especie en situaciones...
El mundo gira en torno a la innovación. Se innova en la cocina, en la música, en el arte, en el comercio, en las formas de organización social, en ...
|
cena:
86,79 |
 |
Alfred Tarski: Early Work in Poland--Geometry and Teaching
ISBN: 9781493951178 / Angielski / Miękka / 499 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Alfred Tarski (1901 1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic and universal algebra. Throughout his career, he taught mathematics and logic at universities and sometimes in secondary schools. Many of his writings before 1939 were in Polish and remained inaccessible to most mathematicians and historians until now. This self-contained book focuses on Tarski s early contributions to geometry and mathematics education, including the famous Banach Tarski... Alfred Tarski (1901 1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of g... |
cena:
402,53 |
 |
Griddlers Logic Puzzles: Black and White
ISBN: 9789657679180 / 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 168 single Griddlers, 5 Multi-Griddlers and 4 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 |
 |
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Boz
ISBN: 9783662530412 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions.
The focus of papers are as follows:
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the Euro...
|
cena:
201,24 |
 |
Interactive Theorem Proving: 7th International Conference, Itp 2016, Nancy, France, August 22-25, 2016, Proceedings
ISBN: 9783319431437 / Angielski / Miękka / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories. This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in...
|
cena:
201,24 |
 |
Deontic Logic and Normative Systems. 13th International Conference, DEON 2016
ISBN: 9781848902152 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organisation theory and law.
In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification". The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of...
|
cena:
44,46 |
 |
IfColog Journal of Logics and their Applications. Volume 3, number 1. Frontiers of Abduction
ISBN: 9781848902145 / Angielski / Miękka / 184 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 ...
|
cena:
52,92 |
 |
Argumentation and Reasoned Action. Volume 1
ISBN: 9781848902114 / Angielski / Miękka / 866 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is Volume I of the proceedings of the 1st European Conference on Argumentation: Argumentation and Reasoned Action, held at the Argumentation Lab in Lisbon, Portugal, in June 2015. The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psychology, cognitive studies, legal theory, etc. The proceedings comprise what we think is the most complete statement of the state of the art of argumentation...
This is Volume I of the proceedings of the 1st European Conference on Argumentation: Argumentation and Reasoned Action, held at the Argumentation Lab ...
|
cena:
165,11 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
