| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Règles de déduction sur les connecteurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules...
Référencé le :
02-09-2020
|
|
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
[Ressource pédagogique]
Date de publication :
201207 |
Auteur(s) :
Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Quéré Pierre-Vincent, Viallard Michel |
Editeur(s) :
UNIVERSITE RENNES 1 U RENNES 1 |
Origine de la fiche :
Unisciel
BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances.
Chaque exercice est en effet au cœur d’un environnement de travail comportant des éléments de cours, des méthodes et techniq...
Référencé le :
07-2012
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
