Outils Logiques pour l'Informatique

Résumé : Ces notes sont une introduction à la logique mathématique et aux
techniques de déduction automatique dans le cadre du calcul
propositionnel classique avec des applications à la résolution de
problèmes combinatoires et à la modélisation et analyse de systèmes
informatiques.
Document type :
Lectures
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/cel-00163821
Contributor : Roberto M. Amadio <>
Submitted on : Wednesday, July 18, 2007 - 3:55:11 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM
Long-term archiving on : Thursday, April 8, 2010 - 8:35:32 PM

Identifiers

  • HAL Id : cel-00163821, version 1

Collections

PPS

Citation

Roberto M. Amadio. Outils Logiques pour l'Informatique. Engineering school. 2006, Université Paris 7, 2007, pp.86. ⟨cel-00163821v1⟩

Share

Metrics

Record views

1118

Files downloads

2416