Mathieu Jaume

• Nouv.

  Logique pour l'informatique

  Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury, Isabelle Mounier

  • Ellipses marketing
  • References Sciences
  • 3 novembre 2020
  • 9782340042612

  Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre (syntaxe, sémantique et preuves formelles), avant de guider le lecteur vers quelques-uns de ses aspects plus avancés. Il présente ensuite les méthodes algorithmiques de démonstration automatique ainsi que des a...

  Grand format	32.00 €	À paraître	Précommander
  ebook (pdf)	26.99 €		Ajouter au panier