Browse by Tag
Click a tag in the sidebar to show only notes with that exact tag - unlike the navbar search box (which does full-text search over rendered content), this filters on each note’s categories: frontmatter (Quarto’s reserved listing field - this repo’s tooling/CLI still call the concept “tags”, e.g. just list-tags).
| Title | Categories |
|---|---|
| Advanced Inheritance | lecture, python, inheritance, abstract-classes, mro |
| Aggregation, Grouping and Multiple Relation Queries | lecture, databases, sql, aggregation, grouping, joins, set-operations |
| Applied Class 10: Normalisation, BCNF Decomposition and 3NF Synthesis | exercises, tutorial, databases, normalisation, bcnf, 3nf, minimal-cover |
| Applied Class 1: Intro to DBMS and Basic ERD | exercises, tutorial, databases, database-design, er-model |
| Applied Class 2: Entity Relationship Diagrams | exercises, tutorial, databases, er-model, weak-entities, eer-model |
| Applied Class 3: Relational Integrity | exercises, tutorial, databases, relational-model, integrity-constraints |
| Applied Class 4: Entity Relationship Mapping | exercises, tutorial, databases, relational-model, er-mapping |
| Applied Class 5: Basic SQL syntax, DDL and DML | exercises, tutorial, databases, sql, ddl, dml |
| Applied Class 6: DQL Aggregation and Grouping | exercises, tutorial, databases, sql, aggregation, grouping |
| Applied Class 7: DQL Multiple Relation SQL Queries | exercises, tutorial, databases, sql, joins, set-operations |
| Applied Class 8: DQL Nested Queries and Views | exercises, tutorial, databases, sql, subqueries, correlated-subqueries, views |
| Applied Class 9: Functional Dependencies | exercises, tutorial, databases, functional-dependencies, keys, normalisation |
| Basic SQL Syntax: Data Definition and Data Manipulation Language | lecture, databases, sql, ddl, dml, integrity-constraints |
| Binary Arithmetic | lecture, computer-systems, digital-logic, binary |
| Binary Conversion Drill | exercises, computer-systems, binary |
| Binary Number Representations | definitions, computer-systems, binary |
| Black-box and Glass-box Testing | exercises, tutorial, java, testing |
| Boolean Algebra | definitions, computer-systems, digital-logic, boolean-algebra |
| CSSE1001 — Introduction to Software Engineering | course-info, python |
| CSSE2002 — Programming in the Large | course-info, java |
| CSSE2010/CSSE7201 — Introduction to Computer Systems | course-info, computer-systems |
| Case Study 1: Dirt Road Driving | exercises, tutorial, case-study, databases, er-model, eer-model |
| Case Study 2: Dirt Road Driving | exercises, tutorial, case-study, databases, relational-model, integrity-constraints |
| Case Study 3: Dirt Road Driving | exercises, tutorial, case-study, databases, relational-model, er-mapping |
| Case Study 4: EasyDrive Insurance (DDL & DML) | exercises, tutorial, case-study, databases, sql, ddl, dml |
| Case Study 5: EasyDrive Insurance (Queries) | exercises, tutorial, case-study, databases, sql, aggregation, grouping |
| Case Study 8: Dirt Road Driving (Payroll System — Anomalies and FDs) | exercises, tutorial, case-study, databases, functional-dependencies, normalisation |
| Case Study 9: Payroll System (BCNF Decomposition and 3NF Synthesis) | exercises, tutorial, case-study, databases, bcnf, 3nf, normalisation |
| Circuit Schematics | definitions, computer-systems, digital-logic |
| Class Invariants | exercises, tutorial, java, specification, representation-invariants, encapsulation |
| Combinational Logic Blocks | definitions, computer-systems, digital-logic, combinational-logic |
| Composition | lecture, python, composition, oop |
| Comprehensions | lecture, python, comprehensions, for-loops |
| Conceptual Database Design and the ER Model | lecture, databases, database-design, er-model |
| Conditional & Biconditional Statements | definitions, discrete-math, logic, conditional-statements |
| Correct Programming | lecture, java, specification, correctness, loop-invariants, hoare-logic |
| Counters | definitions, computer-systems, digital-logic, sequential-logic |
| Coupling and Cohesion | exercises, tutorial, java, coupling, cohesion |
| Course Overview and Java Basics | lecture, java, static-typing, control-flow |
| Database Design Guidelines and Functional Dependencies | lecture, databases, database-design, functional-dependencies, normalisation, keys |
| Database Security | lecture, databases, database-security, access-control, sql-injection |
| Debugging | exercises, lab, java, debugging, junit |
| Dependency Inversion | exercises, tutorial, java, solid, dependency-injection |
| Determining Argument Validity — Worked Examples | definitions, discrete-math, logic, valid-arguments |
| Device Pinouts | definitions, computer-systems, digital-logic |
| Divisibility & Unique Factorisation | definitions, discrete-math, number-theory, divisibility |
| Dunder (Magic) Methods | lecture, python, dunder-methods, oop |
| ER Diagram Notation | definitions, databases, er-model |
| ER to Relational Mapping | lecture, databases, relational-model, er-mapping |
| Exceptions | lecture, python, exceptions |
| Exceptions | lecture, java, exceptions |
| Exceptions | exercises, tutorial, java, exceptions |
| File IO | lecture, python, file-io |
| Flip-Flops and Latches | definitions, computer-systems, digital-logic, sequential-logic |
| For-Loops | lecture, python, for-loops |
| Functions | lecture, python, functions, type-hints, docstrings |
| Generics | exercises, lab, java, generics, wildcards |
| Generics in Java | lecture, java, generics, wildcards, type-erasure |
| INFS1200 — Introduction to Information Systems | course-info, databases |
| Inheritance | lecture, python, inheritance, polymorphism, oop |
| Introduction to Object-Oriented Programming | lecture, python, oop |
| JUnit Testing | exercises, lab, java, testing, junit |
| Java Abstraction | lecture, java, oop, abstract-classes |
| Java Basics Applied Class | exercises, tutorial, java, recursion, control-flow |
| Java Basics Part 02 - Collections and Strings | lecture, java, memory-model, collections |
| Java Basics Practical - Palindromes | exercises, lab, java, strings, recursion |
| Java Casting | lecture, java, casting, type-conversion |
| Java Classes - Point Line Polynomial | exercises, lab, java, oop, class-design |
| Java Cohesion and Coupling | lecture, java, cohesion, coupling |
| Java Collections Framework | lecture, java, collections, hash-tables |
| Java Encapsulation | lecture, java, oop, encapsulation |
| Java Events | lecture, java, events |
| Java Exceptions | lecture, java, exceptions |
| Java Generics | lecture, java, generics, wildcards, type-erasure |
| Java Hoare Logic | lecture, java, specification, hoare-logic, correctness |
| Java I/O | lecture, java, file-io, streams, readers, writers, nio |
| Java I/O | lecture, java, file-io, streams, readers, writers, nio |
| Java I/O | exercises, lab, java, file-io, serialization |
| Java Inheritance | lecture, java, oop, inheritance |
| Java JUnit | lecture, java, testing, junit |
| Java Lambdas and Streams | lecture, java, lambdas, streams, functional-interfaces |
| Java Loop Invariants | lecture, java, loop-invariants, correctness |
| Java Mutability | lecture, java, oop, mutability |
| Java Polymorphism | lecture, java, oop, polymorphism |
| Java Primitive and Reference Types | lecture, java, primitive-data-types, type-conversion |
| Java Refactoring | lecture, java, refactoring |
| Java SOLID Principles | lecture, java, solid |
| Java Specification | lecture, java, specification |
| Java Testing | lecture, java, testing |
| Lab 4 Pre-Work | exercises, lab, computer-systems, digital-logic, combinational-logic, boolean-algebra |
| Lab 7 Exercises | exercises, lab, computer-systems, digital-logic, sequential-logic |
| Lambdas and Streams | exercises, tutorial, java, lambdas, streams, functional-interfaces |
| Lambdas, Streams and Events | lecture, java, lambdas, streams, events |
| Lecture 1 — Course Introduction; Bits, Bytes and Binary | lecture, computer-systems, binary |
| Lecture 1 — Welcome & Warm-up Problems | lecture, discrete-math, proof, recursion, graph-theory |
| Lecture 10 — Divisibility | lecture, discrete-math, number-theory, divisibility, proof |
| Lecture 11 — Modular Arithmetic | lecture, discrete-math, number-theory, modular-arithmetic |
| Lecture 12 — Modular Arithmetic and the Euclidean Algorithm | lecture, discrete-math, number-theory, euclidean-algorithm |
| Lecture 2 — Intro to Logic Gates | lecture, computer-systems, digital-logic, boolean-algebra |
| Lecture 2 — Logical Form and Logical Equivalence | lecture, discrete-math, logic, propositional-logic |
| Lecture 3 — Conditional Statements | lecture, discrete-math, logic, conditional-statements |
| Lecture 4 — Combinational Logic | lecture, computer-systems, digital-logic, combinational-logic |
| Lecture 4 — Valid and Invalid Arguments | lecture, discrete-math, logic, valid-arguments |
| Lecture 5 — Introduction to Sequential Circuits | lecture, computer-systems, digital-logic, sequential-logic |
| Lecture 5 — Valid Arguments (cont’d), Quantified Statements | lecture, discrete-math, logic, quantifiers, valid-arguments |
| Lecture 6 — Multiple Quantifiers, Negations of Quantified Statements | lecture, discrete-math, logic, quantifiers |
| Lecture 6 — Sequential Circuits 1: Shift Registers | lecture, computer-systems, digital-logic, sequential-logic |
| Lecture 7 — Counters | lecture, computer-systems, digital-logic, sequential-logic |
| Lecture 7 — Direct Proof, Counterexample | lecture, discrete-math, proof |
| Lecture 8 — Proof by Contradiction | lecture, discrete-math, proof |
| Lecture 9 — Proof by Contraposition, Rational Numbers | lecture, discrete-math, proof, rational-numbers |
| Logic Gates | definitions, computer-systems, digital-logic |
| Logical Connectives | definitions, discrete-math, logic, propositional-logic |
| Logical Equivalence & Laws | definitions, discrete-math, logic, propositional-logic |
| MATH1061/MATH7861 — Discrete Mathematics | course-info, discrete-math |
| Majority Function Circuit Design | exercises, lab, computer-systems, digital-logic |
| Method Dispatch and Casting | exercises, tutorial, java, polymorphism, casting |
| Model View Controller | lecture, python, mvc, design-patterns, oop |
| Model-View-Controller (MVC) | definitions, python, mvc, design-patterns |
| Modular Arithmetic, Floor & the Quotient-Remainder Theorem | definitions, discrete-math, number-theory, modular-arithmetic |
| Nested Queries, Views and Generative AI & SQL | lecture, databases, sql, subqueries, correlated-subqueries, views, generative-ai |
| Non-Primitive Data | lecture, python, lists, dictionaries, hash-tables |
| Normalisation and Relational Database Schema Design | lecture, databases, normalisation, bcnf, 3nf, minimal-cover, database-design |
| Object Oriented Programming I | lecture, java, oop, encapsulation |
| Object Oriented Programming II | lecture, java, oop, polymorphism, casting |
| Practical 1: Course Tools | exercises, lab, databases, er-model |
| Practice Problems — Applied Class Source | exercises, discrete-math |
| Primitive Data | lecture, python, primitive-data-types, type-conversion |
| Proof Techniques — Direct, Counterexample, Contradiction, Contraposition | definitions, discrete-math, proof |
| Python Boolean Logic | definitions, python, booleans |
| Python Classes and Objects | definitions, python, oop |
| Python Composition | definitions, python, composition, oop |
| Python Comprehensions | definitions, python, comprehensions, for-loops |
| Python Dictionaries | definitions, python, dictionaries, hash-tables |
| Python Dunder (Magic) Methods | definitions, python, dunder-methods, oop |
| Python Exceptions | definitions, python, exceptions |
| Python File IO | definitions, python, file-io |
| Python For-Loops | definitions, python, for-loops |
| Python Functions | definitions, python, functions, type-hints, docstrings |
| Python If Statements | definitions, python, if-statements, refactoring |
| Python Inheritance | definitions, python, inheritance, polymorphism, abstract-classes, mro |
| Python Lists | definitions, python, lists, mutability |
| Python Memory Model | lecture, python, memory-model, variables |
| Python Operator Precedence and Associativity | definitions, python, arithmetic-expressions |
| Python PEP8 Style Guide | definitions, python, style-guide |
| Python Primitive Data Types | definitions, python, primitive-data-types, booleans, strings |
| Python Recursion | definitions, python, recursion |
| Python Representation Invariants | definitions, python, representation-invariants, assertions |
| Python Scope | definitions, python, scope, variables |
| Python String Methods | definitions, python, string-methods, strings |
| Python Testing (doctest & Assertions) | definitions, python, testing, doctest, assertions |
| Python Variables and Memory Model | definitions, python, memory-model, variables |
| Python While Loops | definitions, python, while-loops |
| Python as a Calculator | lecture, python, arithmetic-expressions |
| Quantified Statements | definitions, discrete-math, logic, quantifiers |
| Rational & Irrational Numbers | definitions, discrete-math, proof, rational-numbers |
| Recursion | lecture, python, recursion |
| Refactoring | lecture, java, refactoring, solid, cohesion, coupling |
| Refactoring | exercises, lab, java, refactoring, cohesion, coupling |
| Relational Mapping Notation | definitions, databases, relational-model |
| Relationship Constraints | definitions, databases, er-model, integrity-constraints |
| Representation Invariants | lecture, python, representation-invariants, assertions, oop |
| SOLID Principles II | lecture, java, solid |
| Scope | lecture, python, scope, variables |
| Sequence, Selection, and Iteration | lecture, python, if-statements, booleans |
| Sequential Circuits | definitions, computer-systems, digital-logic, sequential-logic |
| Shift Registers | definitions, computer-systems, digital-logic, sequential-logic |
| Stack Heap and Class Design | exercises, tutorial, java, memory-model, recursion, class-design |
| String Methods | lecture, python, string-methods, strings |
| Substitution Principle and Pre/Post Conditions | exercises, tutorial, java, solid, specification |
| Testing | lecture, python, testing, doctest, docstrings |
| Testing | lecture, java, testing, junit |
| The Relational Model and Integrity Constraints | lecture, databases, relational-model, integrity-constraints |
| Timing Diagrams | definitions, computer-systems, digital-logic |
| Towers of Hanoi (Induction & Recursion, Supplementary) | exercises, python, recursion, induction |
| Tutorial 5.1: Database Security | exercises, tutorial, databases, database-security, access-control, sql-injection |
| UML Class Diagrams | definitions, python, uml, oop |
| Unified Modelling Language (UML) | lecture, python, uml, oop |
| Valid Argument Forms | definitions, discrete-math, logic, valid-arguments |
| Weak Entities, the EER Model and Design Choices | lecture, databases, er-model, weak-entities, eer-model |
| Week 1 Exercises — Bits, Bytes & Binary; Intro to Logic Gates | exercises, computer-systems, binary, digital-logic |
| Week 5 Exercises — For-Loop Practice | exercises, python, for-loops, comprehensions |
| While-Loops | definitions, python, while-loops |
| gcd, lcm & the Euclidean Algorithm | definitions, discrete-math, number-theory, euclidean-algorithm |
No matching items