Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
The Logical Writings of Karl Popper (Bog, Paperback / softback, Engelsk)This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Runtime Verification: A Hands-On Approach in Java (Bog, Paperback / softback, Engelsk)This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Reverse Mathematics: Problems, Reductions, and Proofs (Bog, Hardback, Engelsk)Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Sunday Times Teasers Book 2: Challenge Yourself with 100 Lateral-Thinking Puzzles (Bog, Paperback / softback, Engelsk)The ultimate lateral-thinking challenge. If you relish a serious mental workout, this collection of 100 brain teasers will demand your very best lateral thinking skills and mathematical rigour to solve. These puzzles will amuse and perplex in equal measure.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Times Mindset Puzzles Book 1: Put Your Solving Skills to the Test (Bog, Paperback / softback, Engelsk)If you relish a challenging mental workout, this collection of 450 brain teasers will demand your very best lateral thinking skills to solve. Written by Chris Pringle, Colin Whorlow and Daniel Shiu.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Advances in Distance Learning in Times of Pandemic (Bog, Hardback, Engelsk)The aim of this book is to draw a holistic picture of ongoing online teaching-activities before and during the lockdown period and present the meaning... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Domains and Lambda-Calculi (Bog, Paperback / softback, Engelsk)This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Homotopy Theory of (8,1)-Categories (Bog, Hardback, Engelsk)Homotopical or (8,1)-categories have become a significant framework in many areas of mathematics. This book gives an introduction to the different approaches to these structures and the comparisons between them from the perspective of homotopy theory.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic and Reality: Essays on the Legacy of Arthur Prior (Bog, Hardback, Engelsk)Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists, celebrating the work of the... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A Graphic Apology for Symmetry and Implicitness (Bog, Hardback, Engelsk)Succinct representation and fast access to large amounts of data are challenges of our time. This unique book suggests general approaches of 'complexity... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Bog, Paperback / softback, Engelsk)Based on the author's teaching notes, this comprehensive text covers the basics of classical logic,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Proof and Disproof in Formal Logic: An Introduction for programmers (Bog, Paperback / softback, Engelsk)Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
