Logic 24

A significant number of works have set forth, over the past decades, the emphasis laid by seventeenth-century mathematicians and philosophers on motion and kinematic notions in geometry. These works……続きを見る

This new book discusses the concepts while also highlighting the challenges in the field of quantum cryptography and also covering cryptographic techniques and cyber security techniques, in a single……続きを見る

This book gives a proof of Cherlin’s conjecture for finite binary primitive permutation groups. Motivated by the part of model theory concerned with Lachlan’s theory of finite homogeneous relational……続きを見る

With a foreword by Tim Rice, this book will change the way you see the world. Why is it better to buy a lottery ticket on a Friday? Why are showers always too hot or too cold? And what's the connect……続きを見る

Why do weather forecasters get it wrong? What are the best tactics for playing "Who Wants to be a Millionaire?" and "The Weakest Link"? And what is the link between a tin of baked beans and a men's ……続きを見る

A fiendish collection of over 100 super-tricky brainteasers from puzzle-maestros Rob Eastaway and David Wells. Puzzles have intrigued and entertained generations of children – and their parents – fo……続きを見る

Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des ……続きを見る

Machine Learning, Cyber Security, and Blockchain in Smart Environment: Application and Challenges provides far-reaching insights into the recent techniques forming the backbone of smart environments……続きを見る

This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic l……続きを見る

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to m……続きを見る

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

Des équations aux dérivées partielles à l'examen des algorithme aléatoires en touriste par la transformation de Fourier, cet tout réelle globaux les outils mathématiques utiles à l'étudiant ingénieu……続きを見る

Mechanizing hypothesis formation is an approach to exploratory data analysis. Its development started in the 1960s inspired by the question “can computers formulate and verify scientific hypotheses?……続きを見る

Imagine a multitude of objects of the same kind assembled together; for example, a company of horsemen. One of the first things that must strike a spectator, although unused to counting, is, that to……続きを見る

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collec……続きを見る

This book is devoted to efficient pairing computations and implementations, useful tools for cryptographers working on topics like identity-based cryptography and the simplification of existing prot……続きを見る

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

Do brains compute? If they do, what do they compute and how do they do it? The first part of the book introduces the development of a model that simulates actual biological neurons more closely than……続きを見る

During his lifetime, Kurt Gödel was not well known outside the professional world of mathematicians, philosophers and theoretical physicists. Early in his career, for his doctoral thesis and then fo……続きを見る

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics,……続きを見る

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and i……続きを見る

This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave ……続きを見る

Starting with the historical evolution of computer and communications networks and their security, the book then arrives at the main definitions of cryptography and network security. Next, the basic……続きを見る

Algebra con elementi di logica matematica e teoria degli insiemi. 続きを見る

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics,……続きを見る

Unlock the secrets of percentages with this comprehensive guide! Whether you're a student brushing up on your math skills, a professional looking to enhance your understanding, or just someone who e……続きを見る

Plongez-vous dans l'univers fascinant des mathématiques appliquées avec "Les rapports, les proportions, les taux et les distances". Ce livre est conçu pour vous aider à comprendre et maîtriser ces c……続きを見る

Master the fundamental concept of the order of operations with this comprehensive guide. Whether you're a student looking to improve your math skills or an educator seeking an effective resource, th……続きを見る

E' possibile, in qualche maniera, passare dai cerchi immateriali e incorporei dei diagrammi di Venn, comunemente utilizzati nella Teoria degli Insiemi, ai cerchi materiali e corporei dello spazio di……続きを見る

This book seamlessly connects the topics of Industry 4.0 and cyber security. It discusses the risks and solutions of using cyber security techniques for Industry 4.0. Cyber Security and Operations M……続きを見る