| 청구기호 |
QA9 .P475 2018eb |
| 형태사항 |
1 online resource (various pagings).
|
| 총서명 |
[IOP release 4]
IOP concise physics, 2053-2571
|
| 언어 |
English |
| 일반주기 |
"Version: 20180601"--Title page verso.
"A Morgan & Claypool publication as part of IOP Concise Physics"--Title page verso.
|
| 내용 |
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.
|
| 주제 |
Mathematics --Philosophy.
Mathematical physics.
Physics. --bicssc
SCIENCE / Physics / General. --bisacsh
|
| 보유판 및 특별호 저록 |
Print version: 9781643270135
|
| ISBN |
9781643270166, 9781643270142, 9781643270135 |
| 기타 표준번호 |
10.1088/978-1-6432-7016-6 |
| QR CODE |
|
