Tri :
Date
Editeur
Auteur
Titre
|
|
Initiation à MATLAB
/ Ecole des Mines d'Albi-Carmaux
/ 01-09-2009
/
Olivier Louisnard, Fabien Baillon
Voir le résumé
Voir le résumé
Ce cours d'initiation à MATLAB a été conçu à l'École des Mines d'Albi-Carmaux pour les élèves-ingénieur de 2ème année. Il n'a pas vocation à se substituer à la documentation MATLAB, très bien faite, illustrée de nombreux exemples, et surtout consultable sur le WEB. Son objectif principal est de démystifier l'idée couramment répandue que MATLAB est un logiciel difficile à utiliser, et devrait permettre à n'importe quel utilisateur sachant se servir d'une calculette de prendre en main le logiciel en moins d'une heure. Toutes les fonctions ne sont bien sûr pas détaillées dans ce document (il en existe plusieurs centaines) : seules les fonctionnalités les plus utiles pour un travail scientifique quotidien seront abordées, avec un fort accent sur les fonctions graphiques 2D ou 3D. Mot(s) clés libre(s) : MATLAB, logiciel, programmation, calcul numérique, fonction graphique 2D, fonction graphique 3D, variable, fonction, matrice, analyse de données
|
Accéder à la ressource
|
|
Le problème des 8 reines
/ Inria / Interstices
/ 20-11-2020
/
Maxime Amblard
Voir le résumé
Voir le résumé
Le problème dit « des huit reines » est bien connu des informaticiens car il est souvent utilisé pour illustrer la récursivité ou les stratégies de backtracking (retour en arrière). Il ne s’agit pas d’organiser une réunion entre têtes couronnées mais d’étudier une situation simple. Si le problème se décrit en quelques phrases, il n’est pas si aisé que ça à résoudre... Mot(s) clés libre(s) : algorithmes, récursivité, stratégie de backtracking
|
Accéder à la ressource
|
|
Règles de déduction sur les quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
Ce cours est le quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs. Mot(s) clés libre(s) : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle
|
Accéder à la ressource
|
|
Règles de déduction sur les connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
Ce cours est le deuxiè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 un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
|
Accéder à la ressource
|
|
Langages logiques
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
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 Mot(s) clés libre(s) : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
|
Accéder à la ressource
|
|
Interprétation : variables et quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
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. Mot(s) clés libre(s) : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences
|
Accéder à la ressource
|
|
Interprétation : fonctions, prédicats et connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
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. Mot(s) clés libre(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
|
Accéder à la ressource
|
|
Cours de logique
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
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 Mot(s) clés libre(s) : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne
|
Accéder à la ressource
|
|
Les réacteurs polyphasiques
/ CNAM, UNIT
/ 17-12-2018
/
Marie Debacq, Veronica BELANDRIA, Anne-Marie BILLET, Olivier LE COQ, Mario MOSCOSA SANTILLÁN, Éric SCHAER
Voir le résumé
Voir le résumé
Le module de formation "Les réacteurs polyphasiques" vous permettra de : comprendre les processus couplés de transfert et de réactions, observés dans les réactions hétérogènes ; décrire et modéliser ces phénomènes, à partir de grandeurs mesurables ; choisir et dimensionner des réacteurs pour la mise en œuvre de ces réactions hétérogènes.
La première partie vous permettra de revoir ou d'aborder les notions nécessaires pour appréhender les réactions et réacteurs polyphasiques : milieux poreux et granulaires ; catalyse ; phénomènes de transfert ; réacteurs idéaux ; bilans.
Les trois parties suivantes concernent chacune un type de réactions et réacteurs hétérogènes, avec à chaque fois une partie détaillant les phénomènes à l’échelle de la réaction, puis la présentation des différents types de réacteurs et la modélisation de certains d’entre eux.
Ce module comporte un jeu sérieux, un TP virtuel, des quiz et des exercices ; il est illustré par différents schémas, graphiques ou dessins et par de nombreuses vidéos. Vous disposez d'une nomenclature interactive, d'un glossaire et d'une liste des références bibliographiques majeures. Mot(s) clés libre(s) : génie chimique, réacteur polyphasique, catalyse, phénomène de transfert, bilan de matière, solide consommable, catalyseur solide, Réactions gaz/liquide, réaction gaz/liquide
|
Accéder à la ressource
|
|
Hydraulique pour le génie des procédés
/ CNAM, UNIT
/ 20-12-2015
/
Marie Debacq, Jean-Christophe Buvat, Corine Lacour, Johanne Bonnin, Xavier Cosson, Hélène Desmorieux
Voir le résumé
Voir le résumé
Le module d'auto-formation "HYDRAULIQUE pour le génie des procédés" vous permettra d'apprendre à calculer des pertes de charge, choisir et dimensionner une pompe pour circuit hydraulique dans un atelier de production. La première partie vous permettra de revoir ou d'aborder les notions de pression, débits, masse volumique et viscosité, l'analyse dimensionnelle, le nombre de Reynolds, la notion de couche limite, le principe fondamental de l'hydrostatique et l'équation de Bernoulli. La deuxième partie concerne le calcul des pertes de charge, qu'elles soient régulières ou singulières. Vous y aborderez la question du calcul des conduites et des réseaux. Ce sera également l'occasion de donner quelques éléments sur les différents types de vannes. La troisième et dernière partie est consacrée aux pompes, avec un volet sur la technologie et les critères de choix, puis la problématique du dimensionnement des pompes centrifuges et enfin le cas des pompes à vide. Ce module comporte des quiz et des exercices ; il est illustré par différents schémas, dessins, animations et vidéos. Vous disposez d'une nomenclature interactive, d'un glossaire, d'une liste des abréviations et des références bibliographiques majeures. Mot(s) clés libre(s) : hydraulique, mécanique des fluides, hydrostatique, équation de Bernoulli, viscosité, nombre de Reynolds, profil de vitesse, couche limite, pertes de charge, pompe, dimensionnement, vanne, conduite
|
Accéder à la ressource
|
|