Logic for physicists /

• Κύριος συγγραφέας: Pereyra, Nicolas A. (συγγραφέας.)
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: San Rafael [Καλιφόρνια] : Morgan & Claypool Publishers, c2018.
• Σειρά: IOP concise physics.
• Θέματα: Μαθηματικά > Φιλοσοφία; Μαθηματική φυσική; Λογική, Συμβολική και μαθηματική

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 top...

Πίνακας περιεχομένων:

• 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.