Logic 33

Once the privilege of a secret few, cryptography is now taught at universities around the world. Introduction to Cryptography with Open-Source Software illustrates algorithms and cryptosystems using……続きを見る

How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes ……続きを見る

This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal a……続きを見る

All current methods of secure communication such as public-key cryptography can eventually be broken by faster computing. At the interface of physics and computer science lies a powerful solution fo……続きを見る

Transición Temporal Hacia el Futuro. El libro trata a través de sus diferentes temas, aspectos referentes a la Fuerza Electromagnética como la responsable en la formación de los átomos. La Relativid……続きを見る

Security and Policy Driven Computing covers recent advances in security, storage, parallelization, and computing as well as applications. The author incorporates a wealth of analysis, including stud……続きを見る

Statistical Methods in Computer Security summarizes discussions held at the recent Joint Statistical Meeting to provide a clear layout of current applications in the field. This blue-ribbon referenc……続きを見る

The Handbook of Financial Cryptography and Security elucidates the theory and techniques of cryptography and illustrates how to establish and maintain security under the framework of financial crypt……続きを見る

With the rapid rise in the ubiquity and sophistication of Internet technology and the accompanying growth in the number of network attacks, network intrusion detection has become increasingly import……続きを見る

From the Rosetta Stone to public-key cryptography, the art and science of cryptology has been used to unlock the vivid history of ancient cultures, to turn the tide of warfare, and to thwart potenti……続きを見る

This book presents further developments and applications in the area of completely regular semigroup theory, beginning with applications of Polák’s theorem to obtain detailed descriptions of various……続きを見る

AI and Blockchain in Smart Grids: Fundamentals, Methods, and Applications examines the cutting-edge solution that combines artificial intelligence (AI), blockchain technology, and digital twin conce……続きを見る

The concept of completely regular codes was introduced by Delsarte in his celebrated 1973 thesis, which created the field of Algebraic Combinatorics. This notion was extended by several authors from……続きを見る

Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgeme……続きを見る

Dieses Buch deckt alle relevanten mathematischen Themen eines Grundstudiums der Natur- oder Ingenieurwissenschaften ab, von der Analysis (inklusive einer ausführlichen Behandlung gewöhnlicher Differ……続きを見る

Foundations of Mathematical Thought: The Language of Numbers explores the fundamental nature of mathematics, from its formal foundations to its logical structures. Covering key topics such as axioma……続きを見る

This book aims to introduce readers without a strong mathematical background to the basic ideas of fuzzy set theory and logic. Fuzzy mathematics is the mathematics of vagueness, a universal property……続きを見る

This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathemati……続きを見る

Rudolf Carnap and Richard C. Jeffrey's Studies in Inductive Logic and Probability, Volume I gathers seminal work charting Carnap's late-career re-architecture of inductive logic. Moving beyond the s……続きを見る

Threshold Logic by Sze-Tsen Hu offers the first comprehensive treatment of logical elements based on the threshold principle, devices that had attracted growing attention in the wake of McCulloch an……続きを見る

Blockchain and Digital Twin Applications in Smart Agriculture presents scenarios, solutions, applications to optimize crop management, improve resource allocation, and enhance sustainability in mode……続きを見る

The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during De……続きを見る

The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during De……続きを見る

Dieses Buch richtet sich an Studierende in Studienrichtungen der Informatik zu Beginn ihres Studiums. Vorausgesetzt werden daher lediglich Kenntnisse der Schulmathematik. Behandelt werden grundlegen……続きを見る

The purpose of this unique handbook is to examine the transformation of the philosophy of mathematics from its origins in the history of mathematical practice to the present. It aims to synthesize w……続きを見る

Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written decades ago, and now considered to be “classics”, are still prescr……続きを見る

This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024. The 19 full papers ……続きを見る

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The book offers techniques for both reading and wri……続きを見る

The author is currently studying Masters of Education with UNICAF. He also possesses B.Sc. Mathematics and Statistics, a Further Education Teachers Diploma and a Diploma in Secondary Education. He h……続きを見る

This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached ……続きを見る