Logic for physicists /
Pereyra, Nicolas A.
Logic for physicists / Nicolas A. Pereyra. - San Rafael [Καλιφόρνια] : Morgan & Claypool Publishers, c2018. - 1 ηλεκτρονική πηγή (ποικίλες σελιδαριθμήσεις). - IOP concise physics, 2053-2571 . - IOP concise physics. .
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).
9781643270166 9781643270142
10.1088/978-1-6432-7016-6 doi
Μαθηματικά--Φιλοσοφία
Μαθηματική φυσική
Λογική, Συμβολική και μαθηματική
510.1
Logic for physicists / Nicolas A. Pereyra. - San Rafael [Καλιφόρνια] : Morgan & Claypool Publishers, c2018. - 1 ηλεκτρονική πηγή (ποικίλες σελιδαριθμήσεις). - IOP concise physics, 2053-2571 . - IOP concise physics. .
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).
9781643270166 9781643270142
10.1088/978-1-6432-7016-6 doi
Μαθηματικά--Φιλοσοφία
Μαθηματική φυσική
Λογική, Συμβολική και μαθηματική
510.1
