être utile à
41Théorème d'indécidabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… …
42Théorème de Gödel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… …
43Théorèmes d'incomplétude de Gödel — Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (en) « Sur… …
44valoir — [ valwar ] v. <conjug. : 29> • 1080; var. valeir XIe; lat. valere I ♦ V. intr. 1 ♦ Correspondre à (une certaine valeur); avoir un rapport d égalité, etc., avec (autre chose) selon l estimation qui en est faite. ⇒ coûter. « Les gros… …
45Lanceur orbital monoétage — Le VentureStar était une proposition de lanceur spatial SSTO Un lanceur orbital monoétage (en anglais SSTO single stage to orbit) est un engin spatial capable d atteindre l orbite terrestre et la vitesse de satellisation sans avoir à larguer un… …
46servir — (sèr vir), je sers, tu sers, il sert, nous servons, vous servez, ils servent ; je servais ; je servis ; je servirai ; je servirais ; sers, qu il serve, servons, servez, qu ils servent ; que je serve, que tu serves, qu il serve, que nous servions …
47utilitaire — [ ytilitɛr ] adj. et n. m. • 1831; de utilité, par l angl. utilitarian (1781) 1 ♦ Philos. Qui professe, ou qui concerne l utilitarisme philosophique. ⇒ utilitariste. Morale utilitaire. 2 ♦ Qui vise à l utile. Véhicules utilitaires : camions,… …
48Determination des constantes d'equilibre — Détermination des constantes d équilibre Les constantes d équilibre sont évaluées pour quantifier les équilibres chimiques à partir de mesures de concentrations, directes ou indirectes, et mettant en œuvre des techniques numériques. Cet article… …
49Détermination des constantes d'équilibre — Les constantes d équilibre sont évaluées pour quantifier les équilibres chimiques à partir de mesures de concentrations, directes ou indirectes, et mettant en œuvre des techniques numériques. Cet article se limite aux équilibres en solutions… …
50profiter — [ prɔfite ] v. tr. ind. <conjug. : 1> • 1307 ; prufiter « réussir » 1120; de profit 1 ♦ PROFITER DE : tirer profit, avantage de. ⇒ bénéficier. Profiter d une largesse, d une libéralité, la recevoir. Profiter d un avantage, d une chance, d… …
