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.
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