Principes de logique theorique
- Principes de logique theorique
-
Principes de logique théorique
Les principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit de la première présentation rigoureuse de la logique du premier ordre.
Références
- David Hilbert and Wilhelm Ackermann (1928). Grundzüge der theoretischen Logik (Principes de logique théorique). Springer-Verlag, ISBN 0-8218-2024-9. Ce texte a eu quatre édition en allemand, la dernière ayant eu lieu en 1972.
- Portail de la logique
Catégories : Œuvre de logique | Théorie de la démonstration
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Principes de logique theorique de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Principes de logique théorique — Les principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre. Références… … Wikipédia en Français
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
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
Principes de foi dans le judaïsme — Principes de foi du judaïsme La foi juive s appuie sur quelques principes de foi qui furent formulés par les autorités rabbiniques médiévales. Ces principes furent établis comme soutènements fondamentaux inhérents à l acceptation et à la pratique … Wikipédia en Français
Principes de foi du Judaïsme — La foi juive s appuie sur quelques principes de foi qui furent formulés par les autorités rabbiniques médiévales. Ces principes furent établis comme soutènements fondamentaux inhérents à l acceptation et à la pratique du judaïsme. Contrairement à … Wikipédia en Français
Principes de foi du judaisme — Principes de foi du judaïsme La foi juive s appuie sur quelques principes de foi qui furent formulés par les autorités rabbiniques médiévales. Ces principes furent établis comme soutènements fondamentaux inhérents à l acceptation et à la pratique … Wikipédia en Français
Logique interne — (EPS) Cette notion théorique particulière au champ de éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles constitutives,… … Wikipédia en Français
Logique interne (eps) — Cette notion théorique particulière au champ de éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles constitutives,… … Wikipédia en Français
Logique interne en EPS — Logique interne (EPS) Cette notion théorique particulière au champ de éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles … Wikipédia en Français