2013-10-10 20:56:20 +08:00
|
|
|
|
<TeXmacs|1.0.7.20>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
<style|tmdoc>
|
|
|
|
|
|
|
|
|
|
|
|
<\body>
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<tmdoc-title|Ambientes para teoremas e afins>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
A <abbr|d.t.d.> <tmdtd|env-theorem> fornece marca<63><61>o para a diagrama<6D><61>o de
|
|
|
|
|
|
teoremas e similares. As mais importantes etiquetas s<>o:
|
|
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|render-theorem>>
|
|
|
|
|
|
Um macro para formatar ambientes similares a teoremas. O primeiro
|
|
|
|
|
|
argumento especifica o nome do teorema, algo como ``Teorema 1.2'' e o
|
|
|
|
|
|
segund argumento cont<6E>m o corpo do teorema. Este ambiente <20> usado para
|
|
|
|
|
|
teoremas definidos por <markup|new-theorem>.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|render-remark>>
|
|
|
|
|
|
Semelhante a <markup|render-theorem>, mas usado para ambientes similares
|
|
|
|
|
|
a coment<6E>rios.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|render-exercise>>
|
|
|
|
|
|
Semelhante a <markup|render-theorem>, mas para ambientes semelhates a
|
|
|
|
|
|
exerc<72>cios.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|render-proof>>
|
|
|
|
|
|
Semelhante a <markup|render-theorem>, mas para provas. Este ambiente <20>
|
|
|
|
|
|
usado principalmente para alterar o nome da prova, como em ``Fim da prova
|
|
|
|
|
|
do teorema 1.2''
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|dueto>>
|
|
|
|
|
|
Um ambiente para especificar os criadores de um teorema.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|corollary*>>
|
|
|
|
|
|
Para corol<6F>rios n<>o numerados. Este ambiente <20> baseado em
|
|
|
|
|
|
<markup|render-theorem>.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|proof>>
|
|
|
|
|
|
Para provas de teoremas. Este ambiente <20> baseado em
|
|
|
|
|
|
<markup|render-proof>.
|
|
|
|
|
|
</explain>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
As etiquetas seguintes podem ser usadas para modifica<63><61>o dos ambientes.
|
|
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|theorem-name>>
|
|
|
|
|
|
Um macro que controla a apar<61>ncia dos nomes dos ambiente para teoremas
|
|
|
|
|
|
<em|e> coment<6E>rios. A maioria dos estilos usa negrito ou mai<61>sculas
|
|
|
|
|
|
pequenas.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|exercise-name>>
|
|
|
|
|
|
Semelhante a <markup|theorem-name>, mas para exerc<72>cios.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|theorem-sep>>
|
|
|
|
|
|
O separador entre o nome do teorema ou similar e seu corpo. Em geral, um
|
|
|
|
|
|
ponto seguido de um espa<70>o.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|exercise-sep>>
|
|
|
|
|
|
Semelhante a <markup|theorem-sep>, mas para exerc<72>cios.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<tmdoc-copyright|1998--2003|Joris van der Hoeven|Ramiro Brito Willmersdorf>
|
|
|
|
|
|
|
|
|
|
|
|
<tmdoc-license|Permission is granted to copy, distribute and/or modify this
|
|
|
|
|
|
document under the terms of the GNU Free Documentation License, Version 1.1
|
|
|
|
|
|
or any later version published by the Free Software Foundation; with no
|
|
|
|
|
|
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
|
|
|
|
|
|
Texts. A copy of the license is included in the section entitled "GNU Free
|
|
|
|
|
|
Documentation License".>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
|
|
<\initial>
|
|
|
|
|
|
<\collection>
|
|
|
|
|
|
<associate|language|portuguese>
|
|
|
|
|
|
</collection>
|
2013-10-10 20:56:20 +08:00
|
|
|
|
</initial>
|
