Skip to main content
EnglandComputer ScienceSyllabus dot point

What mathematical tools (sets, logic and quantitative comparison) underpin computer science?

Mathematical skills for computer science: set theory and set operations, the comparison of binary, denary and hexadecimal magnitudes, simple logic propositions, and the use of these tools to reason about data and algorithms.

An OCR H446 answer on the mathematical skills underpinning computer science: set theory and set operations, comparing magnitudes across binary, denary and hexadecimal, simple logic propositions, and applying these tools to reason about data and algorithms.

Generated by Claude Opus 4.813 min answer

Reviewed by: AI editorial process; not yet individually human-reviewed

Have a quick question? Jump to the Q&A page

Jump to a section
  1. What this dot point is asking
  2. The answer
  3. Examples in context
  4. Try this

What this dot point is asking

OCR wants the mathematical skills that support the course: set theory and its operations, comparing magnitudes expressed in binary, denary and hexadecimal, and simple logic propositions, used to reason about data and algorithms. Expect a set-operations question and a "put these values in order" question across number bases.

The answer

Set theory and set operations

Comparing magnitudes across number bases

Logic propositions

Examples in context

Database queries are set operations: a join's matching rows are an intersection, and combining result sets is a union. Type systems define the set of values a variable may hold. Comparing file sizes or addresses given in hex and denary needs base conversion first. Logical propositions are the conditions in every if-statement. OCR links these skills to number representation, to Boolean algebra and logic, and to reasoning about algorithm efficiency with Big-O.

Try this

Q1. For A={2,4,6}A = \{2, 4, 6\} and B={4,6,8}B = \{4, 6, 8\}, state A∩BA \cap B. [1 mark]

  • Cue. {4,6}\{4, 6\} (the elements in both sets).

Q2. Put 1F16\text{1F}_{16} and 301030_{10} in ascending order, showing your reasoning. [2 marks]

  • Cue. 1F16=1×16+15=31\text{1F}_{16} = 1 \times 16 + 15 = 31; 30<3130 < 31, so the order is 301030_{10} then 1F16\text{1F}_{16}.

Q3. State what the union of two sets contains. [1 mark]

  • Cue. All elements that are in either set (or both), each listed once.

Exam-style practice questions

Practice questions written in the style of OCR exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

OCR 20205 marksTwo sets are A={1,2,3,4}A = \{1, 2, 3, 4\} and B={3,4,5,6}B = \{3, 4, 5, 6\}. State the union, the intersection and the difference A∖BA \setminus B, and explain what the intersection represents.
Show worked answer →

Union (1 mark): A∪B={1,2,3,4,5,6}A \cup B = \{1, 2, 3, 4, 5, 6\} (all elements in either set, listed once).

Intersection (1 mark): A∩B={3,4}A \cap B = \{3, 4\} (elements in both sets).

Difference (1 mark): A∖B={1,2}A \setminus B = \{1, 2\} (elements in AA but not in BB).

Meaning of intersection (up to 2): the intersection is the set of elements common to both sets, here the values that appear in both AA and BB. Markers reward the three correct sets and a correct description of intersection as the common elements. A common error is including duplicates in the union or confusing intersection with union.

OCR 20214 marksPlace the following values in ascending order, showing your reasoning: the binary number 1010 00001010\,0000, the hexadecimal number A0\text{A0}, and the denary number 150150.
Show worked answer →

Convert to a common base (up to 3): 1010 00001010\,0000 in binary =128+32=160= 128 + 32 = 160. A0\text{A0} in hex =10×16+0=160= 10 \times 16 + 0 = 160. The denary value is 150150.

Order (1 mark): 150<160=160150 < 160 = 160, so ascending order is 150150, then 1010 00001010\,0000 and A0\text{A0} (which are equal at 160160). Markers reward converting all three to denary and the correct ordering, noting that the binary and hex values are equal. A common error is comparing the raw digit strings without converting.

Related dot points

Sources & how we know this