Marc Bavant: +frm, +trd pl

revuloj · Nov 26, 2002 · 6a0bec6 · 6a0bec6
1 parent 6356b70
commit 6a0bec6
Show file tree

Hide file tree

Showing 4 changed files with 68 additions and 44 deletions.
diff --git a/revo/konhxo.xml b/revo/konhxo.xml
@@ -11,21 +11,23 @@
   <uzo tip="fak">MAT</uzo>
   <snc>
     <dif>
-      <klr>(de ebena <ref cel="kurb.0o.MAT">kurbo</ref> K, rilate al
-      punkto O)</klr>
+      <klr>(de ebena <ref cel="kurb.0o.MAT">kurbo</ref> <frm>K</frm>, 
+      rilate al punkto <frm>O</frm>)</klr>
       Ebena <ref cel="kurb.0o.MAT">kurbo</ref>, konsistanta el &ccirc;iuj
-      tiaj punktoj M, ke la distanco MN egalas al iu konstanto, kie N
-      estas la intersekcopunkto de la rekto OM kaj de la kurbo K:
+      tiaj punktoj <frm>M</frm>, ke la distanco <frm>MN</frm> egalas al 
+      iu konstanto, kie <frm>N</frm> estas la intersekcopunkto 
+      de la rekto <frm>OM</frm> kaj de la kurbo <frm>K</frm>:
       <ekz>
         <ref cel="limak.paskala0o">paskala limako</ref> estas
         <tld/>o de cirklo rilate al punkto de &gcirc;i:
       </ekz>
       <ekz>
         la kartezia ekvacio de <ind><tld/>o de rekto</ind> estas de
-        la tipo &rho;=(a/cos&theta;)+b.
+        la tipo <frm>&rho; = (<k>a</k>/cos&theta;)+<k>b</k></frm>.
         <trd lng="de">Konchoide von Nikomedes</trd>
         <trd lng="en">conchoid of Nicomedes</trd>
         <trd lng="fr">concho&iuml;de de Nicom&egrave;de</trd>
+        <trd lng="pl">konchoida Nikomedesa</trd>
         <trd lng="ru">&c_k;&c_o;&c_n;&c_h;&c_o;&c_i;&c_d;&c_a; &c_p;&c_r;&c_ja;&c_m;&c_o;&c_j;</trd>
       </ekz>
     </dif>
@@ -41,14 +43,16 @@
   <trd lng="de">Konchoide</trd>
   <trd lng="en">conchoid</trd>
   <trd lng="fr">concho&iuml;de</trd>
+  <trd lng="pl">konchoida</trd>
   <trd lng="ru">&c_k;&c_o;&c_n;&c_h;&c_o;&c_i;&c_d;&c_a;</trd>
 </drv>
 </art>
 
 <!--
 $Log$
+Revision 1.2  2002/04/02 17:58:06  revo
+Marc Bavant: mod rad, +rim
 Revision 1.1  2002/04/01 18:50:33  revo
 Marc Bavant: nova artikolo
-
 -->
 </vortaro>
diff --git a/revo/konjun.xml b/revo/konjun.xml
@@ -32,8 +32,8 @@
       asocias la propozicion, kiu estas vera, se kaj nur se
       amba&ubreve; estas veraj; rezulto de tiu operacio:
       <ekz>
-        la <tld/>on de P kaj Q oni foje signas per P&#8743;Q
-        <klr>(legu: P kaj Q)</klr>.
+        la <tld/>on de <frm>P</frm> kaj <frm>Q</frm> oni foje signas per 
+        <frm>P&#8743;Q</frm> <klr>(legu: <frm>P</frm> kaj <frm>Q</frm>)</klr>.
       </ekz>
     </dif>
     <trdgrp lng="de">
@@ -43,6 +43,9 @@
     <trdgrp lng="fr">
       <trd>conjonction<klr tip="ind"> (produit logique)</klr></trd>,
       <trd>produit logique</trd></trdgrp> 
+    <trdgrp lng="pl">
+      <trd>koniunkcja</trd>,
+      <trd>iloczyn logiczny</trd></trdgrp> 
     <trdgrp lng="ru">
       <trd>&c_k;&c_o;&c_n;&c_malmol;&c_ju;&c_n;&c_k;&c_c;&c_i;&c_ja;</trd>,
       <trd>&c_l;&c_o;&c_g;&c_i;&c_ch;&c_je;&c_s;&c_k;&c_o;&c_je; <ind>&c_u;&c_m;&c_n;&c_o;&c_zh;&c_je;&c_n;&c_i;&c_je;</ind></trd>
