3 résultats : élimination

Recherche en cours

Par mots-clef = élimination

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

3 résultats

page 1 sur 1

résultats 1 à 3

Règles de déduction sur les quantificateurs

Description : 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.

Mots clés : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Règles de déduction sur les quantificateurs

Ajouter à mon panier

Accéder au document

Les déchets, les éliminer, les revaloriser, les éviter

Description : Les déchets proviennent aujourd'hui surtout de l'activité industrielle de l'homme : les déchets miniers et de fabrication, les produits au rebut, et les emballages. Les problèmes des déchets se posent au lieu de " chute " (end of pipe), la solution préférée étant encore souvent leur élimination, ...

Mots clés : déchets, économie en boucles fermées, élimination, politque de précaution

Date : 15-10-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Les déchets, les éliminer, les revaloriser, les éviter

Ajouter à mon panier

Accéder aux documents

Productions UL

L'épissage des prémessagers - Chapitre 2 - partie 5

Description : 2/ La transcription et maturation des ARN. Athanase Visvikis, biochimiste et biologiste moléculaire, termine ce chapitre sur la biosynthèse de l’ARN en parlant de l’épissage des ARN prémessagers, un mécanisme indispensable pour la genèse d’ARNm fonctionnels chez les eucaryotes. Il aborde alors les ...

Mots clés : élimination des introns, raboutage des exons, région condante, donneur, accepteur, point de branchement, séquence polypyrimidine, clivage, particules ribonucléoprotéiques, construction complexe

Date : 2017

Droits : CC BY-NC-ND 4.0

L'épissage des prémessagers - Chapitre 2 - partie 5

Ajouter à mon panier

Accéder au document

Rebondir