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 it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework.
An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022.
Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolean and modern algebra, and probability theory.
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.
This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology and even the history of philosophy.
The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.
In the last 25 years, the fuzzy set theory has been appliedin many disciplines such as operations research, managementscience, control theory,artificial intelligence/expertsystem, etc.
Rough Sets and Data Mining: Analysis of Imprecise Data is an edited collection of research chapters on the most recent developments in rough set theory and data mining.
In Mathematical Foundations of Public Key Cryptography, the authors integrate the results of more than 20 years of research and teaching experience to help students bridge the gap between math theory and crypto practice.
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.
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à.
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements.
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 Wissens.
Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models.
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.
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.
Introduction to Modern Cryptography, the most relied-upon textbook in the field, provides a mathematically rigorous yet accessible treatment of this fascinating subject.
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.
Das Buch vermittelt logisches Grundwissen, fundamentale Beweisprinzipien, Methoden und Einsichten, welche jede Mathematikerin/jeder Mathematiker besitzen sollte.