Tri :
Date
Editeur
Auteur
Titre
|
|
Laboratoire TRIS - Modélisation de l'économie française - Introduction courte
/ 08-03-2014
/ Canal-u.fr
MATOUK Jean
Voir le résumé
Voir le résumé
Jean Matouk est Professeur à l’Université de MONTPELLIER
Il est l'auteur de nombreux ouvrages et plus particulièrement en anthropologie économique:
1978 "La gauche peut sauver l'entreprise" Ramsay
1979 "Le Languedoc Roussillon et l'avenir" Lacave – Montpellier
1987 "Le socialisme libéral" - Albin Michel
1990 "Systèmes financiers comparés" - Les banques Dunod (traduit en russe)
2000 "La Bourse" Les Essentiels - Milan
Jean MATOUKl nous présente aujourd'hui son modèle écrit et soutenu lors de son doctorat. Cette vidéo est une introduction courte qui est suivi de trois autres vidéos. Elle nous permet de situer son modèle dans la théorie économique. Mot(s) clés libre(s) : PIB, consommation, economie, revenu
|
Accéder à la ressource
|
|
Règles de déduction sur les quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
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
/
JAUME Mathieu, Mounier Isabelle
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
/
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
|
|
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
|
|
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
|
|
Lionel Mason - Perturbative formulae for scattering of gravitational wave
/ Fanny Bastien
/ 03-07-2014
/ Canal-u.fr
Mason Lionel
Voir le résumé
Voir le résumé
The Christodoulou Klainerman proof of existence of asymptotically simple space-times shows that it is reasonable to consider the scattering of characteristic data for the Einstein field equations from past null infinity to that on future null infinity in a neighbourhood of Minkowski space. In this talk I present new explicit perturbative formulae for this scattering for general data to arbitrary order. Unlike previous such formulae, these new formulae are not chiral, and naturally respect the real structures and may therefore be more amenable to analysis. This is based on joint work with Yvonne Geyer and Arthur Lipstein and with David Skinner. Mot(s) clés libre(s) : mathématiques, Grenoble, école d'été, General Relativity, institut fourier, summer school, asymptotic analysis
|
Accéder à la ressource
|
|
Etienne Mann - Quantum D-module for hypersurfaces
/ Fanny Bastien
/ 05-07-2011
/ Canal-u.fr
Mann Etienne
Voir le résumé
Voir le résumé
Out of the quantum product of a projective smooth variety, we can construct a vector
bundle with a at connection and a pairing, these data are called quantum D-modules. In a recent
paper of Iritani, he gives an explicit presentation of this D module for toric varieties. In this talk,
we will consider a hypersurface in a toric variety and we give a link between the quantum D module
of the ambient variety and the one of the hypersurface. Moreover, in the toric case, we will give a
presentation of these D-modules. This is a common work with Thierry Mignon (Montpellier). Mot(s) clés libre(s) : mathématiques, Grenoble, école d'été, courbes, institut fourier, summer school, Gromov-Witten
|
Accéder à la ressource
|
|
Laurent Manivel - The Satake correspondence in quantum cohomology
/ Fanny Bastien
/ 06-07-2011
/ Canal-u.fr
Manivel Laurent
Voir le résumé
Voir le résumé
The Satake isomorphism identi es the irreducible representations of a semisimple
algebraic group with the intersection cohomologies of the Schubert varieties in the ane Grassmannian
of the Langlands dual group. In the very special case where the Schubert varieties are smooth, one gets
an identi cation between the so-called minuscule representations and the cohomology of the so-called
minuscule homogeneous spaces. I will explain how this extends to quantum cohomology. Mot(s) clés libre(s) : mathématiques, Grenoble, école d'été, courbes, institut fourier, summer school, Gromov-Witten
|
Accéder à la ressource
|
|