axiomatiza

axiomatiza: AXIOMATIZÁ, axiomatizez, vb. tranz. A reduce la un şir de axiome. [pr.: -xi-o-] – Din fr. axiomatiser.

Trimis de ana_zecheru, 13.09.2007. Sursa: DEX '98

axiomatizá vb. (sil. -xi-o-), ind. prez. 1 sg. axiomatizéz, 3 sg. şi pl. axiomatizeáză

Trimis de siveco, 10.08.2004. Sursa: Dicţionar ortografic

AXIOMATIZÁ vb. I. tr. (Rar) A reduce cunoaşterea la un ansamblu de axiome. [cf. fr. axiomatiser].

Trimis de LauraGellner, 16.11.2004. Sursa: DN

AXIOMATIZÁ vb. tr. a reduce cunoaşterea la un sistem de axiome. (< fr. axiomatiser)

Trimis de raduborza, 15.09.2007. Sursa: MDN

Игры ⚽ Нужно сделать НИР?

axiomatizá — vb. (sil. xi o ), ind. prez. 1 sg. axiomatizéz, 3sg.şipl. axiomatizeázã … Romanian orthography
axiomatizare — AXIOMATIZÁRE, axiomatizări, s.f. Acţiunea de a axiomatiza. [pr.: xi o ] – v. axiomatiza. Trimis de ana zecheru, 13.09.2007. Sursa: DEX S 88 axiomatizáre s. f. (sil. xi o ), g. d. art. axiomatizării; pl. axiomatizări Trimis de siveco, 10.08.20 … Dicționar Român
ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… … Wikipedia Español
Geometría — Alegoría de la Geometría. La Geometría (del latín geometrĭa, que proviene del idioma griego γεωμετρία, geo tierra y metria medida), es una rama de la matemática que se ocupa del estudio de las propiedades de las figuras geométricas en el plano o… … Wikipedia Español

Academic Dictionaries and Encyclopedias