Logic for physicists /

Logic for physicists /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Pereyra, Nicolas A. (συγγραφέας.)
Μορφή: Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: San Rafael [Καλιφόρνια] : Morgan & Claypool Publishers, c2018.
Σειρά:IOP concise physics.
Θέματα:
Μαθηματικά > Φιλοσοφία
Μαθηματική φυσική
Λογική, Συμβολική και μαθηματική
Διαθέσιμο Online:http://iopscience.iop.org/book/978-1-6432-7016-6
LEADER 02266nam a2200385 i 4500
001 9781643270166
003 IOP
005 20190320110409.0
006 m eo d
007 cr nn |||m|||a
008 180711s2018 cau o 000 0 eng d
999 |c 139860  |d 139860 
020 |a 9781643270166  |q ebook 
020 |a 9781643270142  |q mobi 
020 |z 9781643270135  |q print 
024 7 |a 10.1088/978-1-6432-7016-6  |2 doi 
035 |a (CaBNVSL)thg00976630 
035 |a (OCoLC)1044743665 
040 |a CaBNVSL  |b gre  |e AACR2  |c GR-PaULI  |d GR-PaULI 
082 0 4 |a 510.1  |2 23 
100 |a Pereyra, Nicolas A.  |e συγγραφέας.  |9 174689 
245 1 0 |a Logic for physicists /  |c Nicolas A. Pereyra. 
260 |a San Rafael [Καλιφόρνια] :  |b Morgan & Claypool Publishers,  |c c2018. 
300 |a 1 ηλεκτρονική πηγή (ποικίλες σελιδαριθμήσεις). 
490 1 |a IOP concise physics,  |x 2053-2571 
505 0 |a 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 
505 8 |a 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] 
505 8 |a 3. Deductive reasoning -- 3.1. What is deductive reasoning? -- 3.2. An example. 
520 3 |a 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). 
650 0 |a Μαθηματικά  |x Φιλοσοφία  |9 308 
650 0 |a Μαθηματική φυσική  |9 13 
650 0 |a Λογική, Συμβολική και μαθηματική  |9 472 
830 0 |a IOP concise physics. 
856 4 0 |u http://iopscience.iop.org/book/978-1-6432-7016-6 
942 |2 ddc  |c ERS 

Παρόμοια τεκμήρια