This class was created by Brainscape user Fergus O' Sullivan. Visit their profile to learn more about the creator.

Flashcard maker: Fergus O' Sullivan

Decks in this class (13)

1 - Introduction to logic and impossibility. Mathematical Implication. Truth tables
The creator of this deck did not yet add a description for what is included in this deck.
15  cards
2 - Russell’s Paradox. Cardinality. Uncountability. Integers and modular arithmetic
The creator of this deck did not yet add a description for what is included in this deck.
3  cards
3 - Polynomials and factorisation. Introduction to groups, rings and fields
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
4 - Deduction and proof in the propositional calculus
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
5 - Metaproofs. Soundness in the propositional calculus
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
6 - Syntax and semantics. Completeness of the propositional calculus
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
7 - Quantifiers. Predicate calculus
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
8 - Deduction and proof in the Predicate calculus
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
9 - Soundness and completeness of the predicate calculus
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
10 - Quotient constructions. Field extensions. Irreducible polynomials and finite fields
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
11 - Construction of the real numbers, the completeness axiom
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
12 - Unsolvability of ancient problems of the Greeks
The creator of this deck did not yet add a description for what is included in this deck.
0  cards
13 - The Halting Problem and undecidability of First Order Logic
The creator of this deck did not yet add a description for what is included in this deck.
0  cards

More about
MATH3066 Algebra and Logic

  • School Unspecified
  • Program type Unspecified
  • Course Unspecified
  • Instructor Unspecified
  • Standards Unspecified

The creator of this class did not yet add a description for what is included in this class.

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer.

Looking for something else?

Logic
  • 14 decks
  • 261 flashcards
  • 13 learners
Decks: Definitions Of Logical Terms, Language And Discourse, Definitions, And more!
Algebra 1
  • 8 decks
  • 252 flashcards
  • 152 learners
Decks: Misc Notes, Chapter 1, Chapter 3a, And more!
logic
  • 17 decks
  • 355 flashcards
  • 4 learners
Decks: Logic Chapter 2, Logic Chapter 3, Nance Wilsion, And more!
Make Flashcards