Recherche en cours
Par mots-clef
=
expression
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
9
résultats
section 1-1
sur 1
résultats
1 à 9
Canal-u.fr
Analyse de co-localisation en microscopie photonique : une vue d'ensemble en 4 étapes
Description
:
Présentation Fabrice Cordelières BIC Bordeaux Imaging Center Bordeaux
Date
:
26-06-2020
Format
:
video/mp4
Thème
:
Généralités - Technologie (Sciences appliquées)
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
UNIT
Analyse lexicale (Compilation : théorie, techniques et outils)
Description
:
Présentation des automates, les expressions régulières et les scanners (transducteurs). Il explique comment créer automatiquement des scanners permettant de retrouver les unités lexicales dans un programme source. Il présente également des rudiments de Lex. Thème 1 de l'ensemble "Compilation : théo ...
Date
:
22-12-2010
Format
:
Document HTML, Document PDF, Document Open Office présentation
Auteur
:
Abdulrab Habib, Moulin Claude, Touati Sid
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, exercice, jeu de données
Niveau
:
enseignement supérieur, master, bac+4, bac+5
Public
:
apprenant, enseignant
UNIT
Analyse syntaxique (Compilation : théorie, techniques et outils)
Description
:
Se basant sur des pré-requis en théorie des langages (grammaires et automates à pile), ce cours montre les aspects théoriques à partir desquels on peut créer automatiquement des parseurs de langages structurés. Il aborde les deux grandes familles de parseurs : LL et LR. Des rudiments de présentation ...
Date
:
22-12-2010
Format
:
Document HTML, Document PDF, Document Open Office présentation, Archive compressée ZIP
Auteur
:
Abdulrab Habib, Moulin Claude, Touati Sid
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, exercice, jeu de données
Niveau
:
enseignement supérieur, master, bac+4, bac+5
Public
:
apprenant, enseignant
UNIT
Cours de logique
Description
:
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 quantificate ...
Date
:
10-01-2020
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
UNIT
Exemples de schémas conceptuels dynamiques et statiques (Maquette Numérique et Interopérabilité dans le Bâtiment)
Description
:
Les outils informatiques du secteur du bâtiment ne peuvent être développés sans une coopération entre des professionnels des métiers de la construction et des informaticiens à travers les modèles conceptuels. Deux exemples sont abordés : - La méthode de spécification formelle UML, l'une des plus uti ...
Date
:
03-01-2012
Format
:
Document HTML
Auteur
:
Caron Jean-François, Billon Roland, Fasse Calvet Isabelle, Dupeloux Lionel
Thème
:
Bâtiments
Type de la ressource pédagogique
:
cours / présentation, exercice, glossaire
Niveau
:
enseignement supérieur, formation professionnelle
Public
:
enseignant, apprenant, gestionnaire
UNIT
Génération de code (Compilation : théorie, techniques et outils)
Description
:
Ce cours montre l'utilisation de la traduction dirigée par la syntaxe pour générer du code valide et en particulier la génération de code sur machine à pile et sur machine à registres. Il donne des exemples de génération de code pour des expression arithmétique, des structures de contrôle, des appel ...
Date
:
22-12-2010
Format
:
Document HTML, Document PDF, Document Open Office présentation
Auteur
:
Abdulrab Habib, Moulin Claude, Touati Sid
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, exercice, jeu de données
Niveau
:
enseignement supérieur, master, bac+4, bac+5
Public
:
apprenant, enseignant
UNIT
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 q ...
Date
:
10-01-2020
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
Canal-u.fr
L'apport informatique dans la visualisation des observables cachés en science et en médecine
Description
:
La médecine est une science mais c'est aussi un art, un art de l'action. Mais pour agir, pour exercer cet art, il faut souvent voir le "caché". Cette réalité cachée est souvent très abstraite, mais elle peut être modélisée et représentée. Les nouvelles technologies ont rendu possible ces opérations. ...
Date
:
10-07-2001
Format
:
video/mp4
Auteur
:
DEMONGEOT Jacques
Thème
:
Systèmes, Médecine et santé
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
UNIT
Les bases de la programmation en C (série : Programmation en langage C)
Description
:
Après un bref historique, ce chapitre introductif présente les caractéristiques d'un langage compilé, les composantes élémentaires et la structure d'un programme en C et les conventions d'écriture. 9 exercices simples sur les structures de contrôle : instructions de branchement, boucles permettent d ...
Date
:
02-06-2009
Format
:
Document HTML
Auteur
:
Canteaut Anne
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, exercice
Niveau
:
enseignement supérieur
Public
:
apprenant
Afficher section
2
sur 1