Filter
Matematisk logik
Filter
This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the …
In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived …
This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, …
A set in mathematics is just a collection of elements; an example is the set of natural numbers {1, 2, 3, ...}. Simplifying somewhat, the theory of sets can be regarded as the …
Are you interested in furthering your knowledge of algorithms? Do you want to learn how they work for real-world problems? Then you've come to the right place. This guide will walk …
An accessible introduction to philosophical logic, suitable for undergraduate courses and above. Rigorous yet accessible, Logical Methods introduces logical tools used in …
Dive into the exciting world of deep learning and artificial intelligence using MATLAB with "MATLAB Deep Learning With Machine Learning, Neural Networks, and Artificial …
The idea of a knowledge base lies at the heart of symbolic or "good old-fashioned" artificial intelligence (GOFAI). A knowledge-based systemdecides how to act by running formal …
Are you studying data science and want to take your learning further ? Data structures are an integral part of data science, machine learning, and algorithms, all aimed at solving …