Detailed Syllabus:
Introduction to Propositional Logic (PL):
-
Elementary propositions, connectives and their truth tables, formulae in PL
-
Formalisation of arguments in natural language, interpretation of arguments in PL
-
PropL as a formal language
-
Truth tables, Disjunctive and Conjunctive Normal Form (DNF)
-
Logical consequence: proof by truth-table, formal proof, proof by contradiction
Introduction to matrices
-
Introduction to matrices
-
Simple operations on matrices
-
Matrices as transformations
-
Special types of matrices
Introduction to Probability and Inference:
-
Estimating discrete probability distributions
-
Joint probabilities, conditional probabilities and prior probabilities
-
Bayes¿ theorem and simple statistical inference
-
Introduction to graphs and directed graphs
-
Introduction to Markov models and transition probability matrices