Search Results

ENGLISH

Simple Type Theory - A Practical Logic For Expressing And Reasoning About Mathematical Ideas

by William M. Farmer

~~92,74€~~ 83,47€ 10% OFF

 This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church''s formulation of simple type theory known as Church''s type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types.Topics and features:· Offers the first book-length introduction to simple type theory as a predicate logic· Provides the reader with a logic that is close to mathematical practice· Includes a module system for building libraries of mathematical knowledge· Employs two semantics, one for mathematics and one for logic· E...
ENGLISH

Multi-Valued Logic For Decision-Making Under Uncertainty

by Alexander Rybalov, Evgeny Kagan e Ronald Yager

~~237,84€~~ 214,06€ 10% OFF

 Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggested implementation of multi-valued logics is based on the uninorm and absorbing norm with generating functions defined by probability distributions. Natural extensions of these logics result in non-commutative and non-distributive logics. In addition to Boolean truth values, these logics handle subjective truth and false values and model irrational decisions. Dynamics of decision-making are specified by the subjective Markov process and learning - by neural network with extended Tsetlin neurons. Application of the suggested methods is illustrated by modelling of irrational economic decisions and biased reasoning in the wisdom-of-the-crowd method, and by control of mobile robots and navigation of their groups.Topics and features:<ul><li>Bridges the gap between fuzzy and probability methods</li><li>Includes examples in the field of machine-learning and robots’ control</li><li>Defines formal models of subjective judgements and decision-making</li><li>Presents practical techniques for solving non-probabilistic decision-making problems</li><li>Initiates further research in non-commutative and non-distributive logics</li></ul>The book forms a basis for theoretical studies and practice of decision-making under uncertainty and will be useful for computer scientists and mathematicians interested in multi-valued and fuzzy logic, as well as for engineers working in the field of data mining and data analysis.
ENGLISH

Category Theory Using Haskell - An Introduction With Moggi And Yoneda

by Shuichi Yukita

~~238,49€~~ 214,64€ 10% OFF

 This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering excellent use of helpful examples in Haskell, the work covers (among other things) concepts of functors, natural transformations, monads, adjoints, universality, category equivalence, and many others. The main goal is to understand the Yoneda lemma, which can be used to reverse-engineer the implementation of a function. Later chapters offer more insights into computer science, including computation with output, nondeterministic computation, and continuation passing. Topics and features:<ul><li>Contains rigorous mathematical arguments to support the theory</li><li>Provides numerous Haskell code-implementing examples</li><li>Engages with plentiful diagram chasing, with special emphasis on the design patterns for constructing a large diagram out of basic small pieces</li><li>Offers insights into category theory to quantum computing and the foundation of computing discipline</li><li>Serves as a preparatory course for monoidal categories and higher categories</li></ul>The work will be useful to undergraduate students in computer science who have enough background in college mathematics such as linear algebra and basics in Haskell polymorphic functions. Further, it will appeal to graduate students and researchers in computing disciplines who want to newly acquire serious knowledge of category theory.
ENGLISH

Guide To Software Verification With Frama-C - Core Components, Usages, And Applications

~~59,61€~~ 53,65€ 10% OFF

 Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. <div><div>With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. </div><div> </div><div>This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. </div><div> </div><div>Topics and features:</div><div> </div><div>* Gentle, example-based introduction to software specification and verification </div><div>* Wide panorama of state-of-the-art specification and analysis techniques </div><div>* Step-by-step guide to develop your own, tailor-made analysis on top of the platform</div><div>* Inspiring success stories of Frama-C deployment on industrial code</div><div>* More than 15 years of R&D on analysis and verification of C code</div><div> </div><div>This book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers. </div></div><div>Nikolai Kosmatov is a Senior Researcher at Thales Research & Technology, France. Virgile Prevosto is a Senior Researcher and Julien Signoles is a Research Director, both at Université Paris-Saclay, CEA, List, France.</div>
ENGLISH

Petri Net Primer - A Compendium On The Core Model, Analysis, And Synthesis

by Eike Best e Raymond Devillers

~~101,38€~~ 91,24€ 10% OFF

free shipping

 This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalâ€"as well as in practicalâ€"aspects of Petri nets and related system models.
ENGLISH

Petri Net Primer - A Compendium On The Core Model, Analysis, And Synthesis

by Eike Best e Raymond Devillers

~~72,86€~~ 65,57€ 10% OFF

 This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalâ€"as well as in practicalâ€"aspects of Petri nets and related system models.
ENGLISH

Structural Decision Diagrams In Digital Test - Theory And Applications

by Artur Jutman, Jaan Raik, Maksim Jenihhin e Raimund Ubar

~~264,34€~~ 237,91€ 10% OFF

 This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introduces and discusses applications of two types of structural decision diagrams (DDs): low-level, structurally synthesized binary DDs (SSBDDs) and high-level DDs (HLDDs) that enable diagnostic modeling of complex digital circuits and systems. Topics and features:<ul><li>Provides the definition, properties and techniques for synthesis, compression and optimization of SSBDDs and HLDDs</li><li>Provides numerous working examples that illustrate the key points of the text</li><li>Describes applications of SSBDDs and HLDDs for various electronic design automation (EDA) tasks, such as logic-level fault modeling and simulation, multi-valued simulation, timing-critical path identification, and test generation</li><li>Discusses the advantages of the proposed model to traditional binary decision diagrams and other traditional design representations</li><li>Combines SSBDDs with HLDDs for multi-level representation of digital systems for enabling hierarchical and cross-level solving of complex test-related tasks</li></ul>This unique book is aimed at researchers working in the fields of computer science and computer engineering, focusing on test, diagnosis and dependability of digital systems. It can also serve as a reference for graduate- and advanced undergraduate-level computer engineering and electronics courses.Three authors are affiliated with the Dept. of Computer Systems at the Tallinn University of Technology, Estonia: Raimund Ubar is a retired Professor, Jaan Raik and Maksim Jenihhin are tenured Professors. Artur Jutman, PhD, is a researcher at the same university and the CEO of Testonica Lab Ltd., Estonia.
