Logic 31

圖形推理法、偽科學、射流技術、命題代數…… 從智力遊戲推理到數學史上的世紀難題， 探索「邏輯」如何建構數學的深層結構和思考方式！ ▎「logic」──思維形式及其規律性的科學 　　本書深入探索數學和邏輯之間深刻的……続きを見る

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April……続きを見る

This book is dedicated to Dick de Jongh’s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh’s ……続きを見る

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion ……続きを見る

"Des chiffres et des mots – La démo des chiffres" nous invite à une exploration captivante de l’univers mathématique, révélant leur rôle crucial et souvent méconnu dans notre quotidien. Fino nous pr……続きを見る

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in t……続きを見る

〓 Are you tired of being manipulated by faulty logic and hidden biases? 〓 Do you want to sharpen your ability to think clearly and make sound decisions? 〓 What if you could spot hidden fallacies ……続きを見る

"Fascinating details and anecdotes accompany this engaging account of the emergence of dramatic new ideas and forms in music over the centuries..." David Politzer, winner of the 2004 Nobel Prize in ……続きを見る

Pure Math: Discovering the Beauty of Abstract Mathematics offers a unique approach to exploring the captivating world of pure mathematics. It's where logic meets imagination, and abstract thought gi……続きを見る

This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic. Kripke’s work on modal logic helped usher in a new sem……続きを見る

Do you ever wonder how the world builds upon the complexities of mathematics and logic? How can understanding advanced theories transform our approach to everyday problems? This book proves to be th……続きを見る

Wireless Body Area Networks (WBANs) are vulnerable to cyberattacks and security breaches that could unlock the door for cybercriminals to penetrate hospital networks. This book covers the fundamenta……続きを見る

Questo libro ha lo scopo di fornire un’ampia riflessione sui principi generali della fisica e gli elementi fondanti della conoscenza scientifica nella loro unitarietà. Sfruttando largamente il pensi……続きを見る

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-orde……続きを見る

This book presents the essential role of mathematical modelling and computational methods in representing physical phenomena mathematically, focusing on the significance of the I-function. Serving a……続きを見る

A marvelous compendium of mathematical symbols and their fascinating histories Galileo famously wrote that the book of nature is written in mathematical language. The Language of Mathematics is a wi……続きを見る

Propositiones ad acuendos juvenes (“Problems to Sharpen the Young”) is a ninth-century book written by medieval teacher and scholar Alcuin of York. Today, it has become one of the foundational texts……続きを見る

RC4 Stream Cipher and Its Variants is the first book to fully cover the popular software stream cipher RC4. With extensive expertise in stream cipher cryptanalysis and RC4 research, the authors focu……続きを見る

The widespread use of image, audio, and video data makes media content protection increasingly necessary and urgent. For maximum safety, it is no longer sufficient to merely control access rights. I……続きを見る

In order to perform effective analysis of today’s information security systems, numerous components must be taken into consideration. This book presents a well-organized, consistent solution created……続きを見る

"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both o……続きを見る

Unlike data communications of the past, today’s networks consist of numerous devices that handle the data as it passes from the sender to the receiver. However, security concerns are frequently rais……続きを見る

Modeling and Control of Dynamic Spatially Distributed Systems: Pharmaceutical Processes provides a balanced approach to help readers to get started quickly in the field of biochemical pharmaceutical……続きを見る

DDoS Attacks: Evolution, Detection, Prevention, Reaction, and Tolerance discusses the evolution of distributed denial-of-service (DDoS) attacks, how to detect a DDoS attack when one is mounted, how ……続きを見る

Winner of a CHOICE Outstanding Academic Title Award for 2011! This book offers an introduction to modern ideas about infinity and their implications for mathematics. It unifies ideas from set theory……続きを見る

Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contribution……続きを見る

The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independence of the continuum hypothesis from the axioms of s……続きを見る

First developed in the early 1980s by Lenstra, Lenstra, and Lovász, the LLL algorithm was originally used to provide a polynomial-time algorithm for factoring polynomials with rational coefficients.……続きを見る

This book provides the reader with a comprehensive account of the contributions of Pythagoras to mathematics and philosophy, using them as a starting point to compare pre-Pythagorean accomplishments……続きを見る

Taking an approach to the subject that is suitable for a broad readership, Discrete Mathematics: Proofs, Structures, and Applications, Third Edition provides a rigorous yet accessible exposition of ……続きを見る