This class was created by Brainscape user carla klaasen. Visit their profile to learn more about the creator.
By:
carla klaasen
- decks
- flashcards
- learners
Decks in this class (23)
Formal Systems
No deck description has yet been added by the author.
25
cards
Proofs
No deck description has yet been added by the author.
10
cards
Inductive vs. Deductive Logic
No deck description has yet been added by the author.
17
cards
Sets, Relations, Functions, and Cardinality
No deck description has yet been added by the author.
25
cards
Infinite Cardinalities
No deck description has yet been added by the author.
20
cards
Formal Systems
No deck description has yet been added by the author.
12
cards
Interpretation of Formal Systems
No deck description has yet been added by the author.
8
cards
Recursively Enumerable vs. Recursive Sets
No deck description has yet been added by the author.
14
cards
Meanings, Equivalence, & Independence
No deck description has yet been added by the author.
16
cards
Formula Trees and Propositional Logic
No deck description has yet been added by the author.
23
cards
Propositional Logic as a Calculus
1. Natural Deduction Calculus
2. Axiomatic Calculus
3. GEB Calculus
67
cards
First-Order Predicate Logic
No deck description has yet been added by the author.
14
cards
First-Order Arithmetic
No deck description has yet been added by the author.
31
cards
First-Order Predicate Calculus
No deck description has yet been added by the author.
13
cards
Formal Theories
No deck description has yet been added by the author.
21
cards
Meta-Reasoning
No deck description has yet been added by the author.
17
cards
Turing Machines
No deck description has yet been added by the author.
17
cards
The Halting Problems
No deck description has yet been added by the author.
9
cards
Primitive Recursive Functions
No deck description has yet been added by the author.
17
cards
Recursive (Total) and Partial Recursive Functions
No deck description has yet been added by the author.
8
cards
Representability and Formal Theories of Arithmetic
No deck description has yet been added by the author.
7
cards
Godel's First Incompleteness Theorem
No deck description has yet been added by the author.
15
cards
Godel's Second Incompleteness Theorem
No deck description has yet been added by the author.
0
cards
More about
comp 230
- Class purpose General learning
Learn faster with Brainscape on your web, iPhone, or Android device. Study carla klaasen's COMP 230 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.
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?
Comp, 230 questions
- 1 decks
- 35 flashcards
- 1 learners
Decks:
Comp Questions 280 To Master By June 20, And more!
Ps 230 And Ps 388
- 22 decks
- 1067 flashcards
- 1 learners
Decks:
Ps 230, Ps 388, Ps 388 Exam 2, And more!
COMP EXAM
- 18 decks
- 1503 flashcards
- 4 learners
Decks:
Anatomy Division 1, Anatomy Division 2, Anatomy Division 3, And more!
