Résultats de recherche

Plan du cours : Curry-Howard   ;  déduction naturelle de Gentzen   ;  définitions inductives suivant Martin-Löf   ;  présentation algébrique de la théorie des types et modèle des termes comme modèle initial   ;  quelques exemples de modèles, en …

Résumé Certains militaires nous sont particulièrement bien connus, comme le général Yasim-El. Mais des officiers moins gradés ont également écrit d'assez nombreuses lettres pour qu'on puisse en esquisser un portrait, comme Yamṣum. On verra enfin comment …

Résumé On a coutume de dire que la Comédie-Française s’appuie sur trois piliers : la Troupe, le Répertoire et l’Alternance. Il en manque à coup sûr un quatrième, un de ceux sans lesquels elle n’aurait pas de raison d’être : le public. Le public comme …

Choix de maximes de sagesse et des meilleures paroles , Al-Mubashshir ibn Fâtik, XIIIe siècle. Slim Laghmani est invité par l'assemblée du Collège de France sur proposition de la Pr Samantha Besson. Résumé Y a-t-il en matière de droit international une …

Résumé Nous ne sommes pas tous égaux face aux infections. Grâce aux avancées récentes de la génomique et de la science des données, il est aujourd’hui possible d’imaginer une médecine plus précise, plus adaptée aux besoins individuels, aussi dans le …

Résumé Types de paysages de régulations. Analyse des architectures chromatiniennes au niveau de la cellule unique par microscopie à super résolution. Dans cette cinquième   leçon, différents types d’organisation topologiques d’ enhancers sont décrits, en …

Résumé Ce cours sera consacré à la présentation des découvertes relatives aux causes génétiques des maladies monogéniques, en mettant l'accent sur les mutations responsables de pathologies graves. Il rappellera les principes mendéliens de transmission des …

Résumé La Biblioteca Nazionale de Naples et l'Académie des Inscriptions et Belles-Lettres à Paris ont, à bon droit, renoncé désormais à toute tentative d'ouverture invasive des rouleaux carbonisés d'Herculanum qui n'ont pas encore été ouverts. Or il reste …

Documents et médias Télécharger l'exemplier Télécharger le support …

Résumé Les cours de justice régionales sont nombreuses dans le monde d’aujourd’hui. Alors que trois d’entre elles sont dédiées aux droits fondamentaux, la plupart s’inscrivent dans le cadre d’une organisation régionale intégrée, qu’il s’agisse de l’Union …

Résumé Suite du cours précédent. Le chapitre en Jos 5 se termine avec l’apparition du chef de l’armée céleste qui introduit l’histoire de la chute de Jéricho. Cette brève notice mystérieuse pose la question du lien entre la guerre céleste et la guerre …

Résumé Le partage inégal du grand bœuf découpé par Prométhée a ouvert une crise en trois temps qui forment autant d'étapes vers la définition de la condition humaine. La première se rapporte directement à la répartition des parts animales puisque cette …