construction+logique

См. также в других словарях:

• logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle

• construction — (kon stru ksion ; en poésie, de quatre syllabes) s. f. 1°   Action de construire. La construction d une maison. •   L art de la construction des vaisseaux qui tient à la fois à tout ce que les sciences ont de plus abstrait, à tout ce que les arts …   Dictionnaire de la Langue Française d'Émile Littré

• LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …   Encyclopédie Universelle

• LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

• construction — [ kɔ̃stryksjɔ̃ ] n. f. • 1130; lat. constructio, de construere → construire 1 ♦ Action de construire. ⇒ assemblage, édification, érection. La construction d une maison, d un mur. Un immeuble en construction, en train d être construit (⇒ chantier) …   Encyclopédie Universelle

• Logique Intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… …   Wikipédia en Français

• LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… …   Encyclopédie Universelle

• Logique Linéaire — La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et intuitionniste au travers de… …   Wikipédia en Français

• Logique lineaire — Logique linéaire La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et… …   Wikipédia en Français

• Logique & evolution des activites de services et industrielles — Logique et évolution des activités de services et industrielles Les activités de services et industrielles sont des activités essentielles au développement de la ville. Parmi elles, l’on peut citer l’industrie traditionnelle et les industries de… …   Wikipédia en Français

• Logique & Évolution Des Activités De Services Et Industrielles — Logique et évolution des activités de services et industrielles Les activités de services et industrielles sont des activités essentielles au développement de la ville. Parmi elles, l’on peut citer l’industrie traditionnelle et les industries de… …   Wikipédia en Français