Ce cours présente les concepts fondamentaux en logique symbolique relatifs aux notions de langage, démonstration, algorithme et modèle.

Il s'appuie sur les supports de cours du Professeur Gilles Dowek incluant des videos et des transparents. Le cours suit le modèle pédagogique de la classe inversée.

Les videos sont actuellement accessibles de la page http://www.lsv.fr/~dowek/logique.html.

Certaines videos ne seront accessibles sur ecampus à cause de leur taille (> 680M) et donc la page http://www.lsv.fr/~dowek/logique.html nous sera bien utile aussi. 

Avant chaque séance, il convient à chaque étudiant de regarder la video pour comprendre la leçon du jour.

La séance, débutant le mercredi à 14h30 et d'environ une heure, commence par un résumé du cours de 20 minutes par un(e) des étudiants qui a été désigné(e) la semaine précédente pour préparer le résumé.

Puis les étudiants sont invités à poser des questions relatives à la leçon du jour, des discussions pouvant s'en suivre. Si le temps le permet, des questions élémentaires liées à la compréhension de la leçon pourront être soumises aux étudiants.

Nous allons comprendre le trajet de l’oxygène de la ventilation au métabolisme énergétique qui va être déterminant pour pouvoir p, dès la Licence 3, proposer des protocoles d’exercices améliorant la consommation d’oxygène d’une personne en fonction de son profil énergétique.

physiologie de l'exercice STAPS Licence 2 CM