Outils Logiques - Archive ouverte HAL Access content directly
Lectures Year : 2018

Outils Logiques

(1, 2)
1
2

Abstract

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.
Fichier principal
Vignette du fichier
root.pdf (557.78 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

cel-00163821 , version 1 (18-07-2007)
cel-00163821 , version 2 (24-11-2018)
cel-00163821 , version 3 (05-11-2019)
cel-00163821 , version 4 (06-11-2020)
cel-00163821 , version 5 (03-01-2022)

Identifiers

  • HAL Id : cel-00163821 , version 5

Cite

Roberto M. Amadio. Outils Logiques. Licence. 2020, Université de Paris, France. 2018, pp.62. ⟨cel-00163821v5⟩
5016 View
8359 Download

Share

Gmail Facebook Twitter LinkedIn More