Explores neurophysiological data analysis, covering AP identification, firing rates, subthreshold activity, FFT spectral analysis, and event-triggered analysis using MATLAB.
Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Covers vectorisation, functions, and flow control in Matlab, emphasizing the importance of avoiding global variables and providing examples of simple plots and debugging techniques.
