Logique : Preuves

Cette séance de cours couvre les bases de la logique, en mettant l'accent sur la compréhension des preuves, les problèmes en informatique, les structures, les algorithmes, le comptage et les probabilités. Il explique les arguments valables, les règles d'inférence pour la logique de proposition et de prédicat, et comment construire des arguments en utilisant ces règles.