@@ -90,20 +93,17 @@
 </art>
 <!--
 $Log$
+Revision 1.11  2002/06/02 17:32:59  revo
+Marc Bavant: ~o: +snc MAT
 Revision 1.10 2002/02/27 17:59:25 revo
 Ulrich Fellmann: + 6 germ trdj
-
 Revision 1.9 2001/10/17 18:12:47 revo
 Yury Finkel: +trd ru
-
 Revision 1.8 2001/04/05 16:13:03 revo
 Karlo Freeman: +trd=en
-
 Revision 1.7 2001/03/20 19:59:14 revo
 Paul Peeraerts: ald trd nl
-
 Revision 1.6 2000/10/25 16:11:49 revo
 Jose Martin: Aldono de hispana traduko
-
 -->
 </vortaro>
diff --git a/revo/kontin3.xml b/revo/kontin3.xml
@@ -56,36 +56,42 @@
     <fnt><bib>EKV</bib><lok>&para;223</lok></fnt>
     <subsnc mrk="kontin3.0a.cxepunkto">
       <dif>
-        <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> f de
-        <ref cel="spac.topologia0o">topologia spaco</ref> <em>E</em> al
-        topologia spaco <em>F</em>, &ccirc;e punkto a&#8712;<em>E</em>)</klr>
+        <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> <frm><k>f</k></frm>
+        de <ref cel="spac.topologia0o">topologia spaco</ref> <frm><g>E</g></frm>
+        al topologia spaco <frm><g>F</g></frm>, i
+        &ccirc;e punkto <frm><k>a</k>&#8712;<g>E</g></frm>)</klr>
         Tia, ke &ccirc;iu ajn
         <ref cel="cxirka.0ajxo.topologio">&ccirc;irka&ubreve;a&jcirc;o</ref>
-        de f(a) inkluzivas la bildon per f de iu
-        &ccirc;irka&ubreve;a&jcirc;o de a.
+        de <frm><k>f</k>(<k>a</k>)</frm> inkluzivas la bildon 
+        per <frm><k>f</k></frm> de iu &ccirc;irka&ubreve;a&jcirc;o 
+        de <frm><k>a</k></frm>.
       </dif>
       <rim>
-        En malpli faka lingva&jcirc;o : f(x) senlime proksimi&gcirc;as al
-        f(a), kiam x senlime proksimi&gcirc;as al a.
+        En malpli faka lingva&jcirc;o: <frm><k>f</k>(<k>x</k>)</frm>
+        senlime proksimi&gcirc;as al <frm><k>f</k>(<k>a</k>)</frm>, 
+        kiam <frm><k>x</k></frm> senlime proksimi&gcirc;as al
+        <frm><k>a</k></frm>.
       </rim>
     </subsnc>
     <subsnc mrk="kontin3.0a.cxie">
       <fnt><bib>MatTerm</bib><lok>p. 20</lok></fnt>
       <dif>
-        <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> f de
-        <ref cel="spac.topologia0o">topologia spaco</ref> <em>E</em> al
-        topologia spaco <em>F</em>)</klr>
+        <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref>
+        <frm><k>f</k></frm> de 
+        <ref cel="spac.topologia0o">topologia spaco</ref> 
+        <frm><g>E</g></frm> al topologia spaco <frm><g>F</g></frm>)</klr>
         Tia, ke &gcirc;i estas 
         <ref cel="kontin3.0a.cxepunkto"><tld/>a <sncref/></ref>
-        &ccirc;e &ccirc;iuj punktoj de <em>E</em>:
+        &ccirc;e &ccirc;iuj punktoj de <frm><g>E</g></frm>:
         <ekz>
-          f estas <tld/>a, se kaj nur se la inversa bildo de &ccirc;iu ajn
+          <frm><k>f</k></frm> estas <tld/>a, se kaj nur se la inversa bildo
+          de &ccirc;iu ajn
           <ref cel="ferm.mal0ita.topologio">malfermita subaro</ref> de
