sets.tex by GGG710 · Pull Request #11 · jonasagx/infdesc

GGG710 · 2024-04-04T04:05:47Z

No description provided.

jonasagx · 2024-04-05T07:14:53Z

@GGG710 a compilacao ta falhando com o mesmo erro:

/book/sets/sets.tex:33: LaTeX Error: Unicode character  (U+200B)
               not set up for use with LaTeX.

jonasagx · 2024-04-05T07:19:05Z

 \end{exercise}

-We will avoid referring explicitly to the universal set $\mathcal{U}$ whenever possible, but it will always be there in the background. This is convenient because we no longer need to worry about the domain of discourse of free variables (as we did in \Cref{defPredicate}), so that we can abbreviate `$\forall x \in \mathcal{U},\, p(x)$' by `$\forall x,\, p(x)$', and `$\exists x \in \mathcal{U},\, p(x)$' by `$\exists x,\, p(x)$'.
+Evitaremos nos referir explicitamente ao conjunto universal $\mathcal{U}$ sempre que possível, mas ele sempre estará lá em segundo plano. Isto é conveniente porque não precisamos mais nos preocupar com o domínio de discurso das variáveis livres (como fizemos em \Cref{defPredicate}), para que possamos abreviar `$\forall x \in \mathcal{U},\, p(x)$' por `$\forall x,\, p(x)$', and `$\exists x \in \mathcal{U},\, p(x)$' by `$\exists x,\, p(x)$'.


faltou traduzir and

jonasagx · 2024-04-05T07:19:45Z

 \item $\forall x \in X,\, p(x)$ is logically equivalent to $\forall x,\, (x \in X \Rightarrow p(x))$; and
 \item $\exists x \in X,\, p(x)$ is logically equivalent to $\exists x,\, (x \in X \wedge p(x))$.


Essas duas linhas nao foram traduzidas

jonasagx · 2024-04-05T07:21:36Z


 \textbf{Lists.}\index{list notation}
