axiomatique

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

• AXIOMATIQUE — La méthode axiomatique est un mode d’exposition des sciences exactes fondé sur des propositions admises sans démonstration et nettement formulées et des raisonnements rigoureux. On se limitera ici à quelques indications méthodologiques et… …   Encyclopédie Universelle

• Axiomatique — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

• axiomatique — (a ksi o ma ti k ) adj. Terme didactique. Qui tient de l axiome. ÉTYMOLOGIE    Axiome. SUPPLÉMENT AU DICTIONNAIRE    AXIOMATIQUE. Ajoutez : •   Un sixième caractère de cette loi [la loi fondamentale de la raison] est d être axiomatique, MAGY… …   Dictionnaire de la Langue Française d'Émile Littré

• Axiomatique (recueil) — Axiomatique Auteur Greg Egan Genre Recueil de nouvelles Version originale Titre original Axiomatic Éditeur original Orion/Millennium Langue originale Anglais …   Wikipédia en Français

• Axiomatique (nouvelle) — Axiomatique Auteur Greg Egan Genre Nouvelle Version originale Titre original Axiomatic Éditeur original Interzone Langue originale Anglais australien …   Wikipédia en Français

• axiomatique de Hilbert — ● axiomatique de Hilbert Système de vingt sept axiomes pour la géométrie euclidienne …   Encyclopédie Universelle

• Axiomatique de Zermelo-Fraenkel — ZFC En mathématiques, l abréviation ZF désigne la théorie de Zermelo Fraenkel, ZFC quand elle comprend l axiome du choix, théorie des ensembles la plus couramment utilisée en mathématiques contemporaines. Bien que la théorie ne porte pas le nom… …   Wikipédia en Français

• Axiomatique —    см. Аксиоматика …   Философский словарь Спонвиля

• Semantique axiomatique — Sémantique axiomatique La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves …   Wikipédia en Français

• Sémantique axiomatique — La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves …   Wikipédia en Français

• Theorie axiomatique — Théorie axiomatique Quand on parle de théorie mathématique on fait référence à une somme d énoncés, de définitions, de méthodes de preuve etc. Par exemple, quand dans cet article on parle de théorie de la calculabilité c est en ce sens. Par… …   Wikipédia en Français