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.
Type de document :
Cours
École d'ingénieur. 2018, Université Paris 7, France. 2018, pp.55
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://cel.archives-ouvertes.fr/cel-00163821
Contributeur : Roberto M. Amadio <>
Soumis le : samedi 24 novembre 2018 - 12:14:34
Dernière modification le : jeudi 13 décembre 2018 - 15:26:38

Fichier

root.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : cel-00163821, version 2

Collections

Citation

Roberto M. Amadio. Outils Logiques. École d'ingénieur. 2018, Université Paris 7, France. 2018, pp.55. 〈cel-00163821v2〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

194