Séance de cours
Cette séance de cours introduit la théorie du calcul, en mettant l'accent sur la définition des problèmes et le comptage. Il couvre le concept de dénumérabilité, expliquant comment compter les ensembles infinis et montrant des exemples de jeux comptés et incomptables. L'instructeur discute de l'importance des algorithmes dans la résolution des problèmes et souligne la distinction entre les algorithmes comptables et les fonctions incomptables. À travers des exemples, la séance de cours illustre comment certaines fonctions booléennes ne peuvent être calculées par aucun algorithme, soulignant les limites du calcul dans la gestion de certains types de problèmes.