Explore l'analyse des données neurophysiologiques, couvrant l'identification AP, les taux de tir, l'activité sous le seuil, l'analyse spectrale FFT et l'analyse déclenchée par des événements à l'aide de MATLAB.
Introduit des fonctions en Python, couvrant les fonctions prédéfinies et définies par l'utilisateur, les paramètres formels et efficaces, et l'importance des docstrings.
Offre un aperçu de la logique propositionnelle et des prédicats, des ensembles, des fonctions, des relations, des algorithmes, des villes suisses, des tables de tri, des infections Covid, des mains de poker et des nombres premiers.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Couvre la vectorisation, les fonctions et le contrôle de flux dans Matlab, en soulignant l'importance d'éviter les variables globales et en fournissant des exemples de graphiques simples et de techniques de débogage.
