MATH3066 Algebra and Logic
flashcards
Decks in class (13)
# Cards
-
1 - Introduction to logic and impossibility. Mathematical Implication. Truth tables15
-
2 - Russell’s Paradox. Cardinality. Uncountability. Integers and modular arithmetic3
-
3 - Polynomials and factorisation. Introduction to groups, rings and fields0
-
4 - Deduction and proof in the propositional calculus0
-
5 - Metaproofs. Soundness in the propositional calculus0
-
6 - Syntax and semantics. Completeness of the propositional calculus0
-
7 - Quantifiers. Predicate calculus0
-
8 - Deduction and proof in the Predicate calculus0
-
9 - Soundness and completeness of the predicate calculus0
-
10 - Quotient constructions. Field extensions. Irreducible polynomials and finite fields0
-
11 - Construction of the real numbers, the completeness axiom0
-
12 - Unsolvability of ancient problems of the Greeks0
-
13 - The Halting Problem and undecidability of First Order Logic0
