Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

math3066 algebra and logic

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

By: Fergus O' Sullivan
Start Studying

Decks in this class (13)

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

More about
math3066 algebra and logic

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Fergus O' Sullivan's MATH3066 Algebra and Logic flashcards now!

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.

Learn more about spaced repetition

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
  • 8 decks
  • 134 flashcards
  • 2 learners
Decks: Unit 1, Unit 2, Unit 25, And more!
Algebra 1
  • 8 decks
  • 252 flashcards
  • 162 learners
Decks: Misc Notes, Chapter 1, Chapter 3a, And more!
LOGIC
  • 4 decks
  • 117 flashcards
  • 12 learners
Decks: Prelims Intro To Philosophy, Prelims Ppt 1, Prelims Ppt 2, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions