topos of types

topos of types
мат. топос типов

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "topos of types" в других словарях:

  • mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

  • Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

  • 1985 Mexico City earthquake — Mexico city Collapsed General Hospital …   Wikipedia

  • Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

  • Hypothypose — Hypotypose Lawrence Alma Tadema, La mort d Hippolyte, 1860. L hypotypose (ὑποτύπωσις[note 1]) (prononcé : [i po ti pô z ]) est …   Wikipédia en Français

  • Hypotypose — Lawrence Alma Tadema, La mort d Hippolyte, 1860. L hypotypose [ …   Wikipédia en Français

  • Digression — « Mais si vous m interrompez, lecteur, et si je m interromps moi même à tout coup, que deviendront les amours de Jacques ? Croyez moi, laissons là le poète... L hôte et l hôtesse s éloignèrent... Non, non, l histoire du poète de… …   Wikipédia en Français

  • Emprunt (langue) — Emprunt lexical En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme… …   Wikipédia en Français

  • Emprunt Lexical — En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme venu d’une autre… …   Wikipédia en Français

  • Emprunts lexicaux — Emprunt lexical En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme… …   Wikipédia en Français

  • Fremdwörter — Emprunt lexical En linguistique, et plus particulièrement en étymologie, lexicologie et linguistique comparée, on nomme emprunt lexical (ou, plus souvent, emprunt) le processus consistant, pour une langue, à introduire dans son lexique un terme… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»