Brainscape's Knowledge GenomeTM


Top Flashcards (Certified)
All Flashcards

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 1,
Sequent calculus conji 2,
Sequent calculus conje 3
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 1,
Why do we need the cut rule 2
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
1  cards
6. Introduction to Higher Order Logic in Isabelle
Define lambda abstraction 1,
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 2,
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 1,
Pattern s x y target s 0 s 0 what...,
What does this mean 3
28  cards
10. Rewriting
What restrictions must a rewrite ...,
What does this mean 2,
What does this mean 3
19  cards
11. Inductive Proof
What is the proof pattern for ind...,
What is a well founded ordering 2,
What is a noetherian ordering 3
18  cards
12. Hoare Logic
What is formal specification 1,
What is formal verification 2,
What are denotional semantics 3
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
  • 13 decks
  • 543 flashcards
  • 4 learners
Decks: اعضاء, General, 1000 Words Street, And more!
AR
  • 19 decks
  • 771 flashcards
  • 5 learners
Decks: Absorcao Ph Pka E Aprisionamento Ionico, Distribuicao Histerese Metabolismo E Eli, Extracao Clearance Meia Vida Farmaco Rec, And more!
Phase 1 AR
  • 34 decks
  • 668 flashcards
  • 19 learners
Decks: Skin Ar, Swallowing Ar, Neuro Anatomy Ar, And more!
Horace, Ars Poetica
  • 24 decks
  • 890 flashcards
  • 2 learners
Decks: Ars Poetica 1 19, Ars Poetica 19 37, Ars Poetica 38 58, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2025 Bold Learning Solutions. Terms and Conditions