Rechercher une ressource pédagogique : sémantique

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

87 résultats
section 1 sur 9
résultats 1 à 10
UOH
UOH
01.01.2019
Améliorer ses écrits (ressources en français écrit)
Description : La maîtrise du français écrit est un enjeu majeur pour réussir dans ses études, trouver un emploi, être crédible auprès de ses interlocuteurs, évoluer dans sa carrière et dans la vie en général. Ce site web propose aux étudiants des ressources en français écrit, librement consultables et réutili ...
  • français
  • auto-formation
  • exercice
  • entraînement
  • test
  • quiz
  • mot
  • phrase
  • discours
  • texte
  • orthographe
  • grammaire
  • conjugaison
  • accent
  • majuscule
  • consonne
  • adverbe
  • préposition
  • lexique
  • expression
  • compréhension
  • vocabulaire
  • sens
  • origine
  • formation
  • anglicisme
  • fig ...
UNIT
UNIT
13.01.2011
Aspects sémantiques et algorithmiques du vivant
Description : La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...
  • Modélisation biologie
  • biologie de systèmes
  • cycle cellulaire
  • sémantique formelle
  • sémantique des modèles
  • logique temporelle
  • algorithme évolutionnaire
  • recherche paramètres
  • programmation
  • modèle réaction
  • SBML
  • fuscia
UNIT
UNIT
01.01.2002
Brocka, Wernicke et les autres aires du langage (Le cerveau dans tous ses états)
Description : Cette présentation montre les différentes aires du cerveau impliquées dans le traitement du langage. Suite au progrès de l'imagerie médicale, les aires de Brocka et Wernicke historiquement associées au langage, ne sont plus considérées comme des unités fonctionnelles uniformes (dédiée à une seule ...
  • langage
  • phonologie
  • traitement sémantique
  • aire de Brocka
  • aire de Wernicke
  • cortex visuel
  • fonction cognitive
  • fuscia
UNIT
UNIT
19.12.2008
Caractérisation de l'interaction (IHM / Interaction Homme Machine)
Description : Ce composant a trait aux différentes caractéristiques de l'interaction. Il se propose : - d'identifier et repérer les concepts et leurs caractéristiques ; - de mémoriser les concepts clés ; - de savoir expliciter les concepts à travers des exemples ; - d'utiliser les concepts.
  • IHM
  • interface
  • rétroaction lexicale
  • rétroaction syntaxique
  • rétroaction sémantique
  • niveau de rétroaction
  • interaction homme machine
UOH
UOH
01.01.2017
Comment est apparue l'écriture ?
Description : : Il faut d'abord définir l'écriture. C'est un procédé qui consiste à transférer la parole hors du corps et à lui donner une forme pérenne, à la fois pour la conserver et la transmettre à des initiés. Je dis initiés parce que
  • Histoire de la réflexion sur le langage
  • Sémantique
  • Sens
  • Phrase
  • Parole
UNIT
UNIT
30.03.2010
Comment faire confiance à un compilateur ?
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?
  • erreur
  • langage haut niveau
  • fossé sémantique
  • preuve formelle
  • CompCert
  • fuscia
UNIT
UNIT
08.07.2003
Do general purpose languages have a future?
Description : As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • langage de programmation
  • langage spécialisé
  • langage général
  • bibliothèque logicielle
  • développement
  • implémentation
  • code
  • legacy code
  • abstraction
  • interopérabilité
  • performance
  • optimisation
  • objet
  • container
  • sémantique formelle
UOH
UOH
01.01.2017
Donne-t-on tous le même sens à la même phrase ?
Description : La question que vous posez est intéressante, car elle nous permettra d’identifier tout un ensemble de raisons qui expliquent pourquoi parfois deux personnes ne donnent pas nécessairement la même signification à la même phrase ...
  • Linguistique du système
  • Pragmatique et actes de langages
  • Sémantique
  • Syntaxe
  • Oralité
UNIT
UNIT
22.12.2010
Exercices (Compilation : théorie, techniques et outils)
Description : TDs qui relèvent d'un ou plusieurs thèmes. Composant d'exercices de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
  • compilation
  • optimisation de code
  • programme informatique
  • langage de programmation
  • compilateur
  • code source
  • programmation assembleur
  • traduction dirigée par la syntaxe
  • analyse lexicale
  • analyse syntaxique
  • analyse sémantique
  • YACC
  • table de symbole
  • gestion des types
  • code inte ...
UNIT
UNIT
10.01.2020
Interprétation : fonctions, prédicats et connecteurs
Description : 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 ...
  • formule logique
  • interprétation d'une formule
  • formule atomique
  • expression booléenne
  • formule satisfiable
  • relation de conséquence sémantique
  • formule valide
  • formule prouvable