scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to Proof Technique deck
Kitchen
/
Journeys
/
Programming language theory
/
What are the ideas of forward chaining and backward chaining?
Proof Technique
Wrong
Right
New · 0d
question
What are the ideas of forward chaining and backward chaining?
Hint
Forward chaining
Chapter 2. inductive definitions
← Previous flashcard
What are the differences between terms and expressions?
Next flashcard →
What are the ideas of micro and macro gradual typings?