Titre
|
Description
|
Date
|
Format
|
|
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
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
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
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.
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.
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
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.
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.
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
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
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
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
Ressource multimédia pour la préparation d'intervention orale en anglais. Presentation Plus permet à l’utilisateur d’apprendre à organiser son discours pour un exposé devant des clients, des partenaires, un comité décisionnel… à travers des vidéos de présentation en situation professionnelle, des conseils, une aide à la grammaire, à la prononciation et à l’intonation.
Les apprenants peuvent travailler individuellement, mais aussi en présentiel avec un enseignant afin d’acquérir une compétence clé de leur formation à savoir la capacité de communiquer efficacement à l’oral sur des sujets professionnels.
Presentation Plus permet aux apprenants d’identifier les éléments d'accroche du public, d’apprendre à introduire son sujet, intégrer une anecdote, de choisir les stratégies appropriées pour que l’auditoire écoute, de maintenir l'attention du public, de gérer la situation 'question/réponse'…
Ressource multimédia pour la préparation d'intervention orale en anglais. Presentation Plus permet à l’utilisateur d’apprendre à organiser son discours pour un exposé devant des clients, des partenaires, un comité décisionnel… à travers des vidéos de présentation en situation professionnelle, des conseils, une aide à la grammaire, à la prononciation et à l’intonation.
Les apprenants peuvent travailler individuellement, mais aussi en présentiel avec un enseignant afin d’acquérir une compétence clé de leur formation à savoir la capacité de communiquer efficacement à l’oral sur des sujets professionnels.
Presentation Plus permet aux apprenants d’identifier les éléments d'accroche du public, d’apprendre à introduire son sujet, intégrer une anecdote, de choisir les stratégies appropriées pour que l’auditoire écoute, de maintenir l'attention du public, de gérer la situation 'question/réponse'…
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
Au cours de ce MOOC, nous aborderons les diagrammes de phases des corps purs et des mélanges. Vous apprendrez qu’il existe plusieurs méthodes et techniques permettant de mesurer les propriétés thermophysiques (telles que : équilibre entre phases, masse volumique, enthalpie). Nous verrons ensuite quels sont les critères déterminants pour choisir la technique la plus appropriée à partir d’exemples concrets. Nous en déduirons ainsi les diagrammes de phases qui sont une aide précieuse au dimensionnement et à l’optimisation des procédés ou des systèmes énergétiques. Nous aborderons aussi les notions d’étalonnage et d’incertitude. Nous ferons ensemble deux travaux pratiques au cours desquels nous mesurerons, les propriétés d’équilibre liquide-vapeur d’un système binaire pentane- dioxyde de carbone ainsi que le point de bulle du propane. Vous apprendrez enfin à traiter les données provenant des mesures et vous aurez quelques notions sur la modélisation des propriétés thermophysiques.
Au cours de ce MOOC, nous aborderons les diagrammes de phases des corps purs et des mélanges. Vous apprendrez qu’il existe plusieurs méthodes et techniques permettant de mesurer les propriétés thermophysiques (telles que : équilibre entre phases, masse volumique, enthalpie). Nous verrons ensuite quels sont les critères déterminants pour choisir la technique la plus appropriée à partir d’exemples concrets. Nous en déduirons ainsi les diagrammes de phases qui sont une aide précieuse au dimensionnement et à l’optimisation des procédés ou des systèmes énergétiques. Nous aborderons aussi les notions d’étalonnage et d’incertitude. Nous ferons ensemble deux travaux pratiques au cours desquels nous mesurerons, les propriétés d’équilibre liquide-vapeur d’un système binaire pentane- dioxyde de carbone ainsi que le point de bulle du propane. Vous apprendrez enfin à traiter les données provenant des mesures et vous aurez quelques notions sur la modélisation des propriétés thermophysiques.
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
Dans ce module, on append les connaissances du procédé du forgeage. D'abord on présentera les différents techniques de forgeage. On peut avoir les capacités de distinguer les différents techniques de forgeage, de savoir les fonctions des technologies ainsi que de comprendre des conditions d'application des technologies. Ensuite on présentera les trois sous systèmes d'une opération de forgeage. Dans cette épisode, on va comprendre les connaissances des matériaux de forgeage, les machines de fabrication et l'influence de frottement. Des exercices corrigés complètent ce module de formation.
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
Dans ce module, on append les connaissances du procédé du forgeage. D'abord on présentera les différents techniques de forgeage. On peut avoir les capacités de distinguer les différents techniques de forgeage, de savoir les fonctions des technologies ainsi que de comprendre des conditions d'application des technologies. Ensuite on présentera les trois sous systèmes d'une opération de forgeage. Dans cette épisode, on va comprendre les connaissances des matériaux de forgeage, les machines de fabrication et l'influence de frottement. Des exercices corrigés complètent ce module de formation.
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
Cet outil de formation dédié aux métiers de la mise en forme et procédés de l'industrie comporte des cours pédagogiques d'appropriation des notions de bases sur la mise en forme (histoire, matériau, procédé, environnement), des exercices d'auto-évaluation des activités de compréhension, des animations vidéos qui accompagnent les cours et des simulations virtuelles des procédés de forgeage de pièces mécaniques.
A l'issue de la présentation, les participants seront en mesure de : connaître les principes fondamentaux de la forge à chaud ou à froid, savoir identifier les principaux défauts rencontrés sur les pièces forgées, se poser les bonnes questions en cas de défauts sur pièces forgées, comprendre les principes comportement des pièces lors de la mise en forme, appliquer les principes fondamentaux de la simulation numérique du forgeage.
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
Cet outil de formation dédié aux métiers de la mise en forme et procédés de l'industrie comporte des cours pédagogiques d'appropriation des notions de bases sur la mise en forme (histoire, matériau, procédé, environnement), des exercices d'auto-évaluation des activités de compréhension, des animations vidéos qui accompagnent les cours et des simulations virtuelles des procédés de forgeage de pièces mécaniques.
A l'issue de la présentation, les participants seront en mesure de : connaître les principes fondamentaux de la forge à chaud ou à froid, savoir identifier les principaux défauts rencontrés sur les pièces forgées, se poser les bonnes questions en cas de défauts sur pièces forgées, comprendre les principes comportement des pièces lors de la mise en forme, appliquer les principes fondamentaux de la simulation numérique du forgeage.
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
Le but de cette activité est de vous initier aux problèmes liés à l'utilisation des méthodes numériques de résolution des problèmes de l'ingénieur. A la fin de cette activité l'étudiant sera en mesure de :
Présenter le principe général de la simulation.
Comprendre le processus de la simulation.
Analyser un exemple de simulation de forgeage de pièce complexe.
Les objectifs du présent section sont : Développer une meilleure compréhension du procédé de forgeage et de sa modélisation;
D'évaluer la capacité des outils de modélisation et simulation des outils numériques existants à simuler de manière fiable le procédé de forgeage;
De développer une méthodologie de modélisation du procédé en utilisant les outils existants en utilisant des exemples simples;
D'appliquer la méthodologie développée pour modéliser et simuler un cas simplifié d'application industrielle.
La simulation de la mise en forme par le procédé de forgeage permet une utilisation optimale de la matière et de produire des pièces de qualité parfois à moindre coût grâce aux techniques de la CAO :
prédiction des formes des pièces forgées prédiction des profils d'écoulement
prédiction des défauts et de l'usure des outils
gestion des paramètres matériaux
optimisation paramètres du procédé et géométrie des outils
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
Le but de cette activité est de vous initier aux problèmes liés à l'utilisation des méthodes numériques de résolution des problèmes de l'ingénieur. A la fin de cette activité l'étudiant sera en mesure de :
Présenter le principe général de la simulation.
Comprendre le processus de la simulation.
Analyser un exemple de simulation de forgeage de pièce complexe.
Les objectifs du présent section sont : Développer une meilleure compréhension du procédé de forgeage et de sa modélisation;
D'évaluer la capacité des outils de modélisation et simulation des outils numériques existants à simuler de manière fiable le procédé de forgeage;
De développer une méthodologie de modélisation du procédé en utilisant les outils existants en utilisant des exemples simples;
D'appliquer la méthodologie développée pour modéliser et simuler un cas simplifié d'application industrielle.
La simulation de la mise en forme par le procédé de forgeage permet une utilisation optimale de la matière et de produire des pièces de qualité parfois à moindre coût grâce aux techniques de la CAO :
prédiction des formes des pièces forgées prédiction des profils d'écoulement
prédiction des défauts et de l'usure des outils
gestion des paramètres matériaux
optimisation paramètres du procédé et géométrie des outils
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|
|
Dans ce module, on append les connaissances suivantes : Le processus de la conception du forgeage, Le bon choix du type de procédé de forgeage, Dimensionnement du procédé de forgeage, Les défauts des pièces forgées.
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
Dans ce module, on append les connaissances suivantes : Le processus de la conception du forgeage, Le bon choix du type de procédé de forgeage, Dimensionnement du procédé de forgeage, Les défauts des pièces forgées.
L'ensemble Mediamef est un outil de formation aux technologies de mise en forme des matériaux, de fabrication de structures et de composantes mécaniques. Le développement de cet outil multimédia répond aux problèmes de modélisation et de simulation numérique pour la mise en forme des matériaux par divers procédés (emboutissage, hydroformage, thermoformage…).
|
|
Ressource documentaire
Ressource pédagogique
Ressource documentaire Ressource pédagogique
|