Experimentation in logic course reform

It has been four years since   in January 2020 I started teaching the logic course for the first-year students at the Department of Computer Science at the University of Picardie Jules Verne (UPJV) in France. The first "World Logic Day" was held just on January 14, 2020, so my logic course are held every year on the occasion of «  World Logic Day » （ https://unesdoc.unesco.org/ark:/48223/pf0000371483_fre ）： -  A   dynamic   and   global   annual   celebration   of   World   Logic   Day   aims   at   fostering   international   cooperation,   promoting   the   development   of   logic,   in   both   research   and   teaching,   supporting   the   activities of associations, universities and other institutions involved with logic, and enhancing public understanding   of   logic   and   its   implications   for   science,   technology   and   innovation.   My basic idea is that I hope to use logic not only as a tool for science and technology, but also as a practice of "cri