Tri :
Date
Editeur
Auteur
Titre
|
|
Interprétation : fonctions, prédicats et connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
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
/
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
|
|
La chimie quantique
/ UTLS - la suite, Mission 2000 en France
/ 20-08-2000
/ Canal-U - OAI Archive
MALRIEU Jean-Paul
Voir le résumé
Voir le résumé
En évoquant d'abord les différentes périodes qui ont marqué le développement de cette discipline théorique, située à la charnière de la Physique et de la Chimie, on essayera de faire comprendre quels sont ses objets, et la spécificité de sa pratique. De fait, la Chimie Quantique a fourni à la fois des concepts cruciaux pour l'intelligibilité de phénomènes à l'échelle moléculaire, aidant même parfois les chimistes dans leur invention d'édifices nouveaux, et des outils de prédiction quantitative fiables des énergies et des structures de ces édifices. On essayera de montrer les défis qu'elle affronte aujourd'hui dans sa recherche de puissance (l'efficience simulatrice tuera-t-elle la théorie ?), sa synergie possible avec la Physique dans l'étude des matériaux, sa participation au design d'architectures moléculaires à propriétés électroniques remarquables, le développement des aspects temporels. On ne se privera pas de formuler quelques remarques d'ordres épistémologique, esthétique et sociologique. Mot(s) clés libre(s) : chimie quantique, électron, énergie cinétique, liaison chimique, liaison covalente, matière, orbitale moléculaire, physique atomique, simulation numérique, structure moléculaire, supraconductivité
|
Accéder à la ressource
|
|
Un regard sur le futur
/ UTLS - la suite, Université Pierre et Marie Curie-Paris 6
/ 20-06-2004
/ Canal-U - OAI Archive
MAIANI Luciano
Voir le résumé
Voir le résumé
Un regard sur le futur : pouvons-nous comprendre l'infiniment grand à partir de l'infiniment petit ? Les dernières décennies du siècle ont été témoin de progrès extraordinaires dans notre compréhension des constituants ultimes de la matière et des forces qui agissent sur eux. Grâce à l'effort de nombreux scientifiques, nous sommes parvenus à élaborer une « théorie standard » qui décrit et explique tous les phénomènes ainsi observés au coeur du monde des particules élémentaires. Avec la théorie standard, nous pouvons retracer l'histoire de l'Univers en remontant dans le temps, jusqu'à quelques fractions de milliards de secondes après le Big Bang, à un moment où la température de l'Univers s'élevait à un million de milliards de degrés centigrade. A cette époque le plasma primordial qui constituait l'Univers était peuplé de particules que nous ne pouvons produire aujourd'hui seulement dans les accélérateurs de particules les plus puissants en Europe et aux USA. L'évolution de l'Univers a été profondément affectée par les phénomènes qui se déroulèrent alors, et même avant. Ainsi la compréhension des constituants fondamentaux et de leurs interactions est cruciale pour saisir la distribution sur une grande échelle des galaxies, la matière et l'énergie qui le composent, et sa destinée finale. Malgré les progrès, des éléments importants de la microphysique sont encore à l'Etat d'hypothèse. L'existence et les propriétés du « boson de Higgs » ou la nature de la « matière noire » qui constitue l'essentiel de la masse de l'Univers devront être éclaircis par le LHC (Large Hadron Collider), une machine révolutionnaire qui mènera l'Europe à la frontière des hautes énergies. Le LHC est actuellement en construction au CERN (conseil Européen pour la Recherche Nucléaire) à Genève, dans le cadre d'une collaboration internationale, et devrait entrer en activité en 2007. Le LHC et les machines qui succèderont éclaireront plusieurs aspects fondamentaux de notre monde, comme l'existence de dimensions additionnelles à l'espace et aux temps et permettront la synthèse de la Mécanique Quantique et de la Relativité Générale, le problème théorique le plus profond de notre époque. Mot(s) clés libre(s) : astrophysique, Big Bang, boson de Higgs, collisionneur, cosmologie, courbure spatiale, gravité quantique, infiniment petit, interaction fondamentale, matière noire, modèle standard, particule élémentaire, physique des particules, quark, structure atomique
|
Accéder à la ressource
|
|
Le GPS
/ Charles-Henri Eyraud, ENS Lyon CultureSciences-Physique, Gabrielle Bonnet
/ 15-03-2006
/ Unisciel
Lièvre Jean-Pierre
Voir le résumé
Voir le résumé
Le GPS, une conférence de Jean-Pierre Lièvre. Principe de
fonctionnement du Global Positioning System (GPS) et difficultés de mise en oeuvre. Mot(s) clés libre(s) : GPS, localisation, satellite, satellites, lois de Képler, doppler fizeau, Galiléo, relativité restreinte, synchronisation, horloges atomiques, horloge atomique
|
Accéder à la ressource
|
|
Conductivité et supraconductivité
/ Mission 2000 en France
/ 13-08-2000
/ Canal-U - OAI Archive
LEWINER Jacques
Voir le résumé
Voir le résumé
La matière est constituée d'atomes qui présentent beaucoup de points communs : un noyau, autour duquel des électrons gravitent. Dans ces conditions, pourquoi certains matériaux sont-ils isolants et empêchent le passage du courant électrique, alors que d'autres matériaux, laissant les électrons libres de se déplacer, sont conducteurs. Pourquoi un électron, initialement attaché à son noyau, décide-t-il de l'abandonner en se laissant entraîner par des attractions qu'il ressent pour d'autres ? Les électrons ont-ils si peu de principes qu'ils sont prêts à rejoindre le premier noyau qui les attire. Dans cette conférence, on montrera que les électrons, qui sont naturellement assez volages, respectent néanmoins un principe et que ceci explique la plupart des propriétés électriques de la matière. On abordera le cas des isolants, des conducteurs et des supraconducteurs. Ces derniers constituent une énigme non encore résolue. Leur maîtrise pourrait provoquer une révolution industrielle. Mot(s) clés libre(s) : conducteur, courant électrique, ionisation, isolant, matériau, niveau de Fermi, paire de Cooper, principe de Pauli, spin, structure atomique, supraconductivité
|
Accéder à la ressource
|
|
Voir et étudier les poumons avec l'hélium polarisé
/ UTLS - la suite
/ 25-10-2002
/ Canal-U - OAI Archive
LEDUC Michèle
Voir le résumé
Voir le résumé
Depuis quelques années se développe aux Etats Unis et en Europe une nouvelle méthode non invasive pour étudier certaines pathologies des poumons. Elle est fondée sur l'imagerie par résonance magnétique (IRM) utilisant du gaz d'hélium 3 inhalé par le patient et préalablement polarisé par pompage optique. La polarisation nucléaire dans un gaz d'hélium 3 peut atteindre 80% avec les techniques existantes et les sources laser actuelles. Ceci correspond à une « hyperpolarisation » considérable, 105 fois plus grande que les polarisations thermiques obtenues dans les champs magnétiques élevés de l'IRM standard. Ce gaz hyperpolarisé peut être utilisé comme source de signaux de résonance magnétique nucléaire (RMN) avec un excellent rapport signal sur bruit. Parmi toutes les applications que ceci suggère dans des disciplines diverses, la possibilité de faire l'image des voies aériennes des poumons a immédiatement suscité un intérêt considérable. En effet l'IRM conventionnelle, fondée sur les protons des tissus, ne peut pas fournir d'image des espaces creux, ni même des tissus du parenchyme pulmonaire. L'hélium « hyperpolarisé » apparaît ainsi comme un outil clinique très prometteur. Il fournit des images de très bonne résolution et renseigne sur la ventilation des voies respiratoires : il donne accès à des images statiques pendant que le patient retient son souffle, à la dynamique de la ventilation pendant l'inspiration et l'expiration et aussi à l'imagerie fonctionnelle. Il permet des études sur l'asthme, l'emphysème, l'obstruction chronique des voies respiratoires, en particulier chez les grands fumeurs, et donne des informations précieuses en cas de chirurgie ou de greffe du poumon. Actuellement se déroulent simultanément des études cliniques sur des malades, des travaux sur des modèles animaux et des développements technologiques visant à adapter les méthodes optiques de polarisation du gaz à un environnement médical. Ces études très pluridisciplinaires associent étroitement physiciens, ingénieurs de la résonance magnétique, radiologues et médecins. Dans cette conférence on rappellera les principes de l'IRM conventionnelle, on expliquera la méthode du pompage optique pour l'hyperpolarisation nucléaire de l'hélium, on décrira les particularités de l'IRM avec hélium, on montrera des images pulmonaires statiques et dynamiques de volontaires sains et de patients atteints de diverses pathologies. Les potentialités cliniques futures seront enfin discutées. Mot(s) clés libre(s) : hyperpolarisation de l'hélium, imagerie médicale, imagerie par résonance magnétique, IRM, pathologie des poumons, physique atomique, polarisation nucléaire, pompage optique
|
Accéder à la ressource
|
|
De la lumière laser aux atomes ultrafroids
/ Laboratoire Kastler Brossel, ENS Lyon CultureSciences-Physique, Gabrielle Bonnet
/ 31-08-2002
/ Unisciel
L'équipe "atomes ultrafroids", Cohen-Tannoudji Claude
Voir le résumé
Voir le résumé
Les lasers, le refroidissement d'atomes par laser et leurs
applications (horloges atomiques ultraprécises, interférences atomiques, condensat
de Bose-Einstein...) expliqués par l'équipe du prix Nobel 1997, Claude
Cohen-Tannoudji. Mot(s) clés libre(s) : laser, Claude Cohen-Tannoudji, atomes froids, horloges atomiques, interférences atomiques, condensation de Bose-Einstein
|
Accéder à la ressource
|
|
Du microscope électronique à la microscopie à champ proche
/ UTLS - la suite
/ 06-07-2001
/ Canal-U - OAI Archive
KLEIN Jean
Voir le résumé
Voir le résumé
A travers les siècles, l'homme a toujours cherché à observer le monde de l'infiniment petit qui l'entoure, le monde invisible à l'oeil nu. Pour cela, il invente la loupe (XVe siècle), puis le microscope optique (XVIIe siècle) pour observer des cellules sanguines ou des bactéries ..., mais il semble impossible d'observer les éléments ultimes dont est faite la matière : les atomes. Il faut attendre la découverte de la mécanique ondulatoire de Louis de Broglie(1923) pour que l'espoir renaisse. Les particules qui constituent la matière peuvent se comporter comme des ondes de longueur d'onde très petite : 0,1 nm (10-10 mètre), c'est-à-dire de la taille d'un atome. De cette dualité onde-corpuscule va naître le microscope électronique en 1933 (E.Ruska) - où l'éclairage par une source lumineuse utilisé dans le microscope optique est remplacé par une source d'électrons. L'observation d'atomes reste encore indirecte et s'appuie sur des phénomènes de diffraction. Les applications de la microscopie électronique sont nombreuses et le développement instrumental est aujourd'hui très sophistiqué que ce soit au niveau des appareillages ou au niveau du traitement informatique des données. Les domaines explorés sont très divers,la biologie moléculaire et cellulaire ,la cristallographie, la métallurgie, et les sciences des matériaux.La résolution des microscopes électroniques permet d'atteindre l'échelle atomique mais il faut noter un point fondamental,on n'observe pas le relief des surfaces observées mais une vue projetée.Les ondes associées aux électrons qui permettent l'obtention d'images sont des ondes progressives et l'on se trouve dans le cadre du champ lointoin.Cet inconvénient est entièrement levée dans le cas des microscopies en champ proche. En 1982, un nouveau type de microscope - le microscope à effet tunnel, est inventé par Gerd Binnig et Heinrich Rohrer, ouvrant un champ très vaste d'investigations scientifiques et des nouveaux horizons technologiques. Cette nouvelle technique utilisant une pointe très fine terminée par un atome permet l'observation directe et aisée d'atomes et de structures atomiques de surfaces conductrices dans une large variété d'environnements (air, eau, huile, vide). Depuis l'invention du microscope tunnel, d'autres microscopies à sonde locale ont été développées, et notamment le microscope à effet de force atomique (1986) qui permet d'imager non seulement des surfaces conductrices mais aussi des surfaces isolantes.Enfin une autre microscopie en champ proche optique donne des images pour lesquelles les critères de Rayleigh. En plus, les progrès les plus récents ont montré la possibilité de manipuler les atomes à l'aide de ces microscopes - ainsi les premières structures artificielles à l'échelle atomique ont été élaborées.Toutes ces techniques d'observation et d'élaboration de nanostructures ont données naissance à une nouvelle physique,la nanophysique et aussi à de nouvelles nanotechnologies qui préfigure l'aube d'une révolution "nano" industrielle. Au cours de cette exposé nous présenterons les différents types de microscopes électroniques et les résultats les plus spectaculaires obtenus dans le domaine des sciences puis les trois familles de microscopies en champ proche et les applications surlesquelles elles débouchent naturellement. Mot(s) clés libre(s) : effet tunnel, infiniment petit, longueur d'onde, microscope électronique, microscopie à force atomique, microscopie en champ proche, résolution d'image, sonde électronique, spectroscopie
|
Accéder à la ressource
|
|
Tout l'Univers dans un atome
/ UTLS - la suite
/ 14-06-2004
/ Canal-U - OAI Archive
HOOFT Gerardus't
Voir le résumé
Voir le résumé
(Exposé en langue Anglaise.)Dans cet exposé, je vais expliquer que l'univers gigantesque dans lequel nous vivons abrite un nombre incroyable de minuscules univers : les atomes. Ils présentent une structure extrêmement riche qui a permis aux physiciens d'exercer leur sagacité durant tout le siècle précédent. Le sujet de cet exposé est cet univers microscopique que l'on trouve à l'intérieur des atomes mais il est intimement relié à l'univers macroscopique qui nous est rendu plus familier par les images des médias comme celle de la conquête spatiale. Mot(s) clés libre(s) : accélérateur de particule, atome, boson de Higgs, cosmologie, hadron, interaction fondamentale, lepton, modèle standard, neutrino, particule élémentaire, physique des particules, quark, structure atomique, théorie de Yang-Mills, univers
|
Accéder à la ressource
|
|