#LINGI1101 - Logique et structures discrètes
Ce répertoire contient les notes destinés au support de cours du cours intitulé "Logique et structures discrètes" donné à l'Université catholique de Louvain par Peter Van Roy.
Ce syllabus a été écrit par les étudiants participants à son cours à l'automne 2014. La première partie de ce syllabus a été revue et corrigée par le Pr. Van Roy, la deuxième partie n'est encore qu'un brouillon, il est conseillé de consulter le livre "Networks, Crowds and Markets" de D. Easley et J. Kleinberg.
Pour accéder à la dernière version du syllabus, il est nécessaire de posséder tous les fichiers présents sur ce répertoire, vous pouvez compiler le fichier principal (syllabus.tex) grâce à la commande
make
Vous pouvez supprimer les fichiers crées uniquement pour la compilation grâce à la commande
make clean
Vous pouvez contribuer à ce répertoire en créant un fork et en proposant des pull requests ou en remontant les erreurs grâce aux issues.
Pr. Van Roy est actuellement professeur à l'Université catholique de Louvain, ingénieur en électro-mécanique avec une spécialisation en sciences informatiques, il est également docteur en sciences informatiques. Sa thèse de doctorat était "Can Logic Programming Execute as Fast as Imperative Programming?" et il a participé à la création d'un compilateur Prolog pour la Prolog Machine.