|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Règles de déduction sur les quantificateurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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....
Référencé le :
02-09-2020
|
|
Langages logiques
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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
Référencé le :
02-09-2020
|
|
Interprétation : variables et quantificateurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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....
Référencé le :
02-09-2020
|
|
Cours de logique
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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...
Référencé le :
02-09-2020
|
|
La Conversion Analogique-Numérique : la quantification
[Ressource pédagogique]
Date de publication :
20160901 |
Auteur(s) :
Chareyron Delphine, GRANIER Olivier, TABERLET Nicolas |
Editeur(s) :
École Normale Supérieure de Lyon, UNISCIEL, Culture Sciences Physique |
Origine de la fiche :
Canal-u.fr
« La physique animée » est une série de vidéos de 7 mn environ, dans
lesquelles se mélangent histoire des sciences, expériences et théorie.
Référencé le :
07-11-2016
|
|
Turbulence et simulation : la belle et la bête / Turbulence and Computers: Beauty and the Beast
[Ressource pédagogique]
Date de publication :
20160310 |
Auteur(s) :
Iaccarino Gianluca |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
Extremely powerful computers with up to 100,000 processors have enabled
unprecedented numerical simulations that are pushing the boundaries of
knowledge. Join Prof. Gianluca Iaccarino as he demonstrates how he and
colleagues from the Center for Turbulence Research at Stanford
University are using the world’s largest computers to study fluid
dynamics in interesting ways. The talk will describe...
Référencé le :
03-06-2016
|
|
DIU d'échocardiographie - L'exploration échocardiographie de l'insuffisance aortique
[Ressource pédagogique]
Date de publication :
20060310 |
Auteur(s) :
SELTON-SUTY Christine |
Editeur(s) :
CERIMES |
Origine de la fiche :
Canal-u.fr
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é Nanc...
Référencé le :
23-03-2015
|
|
XXXVIe conférence Marc Bloch. Simon Schaffer, Les mesures et leurs rituels. Pour une histoire mondiale des sciences
[Ressource pédagogique]
Date de publication :
20140603 |
Auteur(s) :
HAUTCOEUR Pierre-Cyrille, SCHAFFER simon |
Editeur(s) :
Direction de l'audiovisuel de l'EHESS (Dir. Jean-Claude Penrad), KERGRAISSE Philippe |
Origine de la fiche :
Canal-u.fr
36e Conférence Marc Bloch :
Les mesures et leurs rituels. Pour une histoire mondiale des sciencesIntervenant : Simon Schaffer, Université de Cambridge.
Dans le second livre des Rois thaumaturges, Marc Bloch décrit la production des « anneaux médicinaux », précieux objets de cure fabriqués au cours d'une cérémonie sacrée d'échange entre le pouvoir divin et le pouvoir séculier. Son analyse du ritue...
Référencé le :
10-06-2014
|
|
La physique quantique (Philippe Grangier)
[Ressource pédagogique]
Date de publication :
20050617 |
Auteur(s) :
GRANGIER Philippe |
Editeur(s) :
UTLS - la suite, UTLS - la suite |
Origine de la fiche :
Canal-u.fr
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 cryptograp...
Référencé le :
20-05-2014
|
|
Numérisation d'un signal acoustique : effet de la quantification (partie 1)
[Ressource pédagogique]
Date de publication :
20131007 |
Auteur(s) :
Chareyron Delphine |
Origine de la fiche :
Unisciel
Cet article permet d'illustrer de manière sonore le principe de la numérisation d'un signal acoustique lors de l'étape de quantification.
Référencé le :
07-10-2013
|
|
