Skip to Main content Skip to Navigation
Lectures

Outils Logiques

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 [32 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/cel-00163821
Contributor : Roberto M. Amadio <>
Submitted on : Tuesday, November 5, 2019 - 9:45:55 AM
Last modification on : Friday, July 3, 2020 - 10:42:04 AM
Document(s) archivé(s) le : Thursday, February 6, 2020 - 3:57:44 PM

File

root.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cel-00163821, version 3

Collections

Citation

Roberto M. Amadio. Outils Logiques. Licence. 2020, Université de Paris, France. 2018, pp.62. ⟨cel-00163821v3⟩

Share

Metrics

Record views

758

Files downloads

574