-          <em>F</em> estas malfermita subaro de <em>E</em>;
+          <frm><g>F</g></frm> estas malfermita subaro de <frm><g>E</g></frm>;
         </ekz>
         <ekz>
-          la idento-bildigo de <em>E</em> al si mem (kun la sama topologio)
-          estas <tld/>a;
+          la idento-bildigo de <frm><g>E</g></frm> al si mem (kun la sama
+          topologio) estas <tld/>a;
         </ekz>
         <ekz>
           la kunliga&jcirc;o de du <tld/>aj bildigoj estas mem <tld/>a;
@@ -101,6 +107,7 @@
     </subsnc>
     <trd lng="de">stetig</trd>
     <trd lng="en">continuous</trd>
+    <trd lng="pl">ci&aogonek;g&lstroke;y</trd>
   </snc>
   <trd lng="fr">continu</trd>
   <trdgrp lng="nl">
@@ -163,14 +170,16 @@
   <fnt><bib>EKV</bib><lok>&para;225</lok></fnt>
   <snc mrk="kontin3.0ega.MAT">
     <dif>
-      <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> f de
-      <ref cel="spac.metrika0o">metrika spaco</ref> <em>E</em> al
-      metrika spaco <em>F</em>)</klr>
-      Tia, ke por &ccirc;iu pozitiva reelo &epsilon; ekzistas tia
-      reelo &alfa;, ke se la distanco inter ajnaj punktoj x kaj y
-      en <em>E</em> estas pli
-      malgranda ol &alfa;, tiam la distanco inter la bildoj de x kaj y
-      per f estas pli malgranda ol &epsilon;:
+      <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> 
+      <frm><k>f</k></frm> de
+      <ref cel="spac.metrika0o">metrika spaco</ref> <frm><g>E</g></frm>
+      al metrika spaco <frm><g>F</g></frm>)</klr>
+      Tia, ke por &ccirc;iu pozitiva reelo <frm>&epsilon;</frm> ekzistas tia
+      reelo <frm>&alfa;</frm>, ke se la distanco inter ajnaj punktoj 
+      <frm><k>x</k></frm> kaj <frm><k>y</k></frm> en <frm><g>E</g></frm> estas
+      pli malgranda ol <frm>&alfa;</frm>, tiam la distanco inter la bildoj de 
+      <frm><k>x</k></frm> kaj <frm><k>y</k></frm> per <frm><k>f</k></frm>
+      estas pli malgranda ol <frm>&epsilon;</frm>:
       <ekz>
         &ccirc;iu <tld/>ega bildigo estas anka&ubreve;
         <ref cel="kontin3.0a.cxie"><tld/>a <sncref/></ref>, sed la malo
@@ -181,6 +190,7 @@
   <trd lng="de">gleichm&auml;&szlig;ig <ind>stetig</ind></trd>
   <trd lng="en">uniformly <ind>continous</ind></trd>
   <trd lng="fr">uniform&eacute;ment <ind>continu</ind></trd>
+  <trd lng="pl">jednostatnie <ind>ci&aogonek;g&lstroke;y</ind></trd>
   <trd lng="ru">&c_r;&c_a;&c_v;&c_n;&c_o;&c_m;&c_je;&c_r;&c_n;&c_o; <ind>&c_n;&c_je;&c_p;&c_r;&c_je;&c_r;&c_y;&c_v;&c_n;&c_y;&c_j;</ind></trd>
 </drv>
 
@@ -204,6 +214,8 @@
 </art>
 <!--
 $Log$
+Revision 1.12  2002/07/29 18:13:33  revo
+Marc Bavant: +drv ~ega; simpligo de sncref
 Revision 1.11 2002/05/27 17:18:33 revo
 Marc Bavant: ~a MAT: +fnt
 Revision 1.10 2002/02/23 19:57:47 revo

diff --git a/revo/konvek.xml b/revo/konvek.xml
@@ -46,9 +46,9 @@
           <ref cel="edr.plur0o">pluredro</ref>;
         </ekz>
         <ekz>
-          rekto, inkluzivanta lateron L de <tld/>a plurlatero,
+          rekto, inkluzivanta lateron <frm>L</frm> de <tld/>a plurlatero,
           ne intersekcas &gcirc;iajn aliajn laterojn, krom &ccirc;e
