Filter
Matematisk logik
Filter
This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical …
This book introduces readers to the art of doing mathematical proofs. Proofs are the glue that holds mathematics together. They make connections between math concepts and show why …
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 …
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned …
This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. …
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, …
Logic and the Philosophy of Science are disciplines that avoid stopping and wandering around in circles on the same topics. Their role in dedicating themselves to scientific and …
The goal of this unique text is to provide an “experience” that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their …
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, …
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 …