Tri :
Date
Editeur
Auteur
Titre
|
|
Cours de logique
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
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
|
|
DIU d'échocardiographie - L'exploration échocardiographie de l'insuffisance aortique
/ CERIMES
/ 10-03-2006
/ Canal-U - OAI Archive
SELTON-SUTY Christine
Voir le résumé
Voir le résumé
Dans le cadre du DIU d'Echocardiographie du Nord-Est, le Docteur Christine SELTON-SUTY vous présente son cours sur l'insuffisance aortique. Sont évoqués le diagnostic positif avec le Doppler, les atteintes de signaux aortiques, les fuites aortiques, et les autres techniques d'exploration.
Origine
Laboratoire SPIE-EAO - Faculté de Médecine, Université Henri Poincaré Nancy I, 2006
Générique
Réalisation : CERIMES - SPI-EAO SCD médecine Nancy Mot(s) clés libre(s) : diagnostic positif, DIU d'échocardiographie, doppler, échocardiographie, flux régurgitant, fuite aortique, insuffisance aortique, quantification
|
Accéder à la ressource
|
|
DIU d'échocardiographie - L'exploration échocardiographie de l'insuffisance aortique
/ CERIMES
/ 10-03-2006
/ Canal-u.fr
SELTON-SUTY Christine
Voir le résumé
Voir le résumé
Dans le cadre du DIU d'Echocardiographie du Nord-Est, le Docteur Christine SELTON-SUTY vous présente son cours sur l'insuffisance aortique. Sont évoqués le diagnostic positif avec le Doppler, les atteintes de signaux aortiques, les fuites aortiques, et les autres techniques d'exploration.
Origine
Laboratoire SPIE-EAO - Faculté de Médecine, Université Henri Poincaré Nancy I, 2006
Générique
Réalisation : CERIMES - SPI-EAO SCD médecine Nancy Mot(s) clés libre(s) : quantification, DIU d'échocardiographie, échocardiographie, doppler, diagnostic positif, flux régurgitant, fuite aortique, insuffisance aortique
|
Accéder à la ressource
|
|
Exercice 6 (Logique, ensembles, raisonnements) [00120]
/ Guy Vantomme, UNISCIEL
/ 14-12-2010
/ Canal-U - OAI Archive
Bodin Arnaud
Voir le résumé
Voir le résumé
Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frPhrase logique, quantificateur, "pour tout", "il existe", fonction.Bonus (à 5'55'') : ordre des quantificateurs "pour tout", "il existe". Mot(s) clés libre(s) : "il existe", "pour tout", fonction, Phrase logique, quantificateur
|
Accéder à la ressource
|
|
Interprétation : variables et quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
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
|
|
La physique quantique (Philippe Grangier)
/ UTLS - la suite
/ 17-06-2005
/ Canal-U - OAI Archive
GRANGIER Philippe
Voir le résumé
Voir le résumé
Nous décrirons des expériences permettant de mettre en évidence des propriétés simples et fondamentales de la physique quantique, comme l'existence de superpositions linéaires d'états, ou celle d'états "enchevêtrés" ou "intriqués". Nous montrerons ensuite comment de tels états peuvent être utilisés dans le domaine très actif de "l'information quantique", pour réaliser des dispositifs de cryptographie parfaitement sûrs, ou pour effectuer certains calculs de manière potentiellement beaucoup plus efficace qu'avec des ordinateurs usuels. Mot(s) clés libre(s) : calcul quantique, cryptographie, équations de Maxwell, infiniment petit, interférence quantique, lumière ondulatoire, mécanique quantique, non-localité, optique quantique, photon, quantification de la lumière, superposition d'états
|
Accéder à la ressource
|
|
La physique quantique (Serge Haroche)
/ Mission 2000 en France
/ 31-07-2000
/ Canal-U - OAI Archive
HAROCHE Serge
Voir le résumé
Voir le résumé
"La théorie quantique, centrale à notre compréhension de la nature, introduit en physique microscopique les notions essentielles de superpositions d'états et d'intrication quantique, qui nous apparaissent comme "" étranges "" et contre-intuitives. Les interférences quantiques et la non-localité - conséquences directes du principe de superposition et de l'intrication - ne sont en effet pas observables sur les objets macroscopiques de notre expérience quotidienne. Le couplage inévitable de ces objets avec leur environnement détruit très vite les relations de phase entre les états quantiques. C'est le phénomène de la décohérence qui explique pourquoi autour de nous l'étrangeté quantique est généralement voilée. Pendant longtemps, superpositions, intrication et décohérence sont restés des concepts analysés à l'aide d'" expériences de pensée " virtuelles, dont celle du chat de Schrödinger à la fois mort et vivant est la plus connue. À la fin du XXe siècle, les progrès de la technologie ont rendu réalisables des versions de laboratoire simples de ces expériences. On peut maintenant piéger et manipuler des atomes et des photons un par un et construire des systèmes de particules suspendus entre deux états quantiques distincts qui apparaissent ainsi comme des modèles réduits de chats de Schrödinger. Au delà de la curiosité scientifique et du défi que constitue l'observation de l'étrangeté quantique pour ainsi dire in vivo, ces expériences éclairent la frontière entre les mondes classique et quantique et ouvrent des perspectives fascinantes d'applications. " Mot(s) clés libre(s) : constante de Planck, décohérence, dualité onde-particule, infiniment petit, interférence quantique, intrication, non-localité, physique quantique, quantification, Schrödinger, superposition d'états
|
Accéder à la ressource
|
|
La physique quantique à notre échelle
/ ENS Lyon CultureSciences-Physique, Gabrielle Bonnet
/ 20-01-2003
/ Unisciel
Balian Roger
Voir le résumé
Voir le résumé
Extrait de "Un siècle de quanta", édité par Michel
Crozon et Yves Sacquin, Les Ulis, EDP Sciences, 2003, pp. 59-89.
À travers un grand nombre d'exemples, cet article montre les effets macroscopiques de la physique quantique. Mot(s) clés libre(s) : physique quantique, quantification, délocalisation, indiscernabilité, laser, semi-conducteur, corps noir
|
Accéder à la ressource
|
|
Langages logiques
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
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
|
|
Le corps noir
/ Roger Balian, ENS Lyon CultureSciences-Physique, Gabrielle Bonnet
/ 17-03-2005
/ Unisciel
Bonnet Gabrielle
Voir le résumé
Voir le résumé
Cet article présente des rappels sur le corps noir, de
l'origine historique (catastrophe ultraviolette) au point de vue
actuel. Questions et applications. Mot(s) clés libre(s) : rayonnement du corps noir, loi de Planck, loi de Wien, loi de Stefan, quantification du rayonnement, photons
|
Accéder à la ressource
|
|