Sinopsis
Propositional logic helps us to navigate in a world painted in black and white, a world in which there is only truth or falsehood, but nothing in between. It is a boiled down version of common sense reasoning. It is the essence of Sherlock Holmes' way of deducing that Professor Moriarty was the mastermind behind a criminal organization (Elementary, my dear Watson). Propositional logic builds on the following two propositions, which are declared to be true as basic principles (and they seem to make sense. . . ):
Content
- FundamentalsConcepts and Logic
- Axiomatic Set Theory
- Boolean Set Algebra
- Functions and Relations
- Ordinal and Natural Numbers
- Recursion Theorem and Universal Properties
- Natural Arithmetic
- In nities
- The Classical Number Domains Z, Q, R, and C
- Categories of Graphs
- Construction of Graphs
- Some Special Graphs
- Planarity
- First Advanced Topic
- Monoids, Groups, Rings, and Fields
- Primes
- Formal Propositional Logic
- Formal Predicate Logic
- Languages, Grammars, and Automata
- Categories of Matrixes
- Modules and Vector Spaces
- Linear Dependence, Bases, and Dimension
- Algorithms in Linear Algebra
- Linear Geometry
- Eigenvalues, the Vector Product, and Quaternions
- Second Advanced Topic
0 komentar:
Posting Komentar