Logic 16

This book explores certain structures of fuzzy Lie algebras, fuzzy Lie superalgebras and fuzzy n-Lie algebras. In addition, it applies various concepts to Lie algebras and Lie superalgebras, includi……続きを見る

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer scien……続きを見る

EL PRESENTE TEXTO VA DIRIGIDO A DOCENTES DE MATEMÁTICAS Y A ESTUDIANTES DE MATEMÁTICA U OTRA CARRERA QUE REQUIERA UN AMPLIO DOMINIO DE LA MATERIA. ESTA DISEÑADO PARA COMPLEMENTAR LA LABOR DE AULA. U……続きを見る

This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, ……続きを見る

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet He……続きを見る

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel ……続きを見る

Quantitative thinking is our inclination to view natural and everyday phenomena through a lens of measurable events, with forecasts, odds, predictions, and likelihood playing a dominant part. The Er……続きを見る

Charles Lutwidge Dodgson is best known for his 'Alice' books, Alice's Adventures in Wonderland and Through the Looking-Glass, written under his pen name of Lewis Carroll. Yet, whilst lauded for his ……続きを見る

'This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics.' CH……続きを見る

Spectral spaces are a class of topological spaces. They are a tool linking algebraic structures, in a very wide sense, with geometry. They were invented to give a functional representation of Boolea……続きを見る

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state ……続きを見る

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process. There is a lot that goes into creating a mathematical proof before writing it. Ample di……続きを見る

Are there truly fundamental entities in nature? Or are the things that we regard as fundamental in our theories – for example space, time or the masses of elementary particles – merely awaiting a de……続きを見る

This book analyses an inconsistency within epistemic contextualism known as the factivity problem. It also provides key insights into epistemic contextualism, an important innovation in contemporary……続きを見る

When we learn, we change what we believe and how we interact with the world. This changes who we are as people and what we can achieve. Many people grow up being told they are ‘not a maths person’ o……続きを見る

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inherently important as a tool of mathemat……続きを見る

This book describes the need of copyright protection for multimedia objects and develops an invisible image watermarking scheme to serve the purpose of copyright protection. Here intelligent systems……続きを見る

‘Another terrific book by Rob Eastaway’ SIMON SINGH ‘A delightfully accessible guide to how to play with numbers’ HANNAH FRY How many cats are there in the world? What's the chance of winning the lo……続きを見る

**One of the world's most creative mathematicians finds the meaning of mathematics in the kitchen   “Whimsical…rigorous and insightful.” ーNew York Times** What is math? How exactly does it work? An……続きを見る

**How both logical and emotional reasoning can help us live better in our post-truth world  “Advanced mathematics could make a meaningful contribution to creating a better society. . . this book is ……続きを見る

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, nev……続きを見る

Maths is a part of everyday life and there's no denying it. For anyone who has blocked distant memories of complicated algebraic formulae or incomprehensible trigonometry, numbers can strike fear at……続きを見る

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional lo……続きを見る

Cyber security is the protection of information systems, hardware, software, and information as well from theft, damages, interruption or misdirection to any of these resources. In other words, cybe……続きを見る

Already in just a decade of existence, cryptocurrencies have been the world’s best-performing financial asset, outperforming stocks, bonds, commodities and currencies. This comprehensive yet concise……続きを見る

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject. Plural logic deals with plural terms ('Whitehead and Russell', 'Henry VIII's wives', '……続きを見る

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduc……続きを見る

This edited book focuses on concepts and their applications using the theory of conceptual spaces, one of today’s most central tracks of cognitive science discourse. It features 15 papers based on t……続きを見る

Surveying the major programming languages that have hallmarked the evolution of computing, Programming Language Fundamentals by Example provides an understanding of the many languages and notations ……続きを見る

Intellectual property owners must continually exploit new ways of reproducing, distributing, and marketing their products. However, the threat of piracy looms as a major problem with digital distrib……続きを見る