-          la verticoj de L;
+          la verticoj de <frm>L</frm>;
         </ekz>
         <ekz>
           &ccirc;iuj <ref cel="angul.tri0o">trianguloj</ref> kaj
@@ -67,24 +67,29 @@
       <trd lng="de">konvexe<klr tip="amb"> (Untermenge)</klr></trd>
       <trd lng="en">convex<klr tip="ind"> (subset)</klr></trd>
       <trd lng="fr"><klr tip="ind">(sous-ensemble)</klr><ind>convexe</ind></trd>
+      <trd lng="pl"><klr tip="ind">(podzbi&oacute;r)</klr><ind>wypuk&lstroke;y</ind></trd>
       <trd lng="ru">&c_v;&c_y;&c_p;&c_u;&c_k;&c_l;&c_o;&c_je;<klr tip="amb"> (&c_p;&c_o;&c_d;&c_m;&c_n;&c_o;&c_zh;&c_je;&c_s;&c_t;&c_v;&c_o;)</klr></trd>
     </subsnc>
     <subsnc mrk="konvek.0a.bildigo">
       <fnt><bib>MatStokTerm</bib><lok>p. 28</lok></fnt>
       <dif>
-        <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> f de
-        la aro de <ref cel="reel.0o.MAT">reeloj</ref> al si mem)</klr>
-        Tia, ke f(t.x+(1-t).y)&#8804;t.f(x)+(1-t).f(y), kiaj ajn estas
-        x, y, kaj por &ccirc;iu t&#8712;[0,1]:
+        <klr>(p.p. <ref cel="bild.0igo.MAT">bildigo</ref> <frm><k>f</k></frm>
+        de la aro de <ref cel="reel.0o.MAT">reeloj</ref> al si mem)</klr>
+        Tia, ke 
+        <frm><k>f</k>(<k>tx</k>+(1-<k>t</k>)<k>y</k>) &#8804; 
+        <k>t</k><k>f</k>(<k>x</k>)+(1-<k>t</k>)<k>f</k>(<k>y</k>)</frm>,
+        kiaj ajn estas <frm><k>x</k>, <k>y</k></frm>, 
+        kaj por &ccirc;iu <frm><k>t</k>&#8712;[0,1]</frm>:
         <ekz>
           la surfaco situanta super grafika&jcirc;o de <tld/>a reela
           funkcio estas mem <tld/>a.
         </ekz>
       </dif>
       <ref tip="ant" cel="konkav.0a.bildigo">konkava.</ref>
       <rim>
-        Se egaleco okazas, nur kiam t egalas
-        al 0 a&ubreve; 1, oni diras, ke la bildigo estas strikte <tld/>a.
+        Se egaleco okazas, nur kiam <frm><k>t</k></frm> egalas
+        al <frm>0</frm> a&ubreve; <frm>1</frm>, oni diras, ke la bildigo 
+        estas strikte <tld/>a.
       </rim>
       <rim>
         Eblas vastigi la difinon al la okazoj, kiam la fonto-aro estas
@@ -93,6 +98,7 @@
       <trd lng="de">konvexe<klr tip="amb"> (Funktion)</klr></trd>
       <trd lng="en">convex<klr tip="ind"> (function)</klr></trd>
       <trd lng="fr"><klr tip="ind">(fonction) </klr><ind>convexe</ind></trd>
+      <trd lng="fr"><klr tip="amb">(funkcja) </klr><ind>wypuk&lstroke;a</ind></trd>
       <trd lng="ru">&c_v;&c_y;&c_p;&c_u;&c_k;&c_l;&c_a;&c_ja;<klr tip="amb"> (&c_f;&c_u;&c_n;&c_k;&c_c;&c_i;&c_ja;)</klr></trd>
     </subsnc>
   </snc>
@@ -101,6 +107,8 @@
 </art>
 <!--
 $Log$
+Revision 1.11  2002/06/16 17:33:28  revo
+Marc Bavant: snc MAT: fajnigis ref rilate subsnc
 Revision 1.10  2002/03/16 17:31:42  revo
 Marc Bavant: mod trd de kun klr (por koherigi kun dekoj da similaj);~a (subaro): mod fnt, mod ekz, ~a (funkcio): +fnt
 Revision 1.9 2002/03/14 17:32:08 revo