Computability – alle Bücher

André Curtis-Trudel
Computability and Computational Explanation

This Element is an introduction to classical computability theory and scientific efforts to use computability-theoretic notions to explain empirical phenomena. It is written for advanced undergraduates an…

lieferbar innerhalb 2-3 Wochen

Buch

André Curtis-Trudel
Computability and Computational Explanation

This Element is an introduction to classical computability theory and scientific efforts to use computability-theoretic notions to explain empirical phenomena. It is written for advanced undergraduates an…

lieferbar innerhalb 2-3 Wochen

Buch

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

Lecture Notes in Computer Science - Band 15764

.- Invited Papers..- The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition..- Effective second countability in computable analysis..- Towards a Computational Quantum Logic: An …

lieferbar innerhalb 2-3 Wochen

Buch

Michel Mardiguian
ElectroMagnetic Compatibility

This textbook describes in accessible, straightforward terms the conducted and radiated mechanisms by which Electromagnetic Interference (EMI) sources can compromise or disable a range of critical devices…

lieferbar innerhalb 2-3 Wochen

Buch

Nora Dabas
The Shape of Compatibility

Mira moves to Dubai from Texas to grow her abaya brand.Zayd is the CEO of a resort empire, fit, focused and every inch the image of refined Arabian prestige.They notice each other at a bookstore-café, and…

lieferbar innerhalb 2-3 Wochen

Buch

Gleb Beliakov, Simon James, Jian-Zhang Wu
Choquet Capacities and Fuzzy Integrals

Theory and Applications of Computability

Choquet capacities, which provide the weighting mechanism for the Choquet and other fuzzy integrals, model synergistic and antagonistic interactions between variables by assigning value to all subsets rat…

lieferbar innerhalb 2-3 Wochen

Buch

Rodney G. Downey, Alexander Melnikov
Computable Structure Theory

Theory and Applications of Computability

This is the first book which gives a unified theory for countable and uncountable computable structures.The work treats computable linear orderings, graphs, groups and Boolean algebras unified with comput…

lieferbar innerhalb 2-3 Wochen

Buch

Tim McFarland
Autonomous Weapon Systems and the Law of Armed Conflict

For policymakers, this book explains the ramifications under international humanitarian law of a major new field of weapon development with a focus on questions currently being debated by governments, the…

lieferbar ab 14.5.2026.

Buch

Lucien Sina
Theory of Computation

Theory of Computation - Clear, Concise, and Practical This book guides you step by step through the fundamentals of formal languages and computability: from finite automata to pushdown automata and contex…

lieferbar innerhalb 2-3 Wochen

Buch

Walter Carnielli on Reasoning, Paraconsistency, and Probability

Outstanding Contributions to Logic - Band 32

This book is a collection of essays and research articles honoring Walter Carnielli and his work. It brings together contributions from renowned scholars from all over the world whose work draws on or is …

lieferbar ab 28.4.2026.

Buch

Lucien Sina
Logic: Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives

This groundbreaking textbook presents a new approach to the study of logic by combining classical foundations with modern information-theoretic perspectives. Following a detailed introduction, it offers a…

lieferbar innerhalb 2-3 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch