Logique(s), langages formels et complexité pour l'informatique

  • 4h 30m
  • Narendra Jussien
  • Lavoisier
  • 2006
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle.