Automath
Schlagen Sie auch in anderen Wörterbüchern nach:
Automath — Au to*math, n. [Gr. ?; ? self + ?, ?, to learn.] One who is self taught. [R.] Young. [1913 Webster] … The Collaborative International Dictionary of English
Automath theorem prover — Automath (automating mathematics) is a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify the correctness. The… … Wikipedia
automath — noun /ˈɑtəmæθ/ One who is self taught; an autodidact. Syn: autodidact … Wiktionary
automath — … Useful english dictionary
де Брёйн, Николас — Николас Говерт де Брёйн Nicolaas Govert de Bruijn … Википедия
Де Брёйн, Николас — Николас Говерт де Брёйн Nicolaas Govert de Bruijn … Википедия
Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… … Wikipedia
N. G. de Bruijn — Nicolaas Govert de Bruijn (* 9. Juli 1918, Den Haag) ist ein niederländischer Mathematiker, der sich vor allem mit Analysis, Zahlentheorie, Kombinatorik und Informatik (diskreter Mathematik) beschäftigt. Inhaltsverzeichnis 1 Leben und Wirken 2… … Deutsch Wikipedia
Nicolaas Govert de Bruijn — (* 9. Juli 1918, Den Haag) ist ein niederländischer Mathematiker, der sich vor allem mit Analysis, Zahlentheorie, Kombinatorik und Informatik (diskreter Mathematik) beschäftigt. De Bruijn in den 1960er Jahren … Deutsch Wikipedia
Nicolaas Govert de Bruijn — Pour les articles homonymes, voir De Bruijn. De Bruijn à Oberwolfach, dans les années 1960 Nicolaas Govert de Bruijn (né le 9 juillet 1918) est un mathématicien … Wikipédia en Français
