Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde

Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frAbsurde, contraposée, infinité de nombres premiers.Bonus (à 4'20'') : nombres premiers jumeaux.
Mot(s) clés libre(s) : absurde, contraposée, nombres premiers

Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frRaisonnement par l'absurde.Bonus (à 2'44'') : paradoxe de Russell (avec deux "L").
Mot(s) clés libre(s) : absurde

Cette série d'exercice est divisée en quatre parties: logique, ensembles, absurdes et contraposée, récurrence. Cette série comprend 19 exercices, des indications et les corrigés.
Mot(s) clés libre(s) : logique, ensembles, raisonnement, absurdes, contraposée, récurrence, Exo7

Un choix d’œuvres vidéos de la collection du MAC-VAL tisse une narration sans fil, une histoire de l’art du rire non linéaire portée par la voix du conférencier. Une galerie de portraits d’artistes et de personnages, un échantillon de situations, où le burlesque rencontre le grotesque voire l’absurde. Avec les œuvres vidéos d’Eric Duyckaerts, Julien Prévieux, Dominique Angel, Franck Scurti, Nøne Futbol Club, Bertille Bak, etc.
Mot(s) clés libre(s) : art vidéo, burlesque, absurde, art contemporain (21 siècle), rire, MACVAL