Matematiske fundament
Filter
-
Knowledge Engineering
av David A. Schum , Mihai Boicu , Dorin Marcu mfl.
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the …
Following their introduction in the early 1980s o-minimal structures were found to provide an elegant and surprisingly efficient generalization of semialgebraic and subanalytic …
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as …
This book presents a significant advancement in the theory and practice of knowledge engineering, the discipline concerned with the development of intelligent agents that use …
Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science perspective, …
This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, …
The study of permutation groups has always been closely associated with that of highly symmetric structures. The objects considered here are countably infinite, but have only …
This book is an up-to-date introduction to simple theories and hyperimaginaries, with special attention to Lascar strong types and elimination of hyperimaginary problems. Assuming …
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an …
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have …