Début d'écriture du nouveau chapitre "Logique". Il se trouve actuellement encore à la fin du syllabus car je ne savais pas où exactement il devait être.
Le chapitre contient pour l'instant une brève introduction à la logique, mise en contexte de la logique des propositions ainsi que la syntaxe et la sémantique de la logique des propositions (s'arrête à la notion d'équivalence de formules propositionnelles)
L'écriture a été faite sur base des vidéos du cours.
Mise à jour du titre et du sigle du cours.
Début d'écriture du nouveau chapitre "Logique". Il se trouve actuellement encore à la fin du syllabus car je ne savais pas où exactement il devait être. Le chapitre contient pour l'instant une brève introduction à la logique, mise en contexte de la logique des propositions ainsi que la syntaxe et la sémantique de la logique des propositions (s'arrête à la notion d'équivalence de formules propositionnelles)
L'écriture a été faite sur base des vidéos du cours.