Skip to content

Commit

Permalink
Sergio Pokrovskij: +KOMP, +kongrua
Browse files Browse the repository at this point in the history
  • Loading branch information
revo committed Nov 25, 2001
1 parent a5bf38c commit 44011b8
Showing 1 changed file with 65 additions and 10 deletions.
75 changes: 65 additions & 10 deletions revo/kongru.xml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
<rad>kongru</rad>/i
<fnt>Z</fnt>
</kap>

<drv mrk="kongru.0i">
<kap>
<tld/>i
Expand All @@ -17,12 +18,10 @@
Esti interkonforma kun:
<ekz>
la atesto <tld/>as kun la asertoj de la akuzito;
</ekz>
<ekz>
</ekz><ekz>
<tld/>antaj datoj;
</ekz>
<ekz>
la faktoj ne <tld/>as kun tiu hipotezo
</ekz><ekz>
la faktoj ne <tld/>as kun tiu hipotezo.
</ekz>
</dif>
<refgrp tip="vid">
Expand All @@ -44,21 +43,19 @@
<uzo tip="fak">MAT</uzo>
<dif>
<klr>(p.p. du <ref cel="reel.0o.MAT">reeloj</ref>, la&ubreve;
la reela <ref cel="modul.0o.kongruo">modulo</ref> &my;)</klr>
la reela <ref cel="modul.0o.kongruo">modulo</ref> &my;)</klr>
Esti tiaj, ke ilia diferenco estas entjera opo de &my;:
<ekz>
se du reeloj kongruas la&ubreve; modulo &pi;, iliaj
<ref cel="sinus.0o.funkcio">sinusoj</ref> estas
<ref cel="egal.kontraux0a">kontra&ubreve;egalaj</ref>;
</ekz>
<ekz>
</ekz><ekz>
1111 kaj 4 estas <ind><tld/>a</ind>j la&ubreve; modulo 9;
<trd lng="de">kongruent<klr tip="ind"> (modulo N)</klr></trd>
<trd lng="en">congruent<klr tip="ind"> (modulo N)</klr></trd>
<trd lng="fr">congruent<klr tip="ind"> (modulo N)</klr></trd>
<trd lng="ru">&c_s;&c_r;&c_a;&c_v;&c_n;&c_i;&c_m;&c_y;&c_j;<klr tip="ind"> (&c_p;&c_o; &c_m;&c_o;&c_d;&c_u;&c_l;&c_ju; N)</klr></trd>
</ekz>
<ekz>
</ekz><ekz>
la <ref cel="ar.kvocienta0o">kvocienta aro</ref> de la rilato de
<ind><tld/>eco</ind> la&ubreve; modulo 5 super
la aro de entjeroj estas <ref cel="korp.0o.MAT">korpo</ref>.
Expand All @@ -73,10 +70,68 @@
<ctl>module</ctl>.
</rim>
</snc>
<snc mrk="kongru.0i.TEK">
<uzo tip="fak">TEK</uzo>
<dif>
Plenumi la saman funkcion kaj esti inter&scirc;an&gcirc;ela a&ubreve;
uzebla kun io alia:
<ekz>
<uzo tip="fak">KOMP</uzo>
tiu komputilo <tld/>as kun IBM PC;
</ekz><ekz>
la nova operaciumo <tld/>as malplien
<klr>(kun la malnovaj versioj, kies numeroj estas malpliaj)</klr>.
</ekz>
</dif>
<trd lng="en">to be <ind>compatible</ind></trd>
<trd lng="en">&c_b;&c_y;&c_t;&c_mol; <ind>&c_s;&c_o;&c_v;&c_m;&c_je;&c_s;&c_t;&c_i;&c_m;&c_y;&c_m;</ind></trd>
</snc>
<snc mrk="kongru.0i.signocxeno">
<uzo tip="fak">KOMP</uzo>
<dif>
<klr>(Pri signoxeno, dosiernomo ktp:)</klr>
Esti konforma al &scirc;ablono a&ubreve; regulesprimo:
<ekz>
en esperanta loka&jcirc;aro, la plurnombraj adjektovoj
akuzativaj <tld/>as kun la regulesprimo
<frm>\w+ajn\></frm>.
</ekz>
</dif>
<trd lng="en">match</trd>
<trdgrp lng="ru">
<trd>&c_s;&c_o;&c_p;&c_o;&c_s;&c_t;&c_a;&c_v;&c_i;&c_t;&c_mol;&c_s;&c_ja;</trd>,
<trd>&c_o;&c_t;&c_o;&c_zh;&c_d;&c_je;&c_s;&c_t;&c_v;&c_i;&c_t;&c_mol;&c_s;&c_ja;</trd>,
<trd>&c_s;&c_o;&c_v;&c_p;&c_a;&c_s;&c_t;&c_mol;</trd></trdgrp>
</snc>
</drv>

<drv mrk="kongru.0a">
<kap>
<tld/>a
</kap>
<snc>
<dif>
<tld lit="K"/>anta:
<ekz>
<uzo tip="fak">MAT</uzo>
<ind><tld/>a</ind>j trianguloj;
<trd lng="ru">&c_k;&c_o;&c_n;&c_g;&c_r;&c_u;&c_e;&c_n;&c_t;&c_n;&c_y;&c_j;</trd>
</ekz><ekz>
<uzo tip="fak">KOMP</uzo>
<ind><tld/>a</ind>j komputiloj, programoj, interfacoj.
<trd lng="en">compatible</trd>
<trd lng="ru">&c_s;&c_o;&c_v;&c_m;&c_je;&c_s;&c_t;&c_i;&c_m;&c_y;&c_j;</trd>
</ekz>
</dif>
</snc>
</drv>

</art>
<!--
$Log$
Revision 1.8 2001/10/14 08:47:39 revo
Yury Finkel: +trd ru
Revision 1.7 2001/06/24 18:55:40 revo
Marc Bavant: ~i: +snc MAT
Expand Down

0 comments on commit 44011b8

Please sign in to comment.