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.
Type de document :
Cours
Engineering school. 2006, Université Paris 7, 2007, pp.86
Liste complète des métadonnées

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

https://cel.archives-ouvertes.fr/cel-00163821
Contributeur : Roberto M. Amadio <>
Soumis le : mercredi 18 juillet 2007 - 15:55:11
Dernière modification le : jeudi 11 janvier 2018 - 06:17:48
Document(s) archivé(s) le : jeudi 8 avril 2010 - 20:35:32

Identifiants

  • HAL Id : cel-00163821, version 1

Collections

PPS | USPC

Citation

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

Partager

Métriques

Consultations de la notice

1069

Téléchargements de fichiers

2169