Adventicethumb|300px|Liseron des haies sur maïs thumb|300px|Chiendent officinal sur blé tendre Le terme d'adventice, généralement associé aux plantes, vient du latin adventicius issu du verbe advenire, « qui vient de l'extérieur » anciennement nommées « mauvaises herbes ». Il désigne, pour les agriculteurs et les jardiniers, une plante qui pousse dans un milieu aménagé (champ, massif...) sans y avoir été intentionnellement introduite et c'est pourquoi on les nomme parfois " spontanées" .
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Désherbagethumb|290px|Désherbage manuel de lin cultivé, tache autrefois souvent réservée aux femmes et parfois aux enfants, ici en Flandre ; huile sur toile par Émile Claus, 1887Le désherbage est la pratique qui consiste à limiter le développement des adventices, ou mauvaises herbes, pour réduire leur nuisibilité sur les plantes cultivées. L'expression « contrôle de l'enherbement » (anglais weed control au lieu de weeding) suppose une nouvelle approche du désherbage. En français, elle est plus facilement utilisée en arboriculture et viticulture.
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.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Détermination du jour de la semaineLa détermination du jour de la semaine est un algorithme utilisé pour déterminer le jour de la semaine (lundi, mardi, mercredi, jeudi, vendredi, samedi, ou dimanche) connaissant la date, basé sur la notion mathématique de congruence. Il est aussi appelé congruence de Zeller, du mathématicien allemand Christian Zeller. L'année tropique moyenne (qui est désormais définie comme étant le temps nécessaire pour que la longitude écliptique du Soleil augmente de 360° – et non plus comme étant le temps séparant deux équinoxes de printemps successifs), donnée pour l'an 2000 par Pierre Bretagnon, astronome à l'Observatoire de Paris, compte , , et , soit .
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
