Logic 29

In "Selected Mathematical Works," Lewis Carroll, known predominantly for his whimsical narratives, unveils his profound insights into the realm of mathematics through a unique blend of clarity and c……続きを見る

“This short book makes you smarter than 99% of the population. . . . The concepts within it will increase your company’s ‘organizational intelligence.’. . . It’s more than just a must-read, it’s a ‘……続きを見る

Einsatzfertige Lerneinheiten vermitteln fundamentale mathematische Techniken, die weit über die Oberstufe hinaus von Bedeutung sind. Die Lerninhalte eignen sich auch zur gezielten Vorbereitung auf M……続きを見る

Aunque no la veamos, la matemática está en todos lados y al alcance de quien quiera encontrarla. Adrián Paenza invita a descubrir cada uno de los rincones donde se esconde. Aunque no la veamos, la m……続きを見る

Unravel the secrets of sharp thinking in a Wiki-style adventure that delves into reasoning and wonky thinking. Navigate your path through a labyrinth of ideas and examples, where every click offers ……続きを見る

Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic. Nearly every branch of Mathematics depends upon set theory, and thus, knowledge……続きを見る

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent C……続きを見る

Guides Students in Understanding the Interactions between Computing/Networking Technologies and Security Issues Taking an interactive, "learn-by-doing" approach to teaching, Introduction to Computer……続きを見る

Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foun……続きを見る

Containing data on number theory, encryption schemes, and cyclic codes, this highly successful textbook, proven by the authors in a popular two-quarter course, presents coding theory, construction, ……続きを見る

Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gew……続きを見る

In "Selected Mathematical Works," Lewis Carroll, renowned for his whimsical storytelling, unveils a lesser-known facet of his genius: his profound contributions to mathematics. This compilation feat……続きを見る

Why does it always seem like the elevator is going down when you need to go up? Is it really true that 0.99999 . . . with an infinite number of 9s after the decimal point, is equal to 1? What do tea……続きを見る

With the ever-increasing threat of cyber-attacks, especially as the COVID-19 pandemic helped to ramp up the use of digital communications technology, there is a continued need to find new ways to ma……続きを見る

This book recounts the desperate efforts to gather information during World War II and the Cold War. The author provides insight into the dark realm of intelligence and code that will fascinate cryp……続きを見る

Security for Wireless Sensor Networks using Identity-Based Cryptography introduces identity-based cryptographic schemes for wireless sensor networks. It starts with an exhaustive survey of the exist……続きを見る

In the last few years, biometric techniques have proven their ability to provide secure access to shared resources in various domains. Furthermore, software agents and multi-agent systems (MAS) have……続きを見る

This book is a unified treatment of the most important core developments in the theory of completely regular semigroup theory as it stands today. This volume focuses on the lattice of varieties of c……続きを見る

The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and solutions to problems from the first edition. A large……続きを見る

This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence. It consists of three parts – a biography, a survey and research sections. The volume b……続きを見る

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023. The 18 full and 5 ……続きを見る

Alfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics a……続きを見る

This book introduces readers to the art of doing mathematical proofs. Proofs are the glue that holds mathematics together. They make connections between math concepts and show why things work the wa……続きを見る

Quantum Computation presents the mathematics of quantum computation. The purpose is to introduce the topic of quantum computing to students in computer science, physics and mathematics who have no p……続きを見る

Dieses Buch behandelt die Visualisierung als Methode des mathematischen Problemlösens, Begründens und Beweisens: Konkrete Beispiele zur Veranschaulichung durch mathematische Figuren und Bilder biete……続きを見る

This new edition presents the essential topics in probability and statistics from a rigorous standpoint. Any discipline involving randomness, including medicine, engineering, and any area of scienti……続きを見る

Ian Stewart prova mais uma vez que a matemática pode ser para lá de divertida. Com enigmas e jogos, o autor mostra como até os raciocínios mais elaborados podem ser entendidos por qualquer um. Qual ……続きを見る

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approach……続きを見る

Envie de voyager dans le temps, bienvenue à bord. Chapitre I - Existence Questions existentielles (existence, vérité, repos, mouvement, etc.) Chapitre II - Individus et propriété Questions logico-ma……続きを見る

The goal of this unique text is to provide an “experience” that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their major. If you feel ……続きを見る