Logic 28

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2……続きを見る

This monograph is a defence of the Fregean take on logic. The author argues that Frege´s projects, in logic and philosophy of language, are essentially connected and that the formalist shift produce……続きを見る

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, Lang……続きを見る

This book offers a defense against non-classical approaches to the paradoxes. The author argues that, despite appearances, the paradoxes give no reason at all to reject classical logic. In fact, he ……続きを見る

Whether the source is more industry-based or academic research, there certainly appears to be a growing interest in the field of cryptocurrency. The New York Times had a cover story on March 24, 202……続きを見る

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, i……続きを見る

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brie……続きを見る

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is no……続きを見る

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game……続きを見る

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description log……続きを見る

Logic for Kids is intended to help parents take charge of the intellectual development of their children in a critical area: the acquisition of skills related to logical reasoning. Many other books,……続きを見る

From atom bombs to rebounding slinkies, open your eyes to the mathematical magic in the everyday. Mathematics isn't just for academics and scientists, a fact meteorologist and blogger Peter Lynch ha……続きを見る

This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of topics, including semantic web engineering, ontolog……続きを見る

Матаналіз. Цим словом лякають першокурсників і, здається, його здатні осягнути тільки природжені технарі. Але Стівен Строґац ставить перед собою сміливу мету ー донести прекрасні ідеї та історії мат……続きを見る

Infinity is a profoundly counter-intuitive and brain-twisting subject that has inspired some great thinkers – and provoked and shocked others. The ancient Greeks were so horrified by the implication……続きを見る

In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: logica matematica teoria degli insiemi teoria delle funzioni calcolo letterale proprietà delle potenze e dei ……続きを見る

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by compute……続きを見る

Although cryptography plays an essential part in most modern solutions, especially in payments, cryptographic algorithms remain a black box for most users of these tools. Just as a sane backend deve……続きを見る

"Fallacies in Logic and Their Applications" is a must-read for anyone seeking to master the art of logical thinking. This book dives deep into the world of fallacy, exploring the intricacies of form……続きを見る

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computat……続きを見る

Может ли завтра начаться сегодня? Как быстро перемножить в уме 748 на 1503? Каков минимальный размер черной дыры? Почему не тают ледяные жилища эскимосов, когда в них разводят огонь? Авторы предлага……続きを見る

The Cybersecurity landscape is a daunting one today. It is nothing like it was 10 years ago. Now, it has become very complex, covert, dynamic, and stealthy. It has literally become a cat and mouse g……続きを見る

This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special ……続きを見る

From the ‘punctuated equilibrium' of Eldrege and Gould, through Lewontin's ‘triple helix' and the various visions and revisions of the Extended Evolutionary Synthesis (EES) of Laland and others, bot……続きを見る

Este libro es una guía completa para aquellos que desean adentrarse en el fascinante mundo de la lógica difusa y su aplicación en diversos campos. A lo largo de sus páginas, se explora cómo la lógic……続きを見る

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer ……続きを見る

Are you ready to conquer the SAT Math section and achieve your dream score? Look no further! "SAT Math Mastery: The Ultimate Study Guide for 2023" is your comprehensive companion to mastering the ma……続きを見る

Are you ready to unlock your full potential in math and conquer the world of Math Olympiad competitions? Look no further! "The Ultimate Guide to Study Math Olympiad: Grades 6 to 12" is here to equip……続きを見る

This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular struc……続きを見る

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic c……続きを見る