derivations
21Crise de cœur — Infarctus du myocarde Infarctus de la région inférieure du myocarde : en rouge sombre, la zone nécrosée de la paroi du muscle cardiaque. L infarctus du myocarde (IDM étant une abréviation courante) est une nécrose (mort de cellules) d une… …
22Grammaire non contextuelle — En linguistique et en informatique, une grammaire non contextuelle, grammaire hors contexte ou grammaire algébrique (type 2 dans la hiérarchie de Chomsky) est une grammaire formelle dans laquelle chaque règle de production (ou simplement… …
23Infarctus Du Myocarde — Infarctus de la région inférieure du myocarde : en rouge sombre, la zone nécrosée de la paroi du muscle cardiaque. L infarctus du myocarde (IDM étant une abréviation courante) est une nécrose (mort de cellules) d une partie du muscle… …
24Infarctus du myocarde — Classification et ressources externes Diagramme d un infarctus du myocarde (2) de la paroi antérieure (infarctus apical) après occlusion (1) d une branche de l artère coronaire gauche (LCA) …
25Controlled grammar — Controlled grammars[1] are a class of grammars that extend, usually, the context free grammars with additional controls on the derivations of a sentence in the language. A number of different kinds of controlled grammars exist, the four main… …
26Doom source port — A Doom source port is a source port of id Tech 1, the game engine used by the video game Doom. The term usually denotes a modification made by Doom fans, as opposed to any of the official Doom versions produced by id Software or affiliated… …
27Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …
28dérivation — 1. dérivation [ derivasjɔ̃ ] n. f. • 1314; lat. derivatio, de rivus 1 ♦ Action de dériver (l eau, un cours d eau). ⇒ détournement. Barrage pour la dérivation des eaux. Canal de dérivation. ♢ Partie dérivée d un cours d eau. « L entretien des… …
29Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as …
30Nijenhuis-Richardson bracket — In mathematics, the algebraic bracket or Nijenhuis Richardson bracket is a graded Lie algebra structure on the space of alternating multilinear forms of a vector space to itself, introduced by A. Nijenhuis and R. Richardson (1966, 1967). It is… …
