automath

automath
noun /ˈɑtəmæθ/

Wikipedia foundation.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • 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 — (v. gr.), so v.w. Autodidakt …   Pierer's Universal-Lexikon

  • 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 — …   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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”