Mathematical logic for computer science
Pro vyhledávací frázi Mathematical logic for computer science jsme na našem vyhledávači našli 9 výsledků. Nenašli jste přesně to, co jste hledali? Zkuste frázi Mathematical logic for computer science trochu pozměnit a opět zadat do vyhledávacího pole. Pevně věříme, že produkt, který hledáte v naší nabídce na srovnávači CoChceš.cz naleznete!
Philosophical and Mathematical Logic
This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionist...
Více informací
Mathematical Logic and Computation
This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an
Více informací
Discrete Mathematics for Computer Science
This book is intended for a first or second-year discrete mathematics course for computer science majors. It covers many important mathematical topics
Více informací
Discrete Mathematics for Computing
This book is a concise introduction to the key mathematical ideas that underpin computer science, continually stressing the application of discrete ma
Více informací
Sketches of an Elephant: A Topos Theory Compendium
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its pow
Více informací
Category Theory
A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and
Více informací
Why Machines Learn
Machine-learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumour is cancerous, or deciding whether someone gets bail. They now influence discoveries in chemistry, biology and physics - the study of genomes, extra-solar planets, even the intricacies of quantum systems. We are living through a revolution in artificia...
Více informací