-One way is simply to provide a \textbf{list} of the elements of the set. To specify that the list denotes a set, we enclose the list with $\{$curly brackets$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\textbackslash{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. For example, the following is a specification of a set $X$, whose elements are the natural numbers between $0$ and $5$ (inclusive):
+Uma maneira é simplesmente fornecer uma \textbf{lista} dos elementos do conjunto. Para especificar que a lista denota um conjunto, colocamos a lista entre $\{$colchetes$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\ barra de texto{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. Por exemplo, o seguinte é uma especificação de um conjunto $X$, cujos elementos são os números naturais entre $0$ e $5$ (inclusive):


Suggested change

Uma maneira é simplesmente fornecer uma \textbf{lista} dos elementos do conjunto. Para especificar que a lista denota um conjunto, colocamos a lista entre $\{$colchetes$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\ barra de texto{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. Por exemplo, o seguinte é uma especificação de um conjunto $X$, cujos elementos são os números naturais entre $0$ e $5$ (inclusive):

Uma maneira é simplesmente fornecer uma \textbf{lista} dos elementos do conjunto. Para especificar que a lista denota um conjunto, colocamos a lista entre $\{$colchetes$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\textbackslash{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. Por exemplo, o seguinte é uma especificação de um conjunto $X$, cujos elementos são os números naturais entre $0$ e $5$ (inclusive):

jonasagx · 2024-04-05T07:22:18Z


 \textbf{Lists.}\index{list notation}
-One way is simply to provide a \textbf{list} of the elements of the set. To specify that the list denotes a set, we enclose the list with $\{$curly brackets$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\textbackslash{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. For example, the following is a specification of a set $X$, whose elements are the natural numbers between $0$ and $5$ (inclusive):
+Uma maneira é simplesmente fornecer uma \textbf{lista} dos elementos do conjunto. Para especificar que a lista denota um conjunto, colocamos a lista entre $\{$colchetes$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\ barra de texto{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. Por exemplo, o seguinte é uma especificação de um conjunto $X$, cujos elementos são os números naturais entre $0$ e $5$ (inclusive):


set notation na frase pode ser traduzido

jonasagx · 2024-04-05T07:23:45Z

+Uma maneira é simplesmente fornecer uma \textbf{lista} dos elementos do conjunto. Para especificar que a lista denota um conjunto, colocamos a lista entre $\{$colchetes$\}$\nindex{set}{$\{ \cdots \}$}{set notation} \inlatex{\{,\ barra de texto{}\}}\lindexmmc{\{\dots\textbackslash{}\}}{$\{\dots\}$}. Por exemplo, o seguinte é uma especificação de um conjunto $X$, cujos elementos são os números naturais entre $0$ e $5$ (inclusive):
 \[ X = \{ 0, 1, 2, 3, 4, 5 \} \]

-\textbf{Implied lists.}\index{implied list notation}


implied list notation pode ser traduzido

jonasagx · 2024-04-05T07:25:32Z

-\textbf{Implied lists.}\index{implied list notation}
-Sometimes a list might be too long to write out---maybe even infinite---or the length of the list might depend on a variable. In these cases it will be convenient to use an \textbf{implied list}, in which some elements of the list are written, and the rest are left implicit by writing an ellipsis `$\dots$' \inlatex{dots}\lindexmmc{dots}{$\dots$}. For example, the statement
+\textbf{Listas implícitas.}\index{implied list notation}
+Às vezes, uma lista pode ser muito longa para ser escrita — talvez até infinita — ou o comprimento da lista pode depender de uma variável. Nestes casos será conveniente usar uma \textbf{lista implícita}, na qual alguns elementos da lista são escritos, e o resto fica implícito escrevendo reticências `$\dots$' \inlatex{pontos}\lindexmmc {pontos}{$\pontos$}. Por exemplo, a afirmação


Suggested change

Às vezes, uma lista pode ser muito longa para ser escrita — talvez até infinita — ou o comprimento da lista pode depender de uma variável. Nestes casos será conveniente usar uma \textbf{lista implícita}, na qual alguns elementos da lista são escritos, e o resto fica implícito escrevendo reticências `$\dots$' \inlatex{pontos}\lindexmmc {pontos}{$\pontos$}. Por exemplo, a afirmação

Às vezes, uma lista pode ser muito longa para ser escrita — talvez até infinita — ou o comprimento da lista pode depender de uma variável. Nestes casos será conveniente usar uma \textbf{lista implícita}, na qual alguns elementos da lista são escritos, e o resto fica implícito escrevendo reticências `$\dots$' \inlatex{pontos}\lindexmmc {pontos}{$\dots $}. Por exemplo, a afirmação

jonasagx · 2024-04-05T07:26:36Z

+\subsubsection*{Conjuntos de energia}
 \begin{tldrlist}
-\tldritem{defPowerSet} The \textit{power set} of a set $X$ is the set of all subsets of $X$.
+\tldritem{defPowerSet} O \textit{conjunto de potências} de um conjunto XX é o conjunto de todos os subconjuntos de XX.


Suggested change

\tldritem{defPowerSet} O \textit{conjunto de potências} de um conjunto XX é o conjunto de todos os subconjuntos de XX.

\tldritem{defPowerSet} O \textit{conjunto de potências} de um conjunto $X$ é o conjunto de todos os subconjuntos de XX.

jonasagx · 2024-04-05T07:27:30Z

-\tldritem{defInhabited} A set $X$ is \textit{inhabited} if it has at least one element; otherwise, it is \textit{empty}.
-\tldritem{thmEmptySetIsUnique} There is a unique empty set, denoted by $\varnothing$ or $\{ \}$.
+\tldritem{defInhabited} Um conjunto $X$ é \textit{habitado} se tiver pelo menos um elemento; caso contrário, está \textit{vazio}.
+\tldritem{thmEmptySetIsUnique} Existe um conjunto vazio único, denotado por $\varnothing$ or $\{ \}$.


Suggested change

\tldritem{thmEmptySetIsUnique} Existe um conjunto vazio único, denotado por $\varnothing$ or $\{ \}$.

\tldritem{thmEmptySetIsUnique} Existe um conjunto vazio único, denotado por $\varnothing$ ou $\{ \}$.

\dots is a latex function and it shouldn’t be translated

jonasagx · 2024-05-27T06:13:18Z


 \begin{exercise}
-For each of the following illustrations, find the interval that it depicts. A filled circle $\bullet$ indicates that an end-point is included in the interval, whereas a hollow circle $\circ$ indicates that an end-point is not included in the interval.
+Para cada uma das ilustrações a seguir, encontre o intervalo que ela representa. Um círculo preenchido \bullet indica que um ponto final está incluído no intervalo, enquanto um círculo vazio \circ indica que um ponto final não está incluído no intervalo.


Suggested change

Para cada uma das ilustrações a seguir, encontre o intervalo que ela representa. Um círculo preenchido \bullet indica que um ponto final está incluído no intervalo, enquanto um círculo vazio \circ indica que um ponto final não está incluído no intervalo.

Para cada uma das ilustrações a seguir, encontre o intervalo que ela representa. Um círculo preenchido $\bullet$ indica que um ponto final está incluído no intervalo, enquanto um círculo vazio $\circ$ indica que um ponto final não está incluído no intervalo.

Due to copy-pasta the symbols and their latex name are mixed.

jonasagx · 2024-05-28T14:54:19Z

+Então devemos ter $a \in [-1,1]$, como requerido.

-\item ($\supseteq$) Let $a \in [-1,1]$. Then $-1 \le a \le 1$, so $|a| \le 1$, and hence $a^2 = |a|^2 \le 1$, so that $a \in \{ x \in \mathbb{R} \mid x^2 \le 1 \}$, as required.
+\item ($\supseteq$) Seja $a \in [-1,1]$. Então $-1 \le a \le 1$, então $|a| \le 1$, e desde então $a^2 = |a|^2 \le 1$, para que $a \in \{ x \in \mathbb{R} \mid x^2 \le 1 \}$, como requerido.


Essa linha tem símbolos especiais

jonasagx · 2024-05-28T14:54:54Z


 \begin{exercise}
-Prove that $\{ x \in \mathbb{R} \mid x^2 < x \} = (0,1)$.
+Prove que {x∈R∣x2<x}=(0,1)\{ x \in \mathbb{R} \mid x^2 < x \} = (0,1).


Símbolos especiais

sets.tex

dcd68e7

jonasagx reviewed Apr 5, 2024

View reviewed changes

GGG710 and others added 6 commits May 23, 2024 18:41

sets.tex

61b8b04

Remove zero-width space

441256e

Remove wrong latex function

d7d6f2d

\dots is a latex function and it shouldn’t be translated

Remove zero-width space

56d3fd5

Remove the last two zero-width spaces

0234771

Remove special UTF-8 symbols

6ff3f37

jonasagx reviewed May 27, 2024

View reviewed changes

jonasagx and others added 3 commits May 26, 2024 23:16

keep $$ for symbol

c0bdbd5

Work in progress - fix math notation

1c95f23

Due to copy-pasta the symbols and their latex name are mixed.

sets.tex

c8022c7

jonasagx reviewed May 28, 2024

View reviewed changes

GGG710 and others added 8 commits May 28, 2024 15:43

sets.tex

6b08d9a

Removing duplicate math code

3e272da

Fixing more math blocks

46d3f8f

Fix math notation

dd277b0

Update sets.tex

a63c780

Update sets.tex

ccbabfe

Update sets.tex

f205584

Update sets.tex

90717a4

jonasagx reviewed Jun 2, 2024

View reviewed changes

Comment thread book/sets/sets.tex Outdated

Comment thread book/sets/sets.tex Outdated

jonasagx added 2 commits June 2, 2024 12:44

Update sets.tex

af14d3e

Update sets.tex

ac43c80

jonasagx approved these changes Jul 4, 2024

View reviewed changes

jonasagx merged commit 990349e into main Jul 4, 2024

jonasagx deleted the GGG710-patch-2 branch July 4, 2024 17:49

		\item $\forall x \in X,\, p(x)$ is logically equivalent to $\forall x,\, (x \in X \Rightarrow p(x))$; and
		\item $\exists x \in X,\, p(x)$ is logically equivalent to $\exists x,\, (x \in X \wedge p(x))$.

	Às vezes, uma lista pode ser muito longa para ser escrita — talvez até infinita — ou o comprimento da lista pode depender de uma variável. Nestes casos será conveniente usar uma \textbf{lista implícita}, na qual alguns elementos da lista são escritos, e o resto fica implícito escrevendo reticências `$\dots$' \inlatex{pontos}\lindexmmc {pontos}{$\pontos$}. Por exemplo, a afirmação
	Às vezes, uma lista pode ser muito longa para ser escrita — talvez até infinita — ou o comprimento da lista pode depender de uma variável. Nestes casos será conveniente usar uma \textbf{lista implícita}, na qual alguns elementos da lista são escritos, e o resto fica implícito escrevendo reticências `$\dots$' \inlatex{pontos}\lindexmmc {pontos}{$\dots $}. Por exemplo, a afirmação

	\tldritem{defPowerSet} O \textit{conjunto de potências} de um conjunto XX é o conjunto de todos os subconjuntos de XX.
	\tldritem{defPowerSet} O \textit{conjunto de potências} de um conjunto $X$ é o conjunto de todos os subconjuntos de XX.

	\tldritem{thmEmptySetIsUnique} Existe um conjunto vazio único, denotado por $\varnothing$ or $\{ \}$.
	\tldritem{thmEmptySetIsUnique} Existe um conjunto vazio único, denotado por $\varnothing$ ou $\{ \}$.

	Para cada uma das ilustrações a seguir, encontre o intervalo que ela representa. Um círculo preenchido \bullet indica que um ponto final está incluído no intervalo, enquanto um círculo vazio \circ indica que um ponto final não está incluído no intervalo.
	Para cada uma das ilustrações a seguir, encontre o intervalo que ela representa. Um círculo preenchido $\bullet$ indica que um ponto final está incluído no intervalo, enquanto um círculo vazio $\circ$ indica que um ponto final não está incluído no intervalo.

Conversation

GGG710 commented Apr 4, 2024

Uh oh!

jonasagx commented Apr 5, 2024

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants