Logic 14

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers……続きを見る

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge l……続きを見る

This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart. Together they illuminate the M……続きを見る

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts devel……続きを見る

This book offers an introduction to artificial adaptive systems and a general model of the relationships between the data and algorithms used to analyze them. It subsequently describes artificial ne……続きを見る

This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and top……続きを見る

This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers “see” and how they make use of what they see. Thus in comparis……続きを見る

Let the real world show you how maths works. Maths is often cited as the ‘most difficult’ or ‘complex’ subject to study, many people admitting to a wariness that was probably ingrained into them in ……続きを見る

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, resear……続きを見る

Dieses Buch blickt in eine bedeutende Epoche der Philosophie der Mathematik zurück, deren Strömungen die heutige Gestalt der Mathematik prägten. In der Wende vom 19. zum 20. Jahrhundert befand sich ……続きを見る

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the i……続きを見る

Anche gli esseri inanimati hanno un’anima. Con il saggio “Il Mistero dell’Esistenza”, e i due romanzi “I Punti di Alef” e “L’uomo di Alef” l’autore ha già mostrato che in realtà, tra i 6 tipi di ess……続きを見る

In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: logica matematicateoria degli insiemiteoria delle funzionicalcolo letteraleproprietà delle potenze e dei radi……続きを見る

Questo libro pone la basi della matematica, partendo dalla logica e dalle operazioni elementari fino ad affrontare argomenti quali la trigonometria, i numeri complessi, le notazioni matriciali e vet……続きを見る

Questo è il secondo libro della trilogia di Alef che Mauro Bernardini ha disegnato per divulgare la sua affascinante congettura razionale sul mistero dell’esistenza. La storia è ambientata nel futur……続きを見る

In questo libro è presentata la maggior parte della matematica, partendo dai concetti basilari ed elementari, fino a sondare i settori più complessi e avanzati. La matematica è affrontata sia dal pu……続きを見る

Think Fast with Vedic Math Secrets and Mental Calculation Tricks! When you read Fast Math, you’ll discover Vedic Math Techniques for mastering basic functions: Addition Subtraction Multiplication Di……続きを見る

Non un libro di regole né un eserciziario. Semplicemente un libro di lettura per scoprire e riflettere su quanto e come le comuni operazioni aritmetiche, e più in generale il pensiero matematico, re……続きを見る

“La matematica non è un’opinione”, recita un vecchio adagio popolare, intendendo forse dare al concetto di numero una valenza fredda ed astratta, immutabile e priva delle caratteristiche comuni del ……続きを見る

In questo libro sono presentate tutte le sfaccettature della logica matematica quali: simbologia, principi e proprietà della logica elementarelogica booleanateoria degli ordini e sistemi assiomatici……続きを見る

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection……続きを見る

The book is a collection of original papers, research and surveys, dedicated to the memory of the Romanian mathematician Solomon Marcus (1925-2016). Marcus published many papers and books in mathema……続きを見る

Was haben ein König und eine Prinzessin in der Mengenlehre zu suchen? Eine Menge! In dem fantastischen Königreich Mathemagika erleben die Freunde Prof und Dio eine abenteuerliche Geschichte um das r……続きを見る

Assuming little previous mathematical knowledge, Error Correcting Codes provides a sound introduction to key areas of the subject. Topics have been chosen for their importance and practical signific……続きを見る

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introductio……続きを見る

This book focuses on image based security techniques, namely visual cryptography, watermarking, and steganography. This book is divided into four sections. The first section explores basic to advanc……続きを見る

Esta nueva edición se constituye en una herramienta complementaria para cursos de Control Automático que borden técnicas de control clásicas y avanzadas, pues mediante una serie de ejercicios facili……続きを見る

Este texto será de gran ayuda para afrontar situaciones cotidianas en las que sea necesario mantener diálogos para interactuar o defender alguna posición o idea. Se abordan los temas básicos de un c……続きを見る

In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. But, how comput……続きを見る

This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws. What are the prerequisites for a s……続きを見る