457 résultats : UNIT

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
457 résultats
page 30 sur 46
résultats 291 à 300
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 ...
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)
 En savoir plus
 Description complète
Interprétation : fonctions, prédicats et connecteurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Règles de déduction sur les quantificateurs
Description : 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.
Mots clés : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
 En savoir plus
 Description complète
Règles de déduction sur les quantificateurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Interprétation : variables et quantificateurs
Description : 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 ...
Mots clé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
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
 En savoir plus
 Description complète
Interprétation : variables et quantificateurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Informatique d'usage (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
Description : Module du programme e-learning FILIPÉ (Filière Linguistique Préparatoire aux Études en France) qui vise à favoriser la préparation linguistique, interculturelle et scientifique des étudiants non francophones poursuivant leurs études en France. L'objectif général de ce module est de comprendre un ...
Mots clés : FILIPE, FLE, français scientifique, informatique, initiation informatique, sciences de l'ingénieur, module multimédia, parcours d'apprentissage, Filière Linguistique Préparatoire aux Études en France, français langue étrangère
Date : 01-02-2007
Droits : Ces ressources sont la propriété conjointe de l'INPG et d' UNIT. Leur utilisation est libre dans les limites fixées par la licence CeCILL http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html
 En savoir plus
 Description complète
Informatique d'usage (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Marketing (Kit de gestion pour l'ingénieur)
Description : Cet ensemble de ressources s'adresse à l'ingénieur débutant et vise à faire connaitre les concepts de base de la mercatique, à maitriser les techniques simples et percevoir les principaux enjeux. Composante de l'ensemble de modules pédagogiques "Kit de gestion pour l'ingénieur".
Mots clés : marketing, mercatique, marque, analyse de marché, positionnement, packaging, communication commerciale, commerce, produit, distribution, stratégie commerciale, entreprise, métier de l'ingénieur, gamme
Date : 16-03-2011
Droits : Ces contenus d'enseignement, propriété du campus numérique IUT en ligne, constituent une œuvre protégée par les lois sur la propriété intellectuelle.
 En savoir plus
 Description complète
Marketing (Kit de gestion pour l'ingénieur)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Production plus propre et meilleures technologies disponibles dans le contexte des traitements de surface
Description : Support pédagogique d'initiation à la conduite et à l'optimisation des procédés de rinçage en traitement de surface. Aux différents enseignements s'ajoute un simulateur programmé en Java ; cet outil, destiné à des publics très divers (lycée professionnel, école d’ingénieurs, industriels) proposera ...
Mots clés : traitement de surface, pièce manufacturée, production plus propre, meilleure technique disponible, MTD, développement durable, BREF, BAT reference documents, procédé de rinçage, rejet en eau, méthode LoRREATS, eaux usées industrielles, risque chimique, CFSTR, réacteur continu agité à flux continu
Date : 01-10-2012
Droits : La présente ressource est la copropriété, à parts égales, d’UNIT et de l'EMSE. Elle est régie par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Production plus propre et meilleures technologies disponibles dans le contexte des traitements de surface
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Analyse de différents types de suspensions (AMESIM)
Description : Ce cours a donc pour but d'analyser différents types de suspension, notamment leurs comportements face à un obstacle. Trois types de suspension seront ainsi étudiés : une suspension mécanique, une suspension hydraulique et une suspension hydropneumatique de type Citroën. Dans un véhicule, les su ...
Mots clés : mécatronique, système complexe, modélisation de système dynamique, outil de simulation, suspension mécanique, modèle monoroue, tenue de route, suspension hydraulique, vérin symétrique, vérin dissymétrique, suspension hydropneumatique, suspension active, logiciel AMESim
Date : 28-07-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Analyse de différents types de suspensions (AMESIM)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Fondements des télécommunications
Description : Cours d'introduction aux télécommunications : aspects théoriques , systèmes de transmission et introduction des réseaux. Les aspects suivants sont abordés : la théorie des transmissions numériques, les systèmes de communication par câble, fibre optique et radio et pour finir une introduction aux ...
Mots clés : télécommunication, réseau, modèle OSI, transmission des informations, technique de multiplexage, dégradation du signal, distorsion, bruit, modulation, numérisation du signal analogique, échantillonnage faisceaux hertziens, quantification, transmission numérique, propagation sur câble, fibre optique, ...
Date : 27-07-2005
Droits : Ces ressources sont la copropriété de Telecom Lille I et d'UNIT. Leur utilisation est autorisée dans les limites de la licence CeCILL http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html
 En savoir plus
 Description complète
Fondements des télécommunications
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Sécurité Laser. (Optique Pour l'Ingénieur : Lasers et optique non linéaire)
Description : Les lasers sont de plus en plus performants et divers. On trouve ainsi aujourd'hui des lasers impulsionnels et continus dans une gamme de longueurs d'onde qui s'étend sur tout le spectre visible et qui déborde dans l'infrarouge et l' UV. D'un point de vue puissances, les lasers d'aujourd'hui délivrent ...
Mots clés : optique, laser, sciences physiques, sécurité laser, OPI, Optique Pour l'Ingénieur
Date : 01-04-2007
Droits : Cette ressource est la copropriété d'UNIT et de l'Université Le Mans. Elle est libre d'accès dans le cadre de la licence GPL Free Documentation http://www.gnu.org/copyleft/fdl.html ou une licence française équivalente.
 En savoir plus
 Description complète
Sécurité Laser. (Optique Pour l'Ingénieur : Lasers et optique non linéaire)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Laser safety. (Optique Pour l'Ingénieur : Lasers et optique non linéaire)
Description : Lasers are more and more performant and diverse. Continuous and pulsed laser sources are now available, with wavelengths ranging from the visible spectrum to the infrared and UV. They also deliver powers ranging to the kilowatt. As a consequence, it is necessary for any user to take enormous pre ...
Mots clés : optique, laser, sciences physiques, sécurité laser, OPI, Optique Pour l'Ingénieur
Date : 02-03-2010
Droits : Cette ressource est la copropriété d'UNIT et de l'Université Le Mans. Elle est libre d'accès dans le cadre de la licence GPL Free Documentation http://www.gnu.org/copyleft/fdl.html ou une licence française équivalente.
 En savoir plus
 Description complète
Laser safety. (Optique Pour l'Ingénieur : Lasers et optique non linéaire)
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé