Le cours est basé sur le
livre Logique(s), langages formels et complexité pour
l'informatique ([Jussien, 2006]). Cet ouvrage analyse les bases théoriques de la logique
et les fondements de l'informatique.
L'ouvrage s'intéresse, dans
un premier temps, à la logique formelle. Il s'agit d'explorer les
outils permettant de manipuler les données de base d'un ordinateur,
d'étudier les concepts nécessaire à l'automatisation des raisonnements
logiques avce une incursion vers d'autres logiques que les logiques
classiques.
Il traite ensuite de la notion de langage formel et
d'automate. Les principes de base de ces outils mathématiques à
l'origine de la théorie des langages de programmation sont exposés
ainsi que leurs nombreuses applications directes. Enfin, il met en
évidence les limites de l'informatique et présente les outils
théroiques nécessaires à la délimitation entre ce que peut et ce que
ne peut pas faire un ordinateur.
Ce livre offre en complément des
points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh
en passant par Boole, Gödel, Chomsky ou Robinson. Il propose aussi
cent soixante-dix exercices corrigés.
» la page du livre
[lla-m1.pdf animé - 5,06 Mo], [lla-m1-handout.pdf à distribuer, 271 planches - 2,09 Mo]
[lla-m2.pdf animé - 1,98 Mo], [lla-m2-handout.pdf à distribuer, 116 planches - 1,74 Mo]
[lla-m3.pdf animé - 1,66 Mo], [lla-m3-handout.pdf à distribuer, 115 planches - 1,15 Mo]
