-
Week 38 Automated Reasoning and Theorem Proving
20 Oct 2026
-
Week 37 Fundamentals of Theorem Proving
20 Oct 2026
-
Week 36 Introduction to Resolution in Predicate Logic
20 Oct 2026
-
Week 35 Applying Resolution to Propositional Problems
20 Oct 2026
-
Week 34 Logical Resolution in Propositional Logic
20 Oct 2026
-
Week 33 Negation and Interpretation of Predicate Statements
20 Oct 2026
-
Week 32 Introduction to Predicate Logic
20 Oct 2026
-
Week 31 Negation, Conjunction, Disjunction, and Implication
20 Oct 2026
-
Week 30 Propositions and Truth Values
20 Oct 2026
-
Week 29 Mathematical and Logical Modelling of the World
20 Oct 2026
-
Week 28 Definitions, Knowledge, Rules, and Representation
20 Oct 2026
-
Week 27 Fundamental Issues in Intelligent Systems
20 Oct 2026
-
Week 26 Revision of Polynomials and Cubic Equations
20 Oct 2026
-
Week 25 Integrated Applications of Polynomial Theorems
20 Oct 2026
-
Week 24 Determining Unknown Coefficients in Cubic Equations
20 Oct 2026
-
Week 23 Problems Involving the Roots of Cubic Equations
20 Oct 2026
-
Week 22 Relationships Between Roots and Coefficients of Cubic Equations
20 Oct 2026
-
Week 21 Solutions and Roots of Cubic Equations
20 Oct 2026
-
Week 20 Complete Factorisation of Cubic Expressions
20 Oct 2026
-
Week 19 Application of the Remainder Theorem
20 Oct 2026
-
Week 18 Factorisation Using the Factor Theorem
20 Oct 2026
-
Week 17 Advanced Polynomial Division
20 Oct 2026
-
Week 16 Division of a Polynomial by Another Polynomial
20 Oct 2026
-
Week 15 Addition, Subtraction, and Multiplication of Polynomials
20 Oct 2026
-
Week 14 Definition, Classification, and Properties of Polynomials
20 Oct 2026
-
Week 13 Revision of Roots of Quadratic Equations
20 Oct 2026
-
Week 12 Applications of Root Relationships and the Discriminant
20 Oct 2026
-
Week 11 Tangents to Quadratic Curves
20 Oct 2026
-
Week 10 Conditions for a Line to Intersect, Touch, or Miss a Curve
20 Oct 2026
-
Week 9 Graphical Interpretation of Quadratic Roots
20 Oct 2026
-
Week 8 Discriminant Conditions and Parameter Restrictions
20 Oct 2026
-
Week 7 Equal Roots and Problems Involving Parameters
20 Oct 2026
-
Week 6 Conditions for Equal, Distinct Real, and Non-Real Roots
20 Oct 2026
-
Week 5 Advanced Formation of Quadratic Equations
19 Oct 2026
-
Week 4 Forming Quadratic Equations from Roots
19 Oct 2026
-
Week 3 Advanced Applications of Root Relationships
19 Oct 2026
-
Week 2 Relationships Between Roots and Coefficients
19 Oct 2026
-
Week 1 Introduction to Roots of Quadratic Equations
19 Oct 2026