Tangente Sup. N° 15. p. 30-33. Satisfaction d’une proposition logique – Exercices types.
Résumé
Cet article définit les propositions logiques à partir de « et », « ou », « non » et propose des traitements des connecteurs en langage Caml. Des exercices de diagonalisation, d’algèbre linéaire, d’algèbre générale et d’analyse résolus avec Maple complètent l’article.
Notes
Données de publication
Éditeur Editions POLE Paris , 2002 Format A4, p. 30-33
ISSN 1291-4932
Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20
Type article de périodique ou revue Langue français Support papier
Classification