Skip to content

Commit

Permalink
Marc Bavant: +frm
Browse files Browse the repository at this point in the history
  • Loading branch information
revo committed Nov 30, 2002
1 parent 34bca67 commit bc28b87
Show file tree
Hide file tree
Showing 36 changed files with 363 additions and 278 deletions.
8 changes: 6 additions & 2 deletions revo/devi.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -102,9 +102,10 @@
<fnt><bib>PIV1</bib></fnt>
<snc>
<dif>
<klr>(de <ref cel="variab.hazarda0o">hazarda variablo</ref> X)</klr>
<klr>(de <ref cel="variab.hazarda0o">hazarda variablo</ref>
<frm>X</frm>)</klr>
La kvadrata radiko de &gcirc;ia <ref cel="varian1.0o">varianco</ref>;
simb. &sigma;(X).
simb. <frm>&sigma;(X)</frm>.
</dif>
</snc>
<trd lng="de">Standardabweichung</trd>
Expand All @@ -116,6 +117,9 @@
</art>
<!--
$Log$
Revision 1.10 2002/09/22 16:33:07 revo
Marc Bavant: +drv varianca ~o
Revision 1.9 2002/05/22 16:33:10 revo
Alejandro Mejia Greene: ald 2 his trd
Revision 1.8 2002/04/22 16:31:47 revo
Expand Down
6 changes: 3 additions & 3 deletions revo/frakci.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -328,7 +328,7 @@
<klr>(la&ubreve; <ref cel="baz.0o.nombrosistema">bazo</ref>
<frm><k>n</k></frm>)</klr>
<ref tip="super" cel="prezen1.numa0o">n-uma prezento</ref>
de reelo kun absoluta valoro pli malgranda ol 1:
de reelo kun absoluta valoro pli malgranda ol <frm>1</frm>:
<ekz>
el &ccirc;iaj poziciaj <tld/>oj por komputiko plej gravas la dekumaj,
kiel <frm>0,75</frm>, kaj la duumaj, kiel <frm>0,11</frm> <klr>(tiuj du
Expand Down Expand Up @@ -414,6 +414,8 @@
</art>
<!--
$Log$
Revision 1.29 2002/11/24 17:33:56 revo
Marc Bavant: mod frm
Revision 1.28 2002/11/18 17:34:07 revo
Marc Bavant: +frm
Revision 1.27 2002/10/13 16:31:54 revo
Expand All @@ -431,7 +433,5 @@ Revision 1.22 2002/05/02 16:36:28 revo
Marc Bavant: dekuma frakcio: mod rim; ~streko: mod rim, mod trd fr
Revision 1.21 2002/02/24 17:31:19 revo
Marc Bavant: snc MAT: +fnt; ~o MAT: +rim
Revision 1.20 2002/01/10 20:33:26 revo
fontindiko PrV per programo de Jerome
-->
</vortaro>
27 changes: 16 additions & 11 deletions revo/kondic1.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -188,12 +188,13 @@
<fnt><bib>MatVort</bib></fnt>
<snc>
<dif>
<klr>(p.p. <ref cel="propoz.0o.aserto">propozicioj</ref> P kaj Q)</klr>
Oni diras, ke Q estas necesa <tld/>o por P, por
signifi, ke P implicas Q:
<klr>(p.p. <ref cel="propoz.0o.aserto">propozicioj</ref>
<frm>P</frm> kaj <frm>Q</frm>)</klr>
Oni diras, ke <frm>Q</frm> estas necesa <tld/>o por <frm>P</frm>, por
signifi, ke <frm>P</frm> implicas <frm>Q</frm>:
<ekz>
necesa <tld/>o, por ke entjero estu dividebla per 4, estas, ke
&gcirc;i estu dividebla per 2.
necesa <tld/>o, por ke entjero estu dividebla per <frm>4</frm>,
estas, ke &gcirc;i estu dividebla per <frm>2</frm>.
</ekz>
</dif>
<ref tip="vid" cel="se.nur0">nur se.</ref>
Expand All @@ -210,13 +211,15 @@
<fnt><bib>MatVort</bib></fnt>
<snc>
<dif>
<klr>(p.p. <ref cel="propoz.0o.aserto">propozicioj</ref> P kaj Q)</klr>
Oni diras, ke P estas sufi&ccirc;a <tld/>o por Q, por
signifi, ke P implicas Q:
<klr>(p.p. <ref cel="propoz.0o.aserto">propozicioj</ref>
<frm>P</frm> kaj <frm>Q</frm>)</klr>
Oni diras, ke <frm>P</frm> estas sufi&ccirc;a <tld/>o por <frm>Q</frm>,
por signifi, ke <frm>P</frm> implicas <frm>Q</frm>:
<ekz>
sufi&ccirc;a <tld/>o, por ke entjero estu dividebla per 2, estas, ke
&gcirc;i estu dividebla per 4 <klr>(tamen tiu <tld/>o ne estas necesa,
&ccirc;ar 6 estas dividebla per 2, kvankam ne per 4)</klr>.
sufi&ccirc;a <tld/>o, por ke entjero estu dividebla per <frm>2</frm>,
estas, ke &gcirc;i estu dividebla per <frm>4</frm> <klr>(tamen tiu
<tld/>o ne estas necesa, &ccirc;ar <frm>6</frm> estas dividebla per
<frm>2</frm>, kvankam ne per <frm>4</frm>)</klr>.
</ekz>
</dif>
<ref tip="vid" cel="se.0.MAT">se.</ref>
Expand All @@ -229,6 +232,8 @@
</art>
<!--
$Log$
Revision 1.13 2002/06/02 17:32:55 revo
Marc Bavant: +drv necesa, suficxa ~o
Revision 1.12 2002/01/31 17:31:51 revo
Ulrich Fellmann: kor de ort eraro en germ trd
Revision 1.11 2002/01/30 17:31:24 revo
Expand Down
32 changes: 19 additions & 13 deletions revo/latis.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,14 +28,16 @@
<fnt><bib>EKV</bib><lok>&para;251</lok></fnt>
<dif>
Tia <ref tip="super" cel="strukt.algebra0o">strukturo</ref>
(<em>E</em>,&#8744;,&#8743;), ke amba&ubreve; operacioj estas
<frm>(<g>E</g>,&#8744;,&#8743;)</frm>, ke amba&ubreve; operacioj estas
<ref cel="komut.0eca.operacio">komutecaj</ref> kaj
<ref cel="asoci.0eca.operacio">asociecaj</ref>, kaj ke
x&#8744;(x&#8743;y)=x&#8743;(x&#8744;y)=x, kiuj ajn estas
x,y&#8712;<em>E</em> <klr>(sorbada regulo)</klr>:
<frm><k>x</k>&#8744;(<k>x</k>&#8743;<k>y</k>) =
<k>x</k>&#8743;(<k>x</k>&#8744;<k>y</k>) = <k>x</k></frm>, kiuj ajn
estas <frm><k>x</k>,<k>y</k>&#8712;<g>E</g></frm>
<klr>(sorbada regulo)</klr>:
<ekz>
se (<em>E</em>,&#8744;,&#8743;) estas <tld/>o, anka&ubreve;
(<em>E</em>,&#8743;,&#8744;) estas
se <frm>(<g>E</g>,&#8744;,&#8743;)</frm> estas <tld/>o, anka&ubreve;
<frm>(<g>E</g>,&#8743;,&#8744;)</frm> estas
<klr>(duala <tld/>o)</klr>;
</ekz>
<ekz>
Expand All @@ -52,13 +54,16 @@
<ref cel="komple2.0a.latiso">kompleta</ref>.
</refgrp>
<rim>
La rilato x&#8744;y=x difinas <ref cel="rilat.ordo0o">ordo-rilaton</ref>
super <em>E</em>. Alternative kaj ekvivalente eblas difini <tld/>on kiel
tian <ref tip="super" cel="ar.orda0o">ordan aron</ref>
(<em>E</em>, &#8804;), ke por ajnaj du elementoj x,y de &gcirc;i
ekzistas iliaj <ref cel="infim.0o">infimo</ref>
<klr>(signata per x&#8743;y)</klr> kaj
<ref cel="suprem.0o">supremo</ref> <klr>(signata per x&#8744;y)</klr>.
La rilato <frm><k>x</k>&#8744;<k>y</k> = <k>x</k></frm> difinas
<ref cel="rilat.ordo0o">ordo-rilaton</ref>
super <frm><g>E</g></frm>. Alternative kaj ekvivalente eblas difini
<tld/>on kiel tian <ref tip="super" cel="ar.orda0o">ordan aron</ref>
<frm>(<g>E</g>,&#8804;)</frm>, ke por ajnaj du elementoj
<frm><k>x</k>, <k>y</k></frm> de &gcirc;i ekzistas iliaj
<ref cel="infim.0o">infimo</ref>
<klr>(signata per <frm><k>x</k>&#8743;<k>y</k></frm>)</klr> kaj
<ref cel="suprem.0o">supremo</ref>
<klr>(signata per <frm><k>x</k>&#8744;<k>y</k></frm>)</klr>.
</rim>
<trd lng="ca">reticle</trd>
<trd lng="de">Verband</trd>
Expand All @@ -75,8 +80,9 @@

<!--
$Log$
Revision 1.2 2002/09/24 16:34:03 revo
Oscar Puig: + trd ca
Revision 1.1 2002/09/22 16:33:27 revo
Marc Bavant: nova artikolo
-->
</vortaro>
13 changes: 8 additions & 5 deletions revo/latitu.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,12 +20,13 @@
<snc mrk="latitu.0o.MAT">
<uzo tip="fak">MAT</uzo>
<dif>
<klr>(de punkto M en tridimensia reela e&ubreve;klida
<klr>(de punkto <frm>M</frm> en tridimensia reela e&ubreve;klida
<ref cel="spac.afina0o">afina spaco</ref> provizita per orta
ununorma koordinatsistemo (O,<em>i</em>,<em>j</em>,<em>k</em>))</klr>
Mezuro de la <ref cel="angul.0o.afina">angulo</ref> (OP, OM), kie
P signas la ortan projekcia&jcirc;on de M sur la ebeno difinita de
(O,<em>i</em>,<em>j</em>):
ununorma koordinatsistemo
<frm>(O, <g>i</g>, <g>j</g>, <g>k</g>)</frm>)</klr>
Mezuro de la <ref cel="angul.0o.afina">angulo</ref> <frm>(OP, OM)</frm>,
kie <frm>P</frm> signas la ortan projekcia&jcirc;on de <frm>M</frm> sur
la ebeno difinita de <frm>(O, <g>i</g>, <g>j</g>)</frm>:
<ekz>
<tld/>o estas la tria koordinato en la sfera
<ref cel="koordi.0sistemo">koordinatsistemo</ref>.
Expand Down Expand Up @@ -118,6 +119,8 @@
</art>
<!--
$Log$
Revision 1.11 2002/09/01 19:10:13 revo
Marc Bavant: ~o: +snc MAT, +adm, -uzo SCI, +uzo AST; XXX ~o: +adm, +uzo, mod dif
Revision 1.10 2002/08/23 17:30:47 revo
Eduardo M. Kalinowski: ald trd el, pt
Revision 1.9 2001/11/26 17:32:27 revo
Expand Down
39 changes: 22 additions & 17 deletions revo/logari.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,22 +13,24 @@
<fnt><bib>MatTerm</bib><lok>p. 20</lok></fnt>
<snc>
<dif>
<klr>(kun <ref cel="baz.0o.logaritmo">bazo</ref> a, a&ubreve;
a-<ref cel="um.0.logaritmo">uma</ref>)</klr>
<klr>(kun <ref cel="baz.0o.logaritmo">bazo</ref> <frm><k>a</k></frm>,
a&ubreve; <frm><k>a</k></frm>-<ref cel="um.0.logaritmo">uma</ref>)</klr>
<ref tip="super" cel="invers.0o.variaj">Inverso</ref> de la
<ref tip="super" cel="funkci.0o.MAT">funkcio</ref>
<ref cel="ekspon1.0o">eksponencialo</ref> kun bazo a:
<ref cel="ekspon1.0o">eksponencialo</ref> kun bazo <frm><k>a</k></frm>:
<ekz>
<tld/>on de x kun bazo a oni kutime signas per log<sub>a</sub>(x);
<tld/>on de <frm><k>x</k></frm> kun bazo <frm><k>a</k></frm> oni
kutime signas per <frm>log<sub><k>a</k></sub>(<k>x</k>)</frm>;
</ekz>
<ekz>
<tld/>o de la bazo egalas al 1;
<tld/>o de la bazo egalas al <frm>1</frm>;
</ekz>
<ekz>
<tld/>o de produto egalas al sumo de <tld/>oj de la apartaj faktoroj;
</ekz>
<ekz>
<tld/>o de eksponencialo de x egalas al x;
<tld/>o de eksponencialo de <frm><k>x</k></frm>
egalas al <frm><k>x</k></frm>;
</ekz>
<ekz>
vastigite al kompleksoj, la funkcio <tld/>o fari&gcirc;as
Expand All @@ -50,8 +52,8 @@
<trd lng="es">logaritmo</trd>
<trd lng="fr">logarithme<klr tip="ind"> (de base a)</klr></trd>
<trd lng="nl">logaritme</trd>
<trd lng="pt">logaritmo</trd>
<trd lng="pl">logarytm<klr tip="ind"> (przy podstawie a)</klr></trd>
<trd lng="pt">logaritmo</trd>
<trd lng="ru">&c_l;&c_o;&c_g;&c_a;&c_r;&c_i;&c_f;&c_m;<klr tip="ind"> (&c_p;&c_r;&c_i; &c_o;&c_s;&c_n;&c_o;&c_v;&c_a;&c_n;&c_i;&c_i; a)</klr></trd>
</drv>

Expand All @@ -62,15 +64,19 @@
<snc>
<dif>
<ref tip="super" cel="logari.0o"><tld lit="L"/>o</ref>
kun bazo e (<ref cel="transc.0a.nombro">transcenda</ref>
reelo proksimume egala al 2,718):
kun bazo <frm><k>e</k></frm>
(<ref cel="transc.0a.nombro">transcenda</ref> reelo proksimume egala
al <frm>2,718</frm>):
<ekz>
naturan <tld/>on de x oni kutime signas per Log&#xa0;x a&ubreve;
ln&#xa0;x;
naturan <tld/>on de <frm><k>x</k></frm> oni kutime signas per
<frm>Log <k>x</k></frm> a&ubreve; <frm>ln <k>x</k></frm>;
</ekz>
<ekz>
la natura <tld/>o de x egalas al integralo de funkcio 1/t inter 1 kaj
x <klr>(simb. ln&#xa0;x=&#x222b;<sub>1</sub><sup>x</sup>&#xa0;dt/t)</klr>.
la natura <tld/>o de <frm><k>x</k></frm> egalas al integralo de
funkcio <frm>1/<k>t</k></frm> inter <frm>1</frm> kaj
<frm><k>x</k></frm>
<klr>(simb. <frm>ln <k>x</k> =
&#x222b;<sub>1</sub><sup><k>x</k></sup> d<k>t</k>/<k>t</k></frm>)</klr>.
</ekz>
</dif>
</snc>
Expand Down Expand Up @@ -103,7 +109,7 @@
<snc>
<dif>
<ref tip="super" cel="logari.0o"><tld lit="L"/>o</ref>
kun bazo 10:
kun bazo <frm>10</frm>:
<ekz>
tabelo de ordinaraj <tld/>oj <klr>(tabelo uzata por fari komplikajn
kalkulojn helpe de <tld/>oj)</klr>.
Expand Down Expand Up @@ -139,12 +145,12 @@
</art>
<!--
$Log$
Revision 1.14 2002/10/21 16:34:37 revo
Ulrich Fellmann: ort kor en germ trd
Revision 1.13 2002/09/12 16:36:12 revo
Eduardo M. Kalinowski: ald trd el, pt
Revision 1.12 2002/08/25 19:01:42 revo
Marc Bavant: mod ref cel al mantiso; +trd pl; +ref al um-; +ref internaj
Revision 1.11 2002/05/12 16:39:30 revo
Marc Bavant: mod ref al karakteristiko
Revision 1.10 2002/05/02 16:38:14 revo
Expand All @@ -160,4 +166,3 @@ Paul Peeraerts: ald trd nl + <uzo tip="fak">
Revision 1.5 2001/02/14 12:40:50 revo
-->
</vortaro>

12 changes: 7 additions & 5 deletions revo/longit.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,12 +36,13 @@
<snc mrk="longit.0o.MAT">
<uzo tip="fak">MAT</uzo>
<dif>
<klr>(de punkto M en tridimensia reela e&ubreve;klida
<klr>(de punkto <frm>M</frm> en tridimensia reela e&ubreve;klida
<ref cel="spac.afina0o">afina spaco</ref> provizita per orta
ununorma koordinatsistemo (O,<em>i</em>,<em>j</em>,<em>k</em>))</klr>
ununorma koordinatsistemo
<frm>(O, <g>i</g>, <g>j</g>, <g>k</g>)</frm>)</klr>
<ref cel="angul.polusa0o">Polusa angulo</ref> de
la orta projekcia&jcirc;o de M sur la ebeno difinita de
(O,<em>i</em>,<em>j</em>):
la orta projekcia&jcirc;o de <frm>M</frm> sur la ebeno difinita de
<frm>(O, <g>i</g>, <g>j</g>)</frm>:
<ekz>
<tld/>o estas la dua koordinato en la sfera
<ref cel="koordi.0sistemo">koordinatsistemo</ref>.
Expand All @@ -67,9 +68,10 @@
</art>
<!--
$Log$
Revision 1.11 2002/09/13 16:36:48 revo
Eduardo M. Kalinowski: ald trd pt
Revision 1.10 2002/09/01 19:10:15 revo
Marc Bavant: +snc MAT; +mrk; mod uzo SCI al GEO
Revision 1.9 2002/08/12 17:31:10 revo
Jozefo Horvath: +trd hu
Revision 1.8 2001/11/20 17:35:18 revo
Expand Down
6 changes: 4 additions & 2 deletions revo/mantis.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,8 @@
<ref cel="reel.0o.MAT">reelo</ref>, pli speciale de
<ref cel="logari.0o">logaritmo</ref>:
<ekz>
la ordinara logaritmo de x kaj 10<sup>n</sup>.x havas saman
la ordinara logaritmo de <frm><k>x</k></frm> kaj
<frm>10<sup><k>n</k></sup>.<k>x</k></frm> havas saman
<tld/>on.
</ekz>
</dif>
Expand Down Expand Up @@ -51,6 +52,8 @@
</art>
<!--
$Log$
Revision 1.13 2002/08/25 19:01:44 revo
Marc Bavant: ~o MAT: kunfandis snc, mod mrk, +trd pl
Revision 1.12 2002/07/29 18:13:42 revo
Marc Bavant: ~o: +snc; distribuis la trd
Revision 1.11 2002/05/12 16:39:29 revo
Expand All @@ -68,6 +71,5 @@ Jerano Zachrisson: +trd sv
Revision 1.5 2000/09/06 16:16:39 revo
Sergio Pokrovskij: potencIGita
Revision 1.4 2000/09/05 16:12:18 revo
Sergio Pokrovskij: glitpunkta
-->
</vortaro>
21 changes: 12 additions & 9 deletions revo/minimu.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,11 +26,14 @@
<uzo tip="fak">MAT</uzo>
<fnt><bib>MatTerm</bib><lok>p. 18, 20</lok></fnt>
<dif>
<klr>(de <ref cel="ar.orda0o">orda aro</ref> (<em>E</em>,&#8804;))</klr>
Tia elemento m en <em>E</em>, ke &ccirc;iuj aliaj estas pli
grandaj ol &gcirc;i (m&#8804;x por &ccirc;iu ajn x en <em>E</em>):
<klr>(de <ref cel="ar.orda0o">orda aro</ref>
<frm>(<g>E</g>,&#8804;)</frm>)</klr>
Tia elemento <frm>m</frm> en <frm><g>E</g></frm>, ke &ccirc;iuj
aliaj estas pli grandaj ol &gcirc;i
(<frm>m &#8804; <k>x</k></frm> por &ccirc;iu ajn
<frm><k>x</k></frm> en <frm><g>E</g></frm>):
<ekz>
la reela intervalo ]0,1[ ne havas <tld/>on;
la reela intervalo <frm>]0,1[</frm> ne havas <tld/>on;
</ekz>
<ekz>
la eventuala <tld/>o estas unika;
Expand Down Expand Up @@ -86,9 +89,9 @@ tagojn.
<uzo tip="fak">MAT</uzo>
<dif>
<klr>(p.p. elemento de <ref cel="ar.orda0o">orda aro</ref>
(<em>E</em>, &#8804;))</klr>
Tia, ke ne ekzistas elemento de <em>E</em> strikte pli malgranda
ol &gcirc;i:
<frm>(<g>E</g>,&#8804;)</frm>)</klr>
Tia, ke ne ekzistas elemento de <frm><g>E</g></frm> strikte
pli malgranda ol &gcirc;i:
<ekz>
la eventuala <tld/>o de orda aro estas <tld/>a, sed <tld/>a
elemento ne nepre estas <tld/>o.
Expand Down Expand Up @@ -159,6 +162,8 @@ konstrui verkon.
</art>
<!--
$Log$
Revision 1.19 2002/09/22 16:33:32 revo
Marc Bavant: ~o MAT: mod ekz, +ref al ekstremumo; snc MAT: +trd pl
Revision 1.18 2002/08/11 17:32:32 revo
Marc Bavant: +drv ~ejo
Revision 1.17 2002/06/02 17:33:16 revo
Expand All @@ -176,7 +181,5 @@ Marc Bavant: mod fnt MAT; ~a MAT: +trd de/en/ru
Revision 1.11 2002/02/12 17:31:32 revo
Jerome Vachey: + minimumismo
Revision 1.10 2002/01/06 17:45:46 revo
Marc Bavant: mod ref cel al bildigo
Revision 1.9 2001/11/27 17:35:03 revo
-->
</vortaro>
Loading

0 comments on commit bc28b87

Please sign in to comment.