Brainscape's Knowledge GenomeTM

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


See full index

AR

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

By: Zoey Sheffield
Start Studying

Decks in this class (13)

Sequent Calculus Rules
Sequent calculus assumption,
Sequent calculus conji,
Sequent calculus conje
18  cards
1. Propositional Logic and Natural Deduction
What are the 5 propositional conn...,
What is the precedence of proposi...,
Define interpretation proposition...
16  cards
2. Natural Deduction and Starting with Isabelle
What is the basic structrue of an...
1  cards
3. Propositional Reasoning in Isabelle
What is the cut rule,
Why do we need the cut rule
2  cards
4. First-Order Logic
Whats the definition of a well fo...,
What is a constant in first order...,
What is the definition for a wff ...
8  cards
5. Representation
What is context as a formula
1  cards
6. Introduction to Higher Order Logic in Isabelle
Define lambda abstraction,
What are the two primitive functi...,
How are predicates represented in...
8  cards
7. Representation II Locales in Isabelle/HOL
Why are definitional extensions p...,
Why locales,
How do you define parameters in a...
6  cards
8. Isar - A Language for Structured Proofs
What does a typical isar proof lo...,
What is the proof pattern for cas...,
What is the proof pattern for con...
9  cards
9. Unification
What is a matching problem,
Pattern s x ytarget s 0 s 0 what ...,
What does this mean
28  cards
10. Rewriting
What restrictions must a rewrite ...,
What does this mean,
What does this mean
19  cards
11. Inductive Proof
What is the proof pattern for ind...,
What is a well founded ordering,
What is a noetherian ordering
18  cards
12. Hoare Logic
What is formal specification,
What is formal verification,
What are denotional semantics
14  cards

More about
AR

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Zoey Sheffield's AR flashcards for their University of Edinburgh 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?

AR Review
  • 7 decks
  • 150 flashcards
  • 2 learners
Decks: Regulation Numbers, Regulation Details, Fdt, And more!
AR
  • 15 decks
  • 202 flashcards
  • 1 learners
Decks: Module 2, Module 3, Module 6, And more!
Franska Futurum år 9
  • 14 decks
  • 265 flashcards
  • 29 learners
Decks: La Maison Planche 5, Adjektiv, Uttryck Fran Kap 12 Aysha Uppg 2 S 100 I, And more!
K5 Alexander
  • 31 decks
  • 905 flashcards
  • 13 learners
Decks: Neuro Den Akutte Patient, Neuro Hovedpine Migraene, Neuro Farmakologi Behandling, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions