Emne: proof theory
Her ser du alle bøger, der handler om emnet Proof theory.
Brug filtrene i venstre spalte til at forfine og tilpasse udvalget af bøger om Proof theory.
Finder du ikke det, du leder efter, så prøv søgefeltet øverst på siden.
af: Claus Euklid
Matematisk filosofiSamarbejde på tværsQ.E.D. er til matematik, oldtidskundskab, religion og almen studieforberedelse. Bogen indeholder indledninger, kommentarer, læsningsforslag og anvisninger på, hvo...
Se mere om bogen
Quantum electrodynamics - or QED for short - is the 'strange theory' that explains how light and electrons interact. This work presents a set of lectures that gives an introduction to QED. illustratio...
Se mere om bogen
af: Burkard Polster
Illustrations...
Se mere om bogen
af: Freek Wiedijk & Dana S Scott
Presents formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. This volume includes 17 systems for the formalization of mathem...
Se mere om bogen
af: Randall B Maddox
Teaches readers to construct proofs and communicate with the precision necessary for working with abstraction. This book covers a range of techniques used in proofs, including contrapositive, inductio...
Se mere om bogen
af: Ekkehard Kopp
This volume aims to provide students with a thorough understanding of the subject as it is covered on first year courses. The focus is on real functions, and examines the concepts of continuity, diffe...
Se mere om bogen
Considered the 20th century's greatest mathematician, Kurt Godel is the subject of this lucid and accessible study, which explains the significance of his theorems and the remarkable vision behind the...
Se mere om bogen
af: A M Ungar
Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of th...
Se mere om bogen
Mathematical Proofs: A Transition to Advanced Mathematics, Second Edition, prepares students for the more abstract mathematics courses that follow calculus. This text introduces students to proof tech...
Se mere om bogen
af: Edward B Burger
Mathematicians do not know in advance if their assertions are true, so they need to verify assertions with rigorous proofs or produce counterexamples, then attempt to salvage the assertions by transfo...
Se mere om bogen