|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Langages logiques
[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 premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente les aspects syntaxiques des langages logiques
Référencé le :
02-09-2020
|
|
Interprétation : variables et quantificateurs
[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 la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage....
Référencé le :
02-09-2020
|
|
Interprétation : fonctions, prédicats et 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 troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques....
Référencé le :
02-09-2020
|
|
Cours de logique
[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
Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Cours 1 : Langages logiques
Cours 2 : Règles de déduction sur les connecteurs
Cours 3 : Interprétation : fonctions, prédicats et connecteurs
Cours 4 : Règles de déduction sur les quantificateurs
Cours 5 : Interprétation : variables et quantificateurs...
Référencé le :
02-09-2020
|
|
Illustrations de la notion d'entropie dans les deux théorèmes de Claude Shannon en théorie de l'information
[Ressource pédagogique]
Date de publication :
20040213 |
Auteur(s) :
Le Roux Joël |
Editeur(s) :
Université de Nice |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours s'inscrit dans une démarche pédagogique sur la théorie de l'information.
Le but de ce cours est d'aborder le concept d'entropie à partir des théorèmes de Shannon du codage de source et du codage de canal....
Référencé le :
26-11-2018
|
|
e-Booklet
[Ressource pédagogique]
Date de publication :
20150320 |
Auteur(s) :
COLIN Christian, VACHERET Eliane |
Editeur(s) :
UNIT, IMT Atlantique |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
e-Booklet est un livret numérique interactif permettant d’accéder à des ressources numériques éducatives libres à partir des formules scientifiques indispensables à l’étudiant. A partir d’une bibliothèque de modules téléchargeables, l’usager voit les formules les plus importantes pour le module et en un clic accède à un panel de ressources :
- démontrant leur fondement théorique
- expliquant leurs...
Référencé le :
26-04-2018
|
|
Global Constraint Catalog
[Ressource pédagogique]
Date de publication :
20150615 |
Auteur(s) :
BELDICEANU Nicolas Beldiceanu, RAMPON Jean-Xavier |
Editeur(s) :
IMT Atlantique, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms....
Référencé le :
26-04-2018
|
|
Binôme de Newton : animations
[Ressource pédagogique]
Date de publication :
2014 |
Auteur(s) :
Athanaze Guy |
Origine de la fiche :
Unisciel
Animations sur le binôme de Newton sur les thèmes suivants: formule du binôme de Newton, triangle de Pascal, nombre de listes, un peu de combinatoire, formule de Pascal.
Référencé le :
2014
|
|
Base raisonnée d'exercices de mathématiques : Polynômes
[Ressource pédagogique]
Date de publication :
201309 |
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 :
09-2013
|
|
Quelles maths faut-il apprendre pour répondre aux questions des élèves et traiter leurs erreurs ?
[Ressource pédagogique]
Date de publication :
20110615 |
Auteur(s) :
Mercier Alain |
Editeur(s) :
Trouche Luc, ENS de Lyon, IFÉ - Institut Français de l'Éducation, Bailly Christian |
Origine de la fiche :
Canal-U - OAI Archive
Les travaux sur les erreurs des élèves ont montré que leur forme est constante, indépendante des enseignements, et qu'elles apparaissent longtemps encore après les commencements, de manière quasi aléatoire (Bardini 2003, Abou Raad 2004). Les ingénieries didactiques permettent en revanche de les faire apparaître au fur et à mesure des problèmes auxquelles elles sont des réponses non consistantes, e...
Référencé le :
23-09-2011
|
|
