Logic for physicists / Nicolas A. Pereyra.
Τύπος υλικού: ΚείμενοΣειρά: IOP concise physicsΛεπτομέρειες δημοσίευσης: San Rafael [Καλιφόρνια] : Morgan & Claypool Publishers, c2018.Περιγραφή: 1 ηλεκτρονική πηγή (ποικίλες σελιδαριθμήσεις)ISBN:- 9781643270166
- 9781643270142
- 510.1 23
1. Propositional algebra -- 1.1. Propositions -- 1.2. Logical operators -- 1.3. Notes on notation -- 1.4. The T and F symbols -- 1.5. Properties of logical operators [not sign], [vel], and [wedge] -- 1.6. The [turnstile] symbol
2. Predicate logic -- 2.1. What is predicate logic? -- 2.2. The [for all] symbol (FOR ALL) -- 2.3. The [exists] symbol (EXISTS) -- 2.4. Properties of the logical symbols [for all] and [exists]
3. Deductive reasoning -- 3.1. What is deductive reasoning? -- 3.2. An example.
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).