Roberto Leporini's Books

Quantum Computation and Logic

How Quantum Computers Have Inspired Logical Investigations

By: Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quantum Computation and Logic

How Quantum Computers Have Inspired Logical Investigations

By: Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

192

Publisher

Springer

Published Date

ISBN 10

3030044718

ISBN 13

9783030044718

Non-Equilibrium Thermodynamics in Multiphase Flows

By: Roberto Mauri

Write a review Read reviews Take a Quiz Solve Book Puzzle

Non-Equilibrium Thermodynamics in Multiphase Flows

By: Roberto Mauri

Non-equilibrium thermodynamics is a general framework that allows the macroscopic description of irreversible processes. This book introduces non-equilibrium thermodynamics and its applications to the rheology of multiphase flows. The subject is relevant to graduate students in chemical and mechanical engineering, physics and material science. This book is divided into two parts. The first part presents the theory of non-equilibrium thermodynamics, reviewing its essential features and showing, when possible, some applications. The second part of this book deals with how the general theory can be applied to model multiphase flows and, in particular, how to determine their constitutive relations. Each chapter contains problems at the end, the solutions of which are given at the end of the book. No prior knowledge of statistical mechanics is required; the necessary prerequisites are elements of transport phenomena and on thermodynamics. “The style of the book is mathematical, but nonetheless it remains very readable and anchored in the physical world rather than becoming too abstract. Though it is up-to-date and includes recent important developments, there is a lot of classical material in the book, albeit presented with unprecedented clarity and coherence. The first six chapters are actually a very good introduction to the theory underlying many phenomena in soft matter physics, beyond the focus on flow and transport of the later chapters of the book.” Prof Richard A.L. Jones FRS, Pro-Vice-Chancellor for Research and Innovation, University of Sheffield

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

272

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9400754612

ISBN 13

9789400754614

Reasoning in Quantum Theory

Sharp and Unsharp Quantum Logics

By: Maria Luisa Dalla Chiara,Roberto Giuntini,Richard Greechie

Write a review Read reviews Take a Quiz Solve Book Puzzle

Reasoning in Quantum Theory

Sharp and Unsharp Quantum Logics

By: Maria Luisa Dalla Chiara,Roberto Giuntini,Richard Greechie

Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

301

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9401705267

ISBN 13

9789401705264

Quantum Computation and Logic

How Quantum Computers Have Inspired Logical Investigations

By: Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quantum Computation and Logic

How Quantum Computers Have Inspired Logical Investigations

By: Maria Luisa Dalla Chiara,Roberto Giuntini,Roberto Leporini,Giuseppe Sergioli

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

192

Publisher

Springer

Published Date

ISBN 10

3030044718

ISBN 13

9783030044718

Book's by Roberto Leporini

Quantum Computation and Logic

Quantum Computation and Logic

Non-Equilibrium Thermodynamics in Multiphase Flows

Non-Equilibrium Thermodynamics in Multiphase Flows

Reasoning in Quantum Theory

Reasoning in Quantum Theory

Quantum Computation and Logic

Quantum Computation and Logic

Username

Password

Username

Password

Password again

Birthday

Email