Abstraction and Automation
AQA 75174.4.1A-levelLesson packSubscription
Also online
This worksheet marks itself
Set it as homework or classwork and every answer is marked as pupils go, with feedback on what they got wrong. The scores go straight into your mark book, so you can see who needs help before the next lesson.
- 10 questions
- 43 marks
- about 55 minutes
- marked instantly
Question types: multi-part, multiple choice, true or false, fill the gap, matching.
About this resource
AQA A-level Computer Science (7517) Paper 1, 4.4.1 Abstraction and automation — problem-solving, algorithms and pseudocode, the seven kinds of abstraction (representational, generalisation, information hiding, procedural, functional, data, problem abstraction/reduction), decomposition, compositio…
32 slides.
Lesson outline
- Do Now — Retrieval
- I-Do: Problem-Solving, and What Is an Algorithm?
- We-Do — Solve, Check, and Define
- I-Do: Pseudocode — the Standard Constructs
- I-Do: Hand-Tracing an Algorithm
- Hinge Check — What MUST an Algorithm Do?
- We-Do — Hand-Trace and Convert to Python
- I-Do: Correctness and Efficiency
- I-Do: Representational Abstraction
- I-Do: Abstraction by Generalisation
- Hinge Check — Representational vs Generalisation
- I-Do: How the Two Combine Into a Model
Unit bundlePaper 1
More from 4.4 Theory of computation
- Lesson pack · 4.4.2Sets, Regular Expressions and Regular LanguagesSubscription
- Lesson pack · 4.4.2.1Finite State MachinesFree
- Lesson pack · 4.4.3.1Context-Free Languages: BNF and Syntax DiagramsSubscription
- Lesson pack · 4.4.4Classification of Algorithms (Big-O, Tractability, Halting)Subscription
- Lesson pack · 4.4.5.1Turing MachinesSubscription
- Knowledge organiser · 4.4Theory of Computation (Part 1) — Abstraction, Automation & Finite State MachinesFree
- Knowledge organiser · 4.4Theory of Computation (Part 2) — Sets, Regular Expressions & BNFSubscription
- Knowledge organiser · 4.4Theory of Computation (Part 3) — Classification of Algorithms & Turing MachinesSubscription


