Archive Notes

topic

116 items with this tag.

Jun 18, 2026
Week 3. Introduction to propositional logic
Jun 18, 2026
Week 4. Syntactical Transformations
Jun 18, 2026
Week 5. Important Semantical Notions
Jun 18, 2026
Week 1. Classes and Objects
Jun 18, 2026
Week 2. Understanding class definitions
Jun 18, 2026
Week 3. Object interaction
Jun 18, 2026
Week 4. Grouping objects
Jun 18, 2026
Week 1. Professional, Legal, Social and Ethical Issues
Jun 18, 2026
Week 2. Cyber Security
Jun 18, 2026
Week 3. Project Management and Group Work
Jun 18, 2026
Week 4. Professional Skills, GDPR and Intellectual Property
Jun 18, 2026
Week 3. Binary 2
Jun 18, 2026
Week 4. Binary 3
Jun 18, 2026
Week 5. Assembly 1
Jun 18, 2026
Week 6. Assembly 2
Jun 18, 2026
Week 2. Binary 1
Jun 18, 2026
1. Transformations using Logical Equivalence
Jun 18, 2026
2. Disjunctive Normal Form
Jun 18, 2026
202110181002 SGT
Jun 18, 2026
3. Conjunctive Normal Form
Jun 18, 2026
Tutorial list 2
Jun 18, 2026
1. Complete sets of connectives, truth-functions and substitutions
Jun 18, 2026
2. Quine's method and satisfiability
Jun 18, 2026
3. Logical consequence
Jun 18, 2026
Tutorial list 3
Jun 18, 2026
1. Getting started with propositional logic
Jun 18, 2026
2. Reading and evaluating formulae
Jun 18, 2026
202110211114 LGT
Jun 18, 2026
3. Types of formula and logical equivalence
Jun 18, 2026
Tutorial list 1
Jun 18, 2026
4. Computer Misuse Act 1990
Jun 18, 2026
5. Introduction to Contract Law
Jun 18, 2026
6. Software Contracts
Jun 18, 2026
1. Digital Security
Jun 18, 2026
2. Security Threats and Attacks
Jun 18, 2026
3. Software Faults and Hazards
Jun 18, 2026
4. Cyber Security
Jun 18, 2026
1. Introduction and project management
Jun 18, 2026
2. Initiating a project
Jun 18, 2026
3. Planning
Jun 18, 2026
4. Risk assessment
Jun 18, 2026
5. Execution and group work
Jun 18, 2026
1. Introduction to PSGW, GDPR and IP
Jun 18, 2026
2. Professional Skills for a Globalised World
Jun 18, 2026
3. GDPR
Jun 18, 2026
4. Intellectual property and copyright
Jun 18, 2026
5. IP, patents and trademarks
Jun 18, 2026
1. Professionalism
Jun 18, 2026
2. Ethical Theories and Computer Ethics
Jun 18, 2026
3. IPR and Internet Censorship
Jun 18, 2026
9. Sequences, Cartesian product of sets
Jun 18, 2026
1. What is a function
Jun 18, 2026
10. Not all sets are countable
Jun 18, 2026
2. Different ways of describing functions
Jun 18, 2026
3. Some useful functions
Jun 18, 2026
4. Functions and relations
Jun 18, 2026
5-6. Properties of functions
Jun 18, 2026
7. Describing functions by recursion
Jun 18, 2026
8. Function composition
Jun 18, 2026
9. Countable sets
Jun 18, 2026
1. The sum and the inclusion-exclusion principle
Jun 18, 2026
2. The product rule
Jun 18, 2026
3. The pigeonhole principle
Jun 18, 2026
10. Mistakes in proofs
Jun 18, 2026
11. Proofs by induction
Jun 18, 2026
12. The Simple Two Colour Theorem
Jun 18, 2026
13. All horses have the same colour
Jun 18, 2026
2. Logical connectives
Jun 18, 2026
3. Tautologies, Satisfiability and Consistency
Jun 18, 2026
4. Logical equivalence
Jun 18, 2026
5. Logically correct arguments
Jun 18, 2026
6. Predicate logic basics
Jun 18, 2026
7. Quantifiers
Jun 18, 2026
8. Theorems and proofs
Jun 18, 2026
1. What is a set
Jun 18, 2026
10. Relations
Jun 18, 2026
11. Representing relations
Jun 18, 2026
12-15,17. Properties of relations
Jun 18, 2026
16. Hasse diagrams
Jun 18, 2026
2. Describing sets by properties
Jun 18, 2026
3. Russell's paradox
Jun 18, 2026
4. Describing sets by recursion
Jun 18, 2026
5. Subsets
Jun 18, 2026
6. Equality of sets, powersets
Jun 18, 2026
7. Set operations
Jun 18, 2026
8. Two exercises about sets
Jun 18, 2026
2. Signed-magnitude arithmetic
Jun 18, 2026
3. Complement arithmetic
Jun 18, 2026
1. Fixed-point or Floating-point
Jun 18, 2026
2. IEEE-754 format
Jun 18, 2026
202110201103
Jun 18, 2026
3. Arithmetic with IEEE-754 format
Jun 18, 2026
4. Range and precision
Jun 18, 2026
5. Accuracy
Jun 18, 2026
1-2. Computer components
Jun 18, 2026
3-4. MARIE
Jun 18, 2026
Tutorial Work
Jun 18, 2026
1. Instruction processing and interrupts
Jun 18, 2026
2. Tracing a simple MARIE program
Jun 18, 2026
3. Assemblers
Jun 18, 2026
4. Extending the MARIE instruction set
Jun 18, 2026
5. Sample programming constructs
Jun 18, 2026
Tutorial Work
Jun 18, 2026
1. Overview
Jun 18, 2026
2. Positional number systems
Jun 18, 2026
3. Base conversions
Jun 18, 2026
4. Fractional components
Jun 18, 2026
5. Signed-magnitude binary
Jun 18, 2026
6. One's complement binary
Jun 18, 2026
7. Two's complement binary
Jun 18, 2026
8. Hexadecimal
Jun 18, 2026
9. Why binary
Jun 18, 2026
1. Unsigned arithmetic
Jun 18, 2026
1. Why logic
Jun 18, 2026
9. Direct and indirect proofs
Jun 18, 2026
4-7. Four ways of selecting items

Created with Quartz v5.0.0 © 2026

GitHub
Discord Community