Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
AntiviralUn antiviral est une molécule perturbant le cycle de réplication d'un ou de plusieurs virus, permettant ainsi de ralentir mais rarement d'arrêter une infection virale. Avec les vaccins et la prévention, ils constituent le seul moyen connu pour lutter contre les infections d'origines virales. Les antiviraux sont efficaces pour lutter contre les virus en attendant la mise au point d'un vaccin, qui est la seule manière connue d'éradiquer un virus à long terme, comme l'ont montré les différentes campagnes d'éradication de la poliomyélite et surtout de la variole.
Cofacteur (biochimie)thumb|300px|Le complexe succinate déshydrogénase présente plusieurs cofacteurs : flavine, centres fer-soufre et hème. En biochimie, un cofacteur est un composé chimique non protéique mais qui est nécessaire à l'activité biologique d'une protéine, le plus souvent une enzyme. Les cofacteurs interviennent fréquemment dans la réaction catalytique et peuvent être considérés comme des « molécules d'assistance » aidant aux transformations biochimiques. Les cofacteurs peuvent être classés en deux catégories : les ions métalliques et les clusters métalliques.
Prédiction de la structure des protéinesLa prédiction de la structure des protéines est l'inférence de la structure tridimensionnelle des protéines à partir de leur séquences d'acides aminés, c'est-à-dire la prédiction de leur pliage et de leur structures secondaire et tertiaire à partir de leur structure primaire. La prédiction de la structure est fondamentalement différente du problème inverse de la conception des protéines. Elle est l'un des objectifs les plus importants poursuivis par la bioinformatique et la chimie théorique.
Structure tertiaireEn biochimie, la structure tertiaire ou tridimensionnelle est le repliement dans l'espace d'une chaîne polypeptidique. Ce repliement donne sa fonctionnalité à la protéine, notamment par la formation du site actif des enzymes. . La structure tertiaire correspond au degré d'organisation supérieur aux hélices α ou aux feuillets β. Ces protéines possèdent des structures secondaires associées le long de la chaîne polypeptidique. Le repliement et la stabilisation de protéines à structure tertiaire dépend de plusieurs types de liaisons faibles qui stabilisent l'édifice moléculaire.
Protéine membranaire périphériqueredresse=1.67|vignette|Représentation des différents types d'interaction entre protéines membranaires monotopiques et membrane biologique : (1) interaction par une hélice α amphiphile parallèle au plan de la membrane ; (2) interaction par une boucle hydrophobe ; (3) interaction par un lipide membranaire lié par covalence (lipidation) ; (4) interaction électrostatique ou ionique avec les lipides membranaires (par exemple par l'intermédiaire de cations de calcium Ca).
Produit cartésienvignette|Illustration d'un produit cartésien A x B où A={x,y,z} et B={1,2,3}. Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé également ensemble-produit, est l'ensemble de tous les couples dont la première composante appartient à X et la seconde à Y. On généralise facilement cette notion, valable pour deux ensembles, à celle de produit cartésien fini, qui est un ensemble de n-uplets dont les composantes appartiennent à n ensembles.
Topologie produitEn mathématiques, plus précisément en topologie, la topologie produit est une topologie définie sur un produit d'espaces topologiques. C'est de manière générale la topologie initiale associée aux projections de l'espace produit vers chacun de ses facteurs : autrement dit, c'est la topologie la moins fine rendant continues les projections. Dans le cas d'un produit fini, la topologie produit permet notamment de définir une topologie naturelle sur Rn à partir de celle de R.
Amarrage (moléculaire)vignette|Petite molécule amarrée à une protéine. Dans le domaine de la modélisation moléculaire, l’amarrage (en anglais docking) est une méthode qui calcule l'orientation préférée d'une molécule vers une seconde lorsqu'elles sont liées pour former un complexe stable. Connaître l'orientation préférée sert à prévoir la solidité de l'union entre deux molécules. Les associations entre des molécules d'importance biologique, telles que les protéines, les acides nucléiques, les glucides et les matières grasses jouent un rôle essentiel dans la transduction de signal.
