Brainscape's Knowledge GenomeTM

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


See full index

programming languages and computation

This class was created by Brainscape user Aiden Dawes. Visit their profile to learn more about the creator.

By: Aiden Dawes
Start Studying

Decks in this class (21)

Strings and Concrete Syntax
No deck description has yet been added by the author.
17  cards
Trees and Abstract Syntax
No deck description has yet been added by the author.
14  cards
3.1 Finite Automata
No deck description has yet been added by the author.
9  cards
3.2 Kleene's Theorem
No deck description has yet been added by the author.
6  cards
4.1 Inexpressibility
No deck description has yet been added by the author.
5  cards
4.2 Pumping Lemma
No deck description has yet been added by the author.
6  cards
5.1 While Expressions
No deck description has yet been added by the author.
10  cards
5.2 While statements
No deck description has yet been added by the author.
4  cards
7.1 Breaking Bad
No deck description has yet been added by the author.
6  cards
7.2 Correctness
No deck description has yet been added by the author.
3  cards
8.1 Computable functions
No deck description has yet been added by the author.
6  cards
8.2 Decidable predicates
No deck description has yet been added by the author.
5  cards
9.1 Bijections
No deck description has yet been added by the author.
9  cards
9.2 Encoding Data
No deck description has yet been added by the author.
3  cards
9.3 Reflections
No deck description has yet been added by the author.
3  cards
10.1 Godel Numberings
No deck description has yet been added by the author.
5  cards
10.2 The Universal Function
No deck description has yet been added by the author.
3  cards
10.3 The Church Turing thesis
No deck description has yet been added by the author.
3  cards
10.4 The Halting Problem
No deck description has yet been added by the author.
1  cards
11.1 Reductions
No deck description has yet been added by the author.
4  cards
11.2 Rice's theorem
No deck description has yet been added by the author.
4  cards

More about
programming languages and computation

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Aiden Dawes's Programming Languages and Computation flashcards for their AISJ class 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?

Computer Programming
  • 7 decks
  • 167 flashcards
  • 27 learners
Decks: Engn132 Chapter 1, Engn132 Chapter 1, Engn132 Chapter 2, And more!
Programming Languages
  • 1 decks
  • 77 flashcards
  • 1 learners
Decks: Simpletron, And more!
Computer Programming Basics
  • 24 decks
  • 473 flashcards
  • 29 learners
Decks: Basic Concepts To Know, Git And Github, Part 8 A Smarter Way To Learn Javascript, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions