112 résultats : sémantique

Donne-t-on tous le même sens à la même phrase ?

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

Mots clés : Linguistique du système, Pragmatique et actes de langages, Sémantique, Syntaxe, Oralité

Date : 2017

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'identique 4.0 France

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie

Description : Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...

Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel

Date : 18-01-2012

Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel

Date : 18-01-2012

Interprétation : fonctions, prédicats et connecteurs

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

Mots clés : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

La modélisation mathématique des langues naturelles

La modélisation mathématique des langues naturelles

Description : L'objet central de la linguistique contemporaine est de modéliser les langues naturelles et leur fonctionnement, c'est-à-dire comment un locuteur exprime un sens dans une langue donnée ou comment à partir d'un énoncé linguistique il récupère son sens. De questions sur la langue sont nées des branches ...

Mots clés : linguistique informatique, sémantique, modélisation mathématique, modèle statistique, grammaire générative, langue naturelle, linguistique mathématique, structure syntaxique, traitement automatique de la langue

Date : 03-11-2002

Droits : Droits réservés à l'éditeur et aux auteurs.

CULTURE NUMÉRIQUE : 21 Le Web des données

CULTURE NUMÉRIQUE : 21 Le Web des données

Description : « Free raw data » s'exclammait Tim Berners-Lee lors de la conférence TED en janvier 2009. Le message est passé, depuis le Président Obama qui impulse la création d'un site de données publiquesdataz.gov jusqu'aux scientifiques qui travaillent à publier leslots de données issus de leurs expéri ...

Mots clés : culture numérique, cyberculture, web de données, web sémantique, linked data

Date : 12-02-2010

Droits : Droits réservés à l'éditeur et aux auteurs. test

Comment faire confiance à un compilateur ?

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 ?

Mots clés : erreur, langage haut niveau, fossé sémantique, preuve formelle, CompCert, fuscia

Date : 30-03-2010

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Le cerveau, un ordinateur ?

Le cerveau, un ordinateur ?

Description : Qui n’a ainsi jamais pensé : « Si notre cerveau fonctionnait comme un ordinateur, l’esprit en serait le logiciel et les neurones le matériel » ? Réfléchissons aux liens que nous faisons entre cerveau et ordinateur.

Mots clés : apprentissage, sémantique, chambre chinoise, John Searle, intelligence artificielle, programme informatique, cerveau, fuscia

Date : 11-08-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Présentation de la sémantique verbale

Présentation de la sémantique verbale

Description : Vous trouverez dans ce site une introduction à la sémantique verbale. Il s'agira d'étudier le sens des formes que peut prendre un verbe. Vous savez qu'en français ces formes sont nombreuses à cause des temps, des modes, des personnes, des voix, du genre... Nous nous proposons d'explorer la sémantique ...

Mots clés : sémantique verbale, procès du verbe, nominalisation verbale, performatif, personnification des pronoms, phrase averbale

Date : 2008

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'identique 4.0 France