ENGLISH

Algorithms For Constructing Computably Enumerable Sets

by Kenneth J. Supowit

72,86€ + 10% CARD

 Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory"). This area of study has produced some of the most beautiful and subtle algorithms ever developed for any problems. These algorithms are little-known outside of a niche within the mathematical logic community. By presenting them in a style familiar to computer scientists, the intent is to greatly broaden their influence and appeal.Topics and features:· All other books in this field focus on the mathematical results, rather than on the algorithms.· There are many exercises here, most of which relate to details of the algorithms.· The proofs involving priority trees are written here in greater detail, and with more intuition, than can be found elsewhere in the literature.· The algorithms are presented in a pseudocode very similar to that used in textbooks (such as that by Cormen, Leiserson, Rivest, and Stein) on concrete algorithms.· In addition to their aesthetic value, the algorithmic ideas developed for these abstract problems might find applications in more practical areas.Graduate students in computer science or in mathematical logic constitute the primary audience. Furthermore, when the author taught a one-semester graduate course based on this material, a number of advanced undergraduates, majoring in computer science or mathematics or both, took the course and flourished in it.Kenneth J. Supowit is an Associate Professor Emeritus, Department of Computer Science & Engineering, Ohio State University, Columbus, Ohio, US.
ENGLISH

Simple Type Theory - A Practical Logic For Expressing And Reasoning About Mathematical Ideas

by William M. Farmer

72,86€ + 10% CARD

 This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church''s formulation of simple type theory known as Church''s type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.Topics and features:<ul><li>Offers the first book-length introduction to simple type theory as a predicate logic</li><li>Provides the reader with a logic that is close to mathematical practice</li><li>Presents the tools needed to build libraries of mathematical knowledge</li><li>Employs two semantics, one for mathematics and one for logic</li><li>Emphasizes the model-theoretic view of predicate logic</li><li>Includes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks</li></ul>Aimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas.William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.
ENGLISH

Concise Introduction To Alternating-Time Temporal Logics - A Guide For Understanding The Model-Checking Problem

by Stephane Demri

~~60,82€~~ 54,74€ 10% OFF

free shipping
ENGLISH

Category Theory Using Haskell - An Introduction With Moggi And Yoneda

by Shuichi Yukita

~~243,33€~~ 219,00€ 10% OFF

free shipping
ENGLISH

Multi-Valued Logic For Decision-Making Under Uncertainty

by Alexander Rybalov, Evgeny Kagan e Ronald Yager

~~243,33€~~ 219,00€ 10% OFF

free shipping
ENGLISH

Simple Type Theory - A Practical Logic For Expressing And Reasoning About Mathematical Ideas

by William M. Farmer

~~94,62€~~ 85,16€ 10% OFF

free shipping
ENGLISH

Algorithms For Constructing Computably Enumerable Sets

by Kenneth J. Supowit

~~74,34€~~ 66,91€ 10% OFF

free shipping
ENGLISH

Guide To Software Verification With Frama-C - Core Components, Usages, And Applications

~~81,10€~~ 72,99€ 10% OFF

free shipping
ENGLISH

Structural Decision Diagrams In Digital Test - Theory And Applications

by Artur Jutman, Jaan Raik, Maksim Jenihhin e Raimund Ubar

~~270,36€~~ 243,32€ 10% OFF

free shipping
ENGLISH

Algorithms For Constructing Computably Enumerable Sets

by Kenneth J. Supowit

74,34€ + 10% CARD

free shipping
ENGLISH

Petri Net Primer - A Compendium On The Core Model, Analysis, And Synthesis

by Eike Best e Raymond Devillers

66,91€

free shipping

OUT OF STOCK OR NOT AVAILABLE

 This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalâ€"as well as in practicalâ€"aspects of Petri nets and related system models.
ENGLISH

Structural Decision Diagrams In Digital Test - Theory And Applications

by Artur Jutman, Jaan Raik, Maksim Jenihhin e Raimund Ubar

243,32€

free shipping

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Concise Guide To Fault Tree Analysis - Models, Methods And Algorithms

by Enno Ruijters, Marielle Stoelinga e Pavel Krcal

66,91€

free shipping

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Simple Type Theory - A Practical Logic For Expressing And Reasoning About Mathematical Ideas

by William M. Farmer

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Representation, Experience, And Metaphysics - Towards An Integrated Anti-Representationalist Philosophy

by Knowles Jonathan Knowles

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Phytosequestration - Strategies For Mitigation Of Aerial Carbon Dioxide And Aquatic Nutrient Pollution

by Dervash Moonisa Aslam Dervash, Ozturk Munir Ozturk e Yousuf Abrar Yousuf

OUT OF STOCK OR NOT AVAILABLE
ENGLISH

Nano- And Microfabrication Techniques In Drug Delivery - Recent Developments And Future Prospects

OUT OF STOCK OR NOT AVAILABLE
Loading results...

View more results