Archive Notes
Search
Search
Dark mode
Light mode
Explorer
module4ccs1fc1
270 items with this tag.
Jun 18, 2026
Week 6. Graphs
typesummary
module4ccs1fc1
Jun 18, 2026
Week 7. Trees
typesummary
module4ccs1fc1
Jun 18, 2026
Week 8. Finite automata
typesummary
module4ccs1fc1
Jun 18, 2026
Week 2. Sets and relations
topicsets
topicrelations
typesummary
module4ccs1fc1
Jun 18, 2026
Week 3. Functions
topicfunctions
typesummary
module4ccs1fc1
Jun 18, 2026
Week 4. Basic combinatorial principles
topiccombinatorials
typesummary
module4ccs1fc1
Jun 18, 2026
Week 5. Discrete probability
typesummary
module4ccs1fc1
Jun 18, 2026
4CCS1FC1 Foundations of Computing 1
module4ccs1fc1
Jun 18, 2026
Week 1. Intro to propositional logic and proofs
topicproof
topicpredicatelogic
topicpropositionallogic
typesummary
module4ccs1fc1
Jun 18, 2026
Week 10. Regular languages
typesummary
module4ccs1fc1
Jun 18, 2026
Non-edges-to-non-edges (1)
module4ccs1fc1
Jun 18, 2026
Non-edges-to-non-edges (2)
module4ccs1fc1
Jun 18, 2026
10. Tree traversal algorithms
module4ccs1fc1
Jun 18, 2026
FC1 Week 7 SGT
module4ccs1fc1
Jun 18, 2026
Practice Work
module4ccs1fc1
Jun 18, 2026
1. Applications of finite automata
module4ccs1fc1
Jun 18, 2026
2. Alphabets, words, languages
module4ccs1fc1
Jun 18, 2026
3. Finite automata basics
module4ccs1fc1
Jun 18, 2026
4. State transition diagrams
module4ccs1fc1
Jun 18, 2026
5. Deterministic Finite Automata
module4ccs1fc1
Jun 18, 2026
6. Vending machine example
module4ccs1fc1
Jun 18, 2026
7. Language of a DFA
module4ccs1fc1
Jun 18, 2026
8. More examples
module4ccs1fc1
Jun 18, 2026
Practice Work
module4ccs1fc1
Jun 18, 2026
Tutorial Exercises
module4ccs1fc1
Jun 18, 2026
1-3. Designing DFAs
module4ccs1fc1
Jun 18, 2026
10. State minimisation
module4ccs1fc1
Jun 18, 2026
5. NFAs transition table, acceptance
module4ccs1fc1
Jun 18, 2026
6. NFA Example 1
module4ccs1fc1
Jun 18, 2026
7. NFA Example 2
module4ccs1fc1
Jun 18, 2026
8. Designing NFAs
module4ccs1fc1
Jun 18, 2026
9. The subset construction
module4ccs1fc1
Jun 18, 2026
FC1 Week 9 SGT
module4ccs1fc1
Jun 18, 2026
Tutorial Exercises
module4ccs1fc1
Jun 18, 2026
9. Sequences, Cartesian product of sets
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
1. What is a function
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
10. Not all sets are countable
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
2. Different ways of describing functions
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
3. Some useful functions
topicfunctions
module4ccs1fc1
topic
Jun 18, 2026
4. Functions and relations
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
5-6. Properties of functions
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
7. Describing functions by recursion
topicfunctions
module4ccs1fc1
topic
Jun 18, 2026
8. Function composition
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
9. Countable sets
module4ccs1fc1
topicfunctions
topic
Jun 18, 2026
FC1 Week 3 SGT
module4ccs1fc1
Jun 18, 2026
1. The sum and the inclusion-exclusion principle
module4ccs1fc1
topiccombinatorials
topic
Jun 18, 2026
2. The product rule
module4ccs1fc1
topiccombinatorials
topic
Jun 18, 2026
3. The pigeonhole principle
module4ccs1fc1
topiccombinatorials
topic
Jun 18, 2026
Order does not matter, repetition allowed
topiccombinatorials
module4ccs1fc1
Jun 18, 2026
Order does not matter, repetition not allowed
module4ccs1fc1
topiccombinatorials
Jun 18, 2026
Order matters, repetition allowed
topiccombinatorials
module4ccs1fc1
Jun 18, 2026
Order matters, repetition not allowed
topiccombinatorials
module4ccs1fc1
Jun 18, 2026
1,10-11. The Monty Hall 3-door puzzle
module4ccs1fc1
Jun 18, 2026
2. Probability distributions
module4ccs1fc1
Jun 18, 2026
3. Probability of events
module4ccs1fc1
Jun 18, 2026
4. Complement and union of events
module4ccs1fc1
Jun 18, 2026
5. Conditional probability and independence
module4ccs1fc1
Jun 18, 2026
6-9. Bayes' Theorem
module4ccs1fc1
Jun 18, 2026
FC1 Week 5 SGT
module4ccs1fc1
Jun 18, 2026
Practice Work
module4ccs1fc1
Jun 18, 2026
Tutorial Exercises
module4ccs1fc1
Jun 18, 2026
2. Basic terminology
module4ccs1fc1
Jun 18, 2026
3. Adjacency Matrix
module4ccs1fc1
Jun 18, 2026
4. Paths in simple graphs
module4ccs1fc1
Jun 18, 2026
5. Cycles in simple graphs
module4ccs1fc1
Jun 18, 2026
6. Special graphs, subgraphs, connectedness
module4ccs1fc1
Jun 18, 2026
7-10. Graph isomorphism
module4ccs1fc1
Jun 18, 2026
Edges-to-edges (1)
module4ccs1fc1
Jun 18, 2026
Edges-to-edges (2)
module4ccs1fc1
Jun 18, 2026
Graph of greater than or equal to on integer numbers
topicrelations
topicsets
module4ccs1fc1
Jun 18, 2026
Graph of less than or equal to on natural numbers
topicrelations
topicsets
module4ccs1fc1
Jun 18, 2026
10. Mistakes in proofs
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
11. Proofs by induction
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
12. The Simple Two Colour Theorem
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
13. All horses have the same colour
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
2. Logical connectives
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
topic
Jun 18, 2026
3. Tautologies, Satisfiability and Consistency
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
4. Logical equivalence
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
5. Logically correct arguments
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
6. Predicate logic basics
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
7. Quantifiers
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
8. Theorems and proofs
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
1. Why regular expressions
module4ccs1fc1
Jun 18, 2026
2. Examples of regular expressions
module4ccs1fc1
Jun 18, 2026
3. Describing regular expressions by recursion
module4ccs1fc1
Jun 18, 2026
5-6. Turning regular expressions to NFAs
module4ccs1fc1
Jun 18, 2026
7. Regex to NFA Example 1
module4ccs1fc1
Jun 18, 2026
8. Regex to NFA Example 2
module4ccs1fc1
Jun 18, 2026
9. Example of nonregular language
module4ccs1fc1
Jun 18, 2026
1. What is a set
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
10. Relations
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
11. Representing relations
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
12-15,17. Properties of relations
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
16. Hasse diagrams
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
2. Describing sets by properties
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
3. Russell's paradox
topicsets
topic
module4ccs1fc1
Jun 18, 2026
4. Describing sets by recursion
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
5. Subsets
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
6. Equality of sets, powersets
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
7. Set operations
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
8. Two exercises about sets
module4ccs1fc1
topicrelations
topicsets
topic
Jun 18, 2026
Word (finite automata)
module4ccs1fc1
typedefinition
Jun 18, 2026
k-Tuple
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Uniform distribution
module4ccs1fc1
typedefinition
Jun 18, 2026
Union of events
module4ccs1fc1
typedefinition
Jun 18, 2026
Universal generalisation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Universal instantiation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Universal quantifier
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Universal set
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Vertices
module4ccs1fc1
typedefinition
Jun 18, 2026
Well-formed formulae
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Tautology
topicpropositionallogic
module4ccs1ela
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
The product rule
topiccombinatorials
module4ccs1fc1
typedefinition
Jun 18, 2026
The sum rule
topiccombinatorials
module4ccs1fc1
typedefinition
Jun 18, 2026
Theorem
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Transitive closure
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Transitive relation
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Tree
module4ccs1fc1
typedefinition
Jun 18, 2026
Tuple
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Situation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
State transition diagram
module4ccs1fc1
typedefinition
Jun 18, 2026
Subset
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Suffix
module4ccs1fc1
typedefinition
Jun 18, 2026
Surjective function
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Symmetric relation
topicrelations
topicsets
module4ccs1fc1
typedefinition
Jun 18, 2026
Rooted tree
module4ccs1fc1
typedefinition
Jun 18, 2026
Sequence
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Set of all integers
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Set of natural numbers
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Set of positive natural numbers
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Set of positive real numbers
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Set of rational numbers
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Set of real numbers
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Set operation (Absolute complement)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Set operation (Difference)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Set operation (Intersection)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Set operation (Union)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Set
topicrelations
topicsets
module4ccs1fc1
typedefinition
Jun 18, 2026
Simple cycle
module4ccs1fc1
typedefinition
Jun 18, 2026
Simple path
module4ccs1fc1
typedefinition
Jun 18, 2026
Singleton
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Proper subset
module4ccs1fc1
topicfunctions
topicsets
topicrelations
typedefinition
Jun 18, 2026
Propositional Logic
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Range of a function
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Recursive set description
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Relation on a set
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Repetition
module4ccs1fc1
typedefinition
Jun 18, 2026
Ordered pair
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Partial order
topicrelations
topicsets
module4ccs1fc1
typedefinition
Jun 18, 2026
Parwise
module4ccs1fc1
topiccombinatorials
typedefinition
Jun 18, 2026
Pascal's triangle
module4ccs1fc1
topiccombinatorials
typedefinition
todo
Jun 18, 2026
Pendant vertex
module4ccs1fc1
typedefinition
Jun 18, 2026
Power set
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Prefix
module4ccs1fc1
typedefinition
Jun 18, 2026
Probability of an event
module4ccs1fc1
typedefinition
Jun 18, 2026
Modus ponens
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Negation
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Length (word)
module4ccs1fc1
typedefinition
Jun 18, 2026
Linear order
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Linearly ordered list
module4ccs1fc1
typedefinition
Jun 18, 2026
Logical connective
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Logical matrix
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Logically correct
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Logically equivalent
topicpropositionallogic
module4ccs1ela
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Inclusion-exclusion principle
topiccombinatorials
module4ccs1fc1
typedefinition
Jun 18, 2026
Inductive definition
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
module4ccs1ela
typedefinition
Jun 18, 2026
Inference rule
module4ccs1ela
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Infinite set
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Injective function
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Interpretation
module4ccs1ela
topicpropositionallogic
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Invariant
module4ccs1fc1
typedefinition
Jun 18, 2026
Inverse (function)
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Isolated vertex
module4ccs1fc1
typedefinition
Jun 18, 2026
Isomorphic
module4ccs1fc1
typedefinition
Jun 18, 2026
Language of a DFA
module4ccs1fc1
typedefinition
Jun 18, 2026
Length (cycle)
module4ccs1fc1
Jun 18, 2026
Length (path)
module4ccs1fc1
typedefinition
Jun 18, 2026
Function
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Generalised pigeonhole principle
module4ccs1fc1
topiccombinatorials
typedefinition
Jun 18, 2026
Graph
module4ccs1fc1
typedefinition
Jun 18, 2026
Hamiltonian cycle
module4ccs1fc1
typedefinition
Jun 18, 2026
Handshaking Theorem
module4ccs1fc1
typedefinition
Jun 18, 2026
Height (tree)
module4ccs1fc1
typedefinition
Jun 18, 2026
Idempotent law (Sets)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Identity function
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Identity law (Sets)
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Edges
module4ccs1fc1
typedefinition
Jun 18, 2026
Empty set
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Empty word
module4ccs1fc1
typedefinition
Jun 18, 2026
Equivalence relation
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Existential generalisation
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Existential quantifier
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Experiment
module4ccs1fc1
typedefinition
Jun 18, 2026
Factorial
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Fibonacci function
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Finite control device
module4ccs1fc1
typedefinition
Jun 18, 2026
Finite set
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Floor function
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
De Morgan's law (Sets)
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Degree (Graphs)
module4ccs1fc1
typedefinition
Jun 18, 2026
Depth of a vertex (tree)
module4ccs1fc1
typedefinition
Jun 18, 2026
Deterministic Finite Automata
module4ccs1fc1
typedefinition
Jun 18, 2026
Directed graph
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Disjoint
module4ccs1fc1
topiccombinatorials
topicrelations
topicsets
typedefinition
Jun 18, 2026
Disjunction
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Distributive laws (Sets)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Conditional statement
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
module4ccs1ela
typedefinition
Jun 18, 2026
Conjunction
topicpropositionallogic
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
typedefinition
Jun 18, 2026
Consistent
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Contradiction
topicpropositionallogic
module4ccs1ela
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Countable set
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Cycle
module4ccs1fc1
typedefinition
Jun 18, 2026
Cardinality
topiccombinatorials
module4ccs1fc1
typedefinition
Jun 18, 2026
Ceiling function
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Characteristic function
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Commutative law (Sets)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Complementary event
module4ccs1fc1
typedefinition
Jun 18, 2026
Complementation laws (Sets)
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Complete cycle
module4ccs1fc1
typedefinition
Jun 18, 2026
Complete graph
module4ccs1fc1
typedefinition
Jun 18, 2026
Composition of functions
topicfunctions
module4ccs1fc1
typedefinition
Jun 18, 2026
Associative law (Sets)
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Axiom
module4ccs1ela
topicproof
topicpredicatelogic
topicpropositionallogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Balanced (tree)
module4ccs1fc1
typedefinition
Jun 18, 2026
Bayesian spam filters
module4ccs1fc1
typedefinition
Jun 18, 2026
Biconditional statement
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
module4ccs1ela
typedefinition
Jun 18, 2026
Bijection (function)
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Bijection f between graphs
module4ccs1fc1
Jun 18, 2026
Binary function
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Binary relation
topicfunctions
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Binomial coefficient
topiccombinatorials
module4ccs1fc1
typedefinition
Jun 18, 2026
Algorithm
topicsets
topicrelations
module4ccs1fc1
typedefinition
Jun 18, 2026
Antisymmetric relation
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Argument
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Arity
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
1. Why logic
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
9. Direct and indirect proofs
module4ccs1fc1
topicpropositionallogic
topicpredicatelogic
topicproof
topic
Jun 18, 2026
3. Applications of trees
module4ccs1fc1
Jun 18, 2026
7. Decomposition trees
module4ccs1fc1
Jun 18, 2026
8. Linearly ordered lists
module4ccs1fc1
Jun 18, 2026
9. Binary search trees
module4ccs1fc1
Jun 18, 2026
1. What is a tree
module4ccs1fc1
Jun 18, 2026
2. Rooted trees; basic terminology
module4ccs1fc1
Jun 18, 2026
5. Special trees
module4ccs1fc1
Jun 18, 2026
4. Rooted trees; more notions
module4ccs1fc1
Jun 18, 2026
6. A 'proof by induction' exercise
module4ccs1fc1
Jun 18, 2026
1. Different kinds of graphs
module4ccs1fc1
Jun 18, 2026
4. Regular languages
module4ccs1fc1
Jun 18, 2026
4-7. Four ways of selecting items
module4ccs1fc1
topiccombinatorials
topic
Jun 18, 2026
4. Nondeterminism
module4ccs1fc1
Jun 18, 2026
Sample space
module4ccs1fc1
typedefinition
Jun 18, 2026
Regular expression
module4ccs1fc1
typedefinition
Jun 18, 2026
Language
module4ccs1fc1
typedefinition
Jun 18, 2026
Proposition
module4ccs1ela
module4ccs1fc1
topicpredicatelogic
topicproof
topicpropositionallogic
typedefinition
Jun 18, 2026
Finite automata
module4ccs1fc1
typedefinition
Jun 18, 2026
Concatenation
module4ccs1fc1
typedefinition
Jun 18, 2026
Warshall's algorithm
module4ccs1fc1
topicrelations
topicsets
typedefinition
Jun 18, 2026
Alphabet
module4ccs1fc1
typedefinition
Jun 18, 2026
Independence
module4ccs1fc1
typedefinition
Jun 18, 2026
Conditional probability
module4ccs1fc1
typedefinition
Jun 18, 2026
Reflexive relation
module4ccs1fc1
topicsets
topicrelations
typedefinition
Jun 18, 2026
Pigeonhole principle
topiccombinatorials
module4ccs1fc1
typedefinition
Jun 18, 2026
Satisfiable
module4ccs1ela
topicpropositionallogic
topicproof
topicpredicatelogic
module4ccs1fc1
typedefinition
Jun 18, 2026
Bayes' Theorem
module4ccs1fc1
typedefinition
Jun 18, 2026
Probability distribution
module4ccs1fc1
typedefinition
Jun 18, 2026
Hamiltonian path
module4ccs1fc1
typedefinition
Jun 18, 2026
Event
module4ccs1fc1
typedefinition
Jun 18, 2026
Cartesian product of sets
topicrelations
topicsets
module4ccs1fc1
topicfunctions
typedefinition
Jun 18, 2026
Path
module4ccs1fc1
typedefinition
Jun 18, 2026
Irreflexive relation
topicsets
topicrelations
module4ccs1fc1
typedefinition