[fmcmon]: https://fmc.imd.ufrn.br/ [aulabooks]: https://fmc.imd.ufrn.br/aulabook/ [fmcbook]: https://tsouanas.org/fmcbook Desenvolvido pelo projeto [Monitoría FMCn][fmcmon]. Veja mais detalhes no site do projeto: fmc.imd.ufrn.br. Veja também os outros [AulaBook™][aulabooks]. ## 2023-09-28 (IM)* Vamos 🎮︎? TBA. <!-- Vamos 🎮︎? Baixe o [Lean 4](https://lean-lang.org/) e complete o jogo [ListNatGame](https://lcc.ufrn.edu.br/~isaacmsl/ListNatGame.lean). --> ## 2023-09-27 (DT)* Pendente. <!-- Demonstre as seguintes proposições sobre conjuntos: - $(\forall A,B)[B-A = B\cap A^c]$ - $(\forall A,B,C)[A\cup(B\cap C)=(A\cup B)\cap (A\cup C)]$ --> ## 2023-09-26 (DT)* Pendente. <!-- -Demonstre que os subgrupos de $(Z; +)$ são fechados pelo mdc. -Demonstre que para todo $H ≤ (Z; +)$, existe $t \in Z$ tal que $H = tZ$. --> ## 2023-09-25 (IG) Definição de M.D.C nos inteiros. Vamos demonstrar que para quaisquer $a, b$ se $a$ divide $b$ então o mdc de $a$ e $b$ é o $a$. O mdc de $a, b$ é igual ao mdc de $a, (a+b)$. ## 2023-09-21 (IM) Considere o $(A; ♡, κ)$ com a especificação seguinte, e demonstre que não tem como demonstrar a comutatividade de (♡), nem como refutá-la. $(♡) : A × A → A$ $κ : A$ (Ass) : $(∀a,b,c)[ (a\ ♡\ b)\ ♡\ c = a\ ♡\ (b\ ♡\ c) ]$ (IdR) : $(∀a)[ a\ ♡\ κ = a ]$ *Dicas:* - Modelo que satisfaz (♡)-comutatividade & modelo que não satisfaz (♡)-comutatividade; - Seja econômico nos conjuntos, isto é, busque sempre os modelos com menos elementos possíveis; - Em modelos maiores tente aproveitar um padrão na definição da (♡) com poucos elementos conhecidos. ## 2023-09-20 (DT) - Defina a $length$ e a $++$ para listas de Nats. - Demonstre que para todas $l$, $l'$ listas de naturais, temos $length(l++l')=length(l)+length(l')$. ## 2023-09-19 (DT) Demonsre que a $\leq$ definida nos naturais é total. ## 2023-09-18 (IG) (IDMa) Aritmética modular. Definição congruência modular. $\equiv_m$ é uma relação de equivalência. ## 2023-09-13 (DT) (IDMa) Partindo dos 3 axiomas mutiplicativos (associatividade, comutatividade, identidade), 4 axiomas aditivos (associatividade, comutatividade, identidade, inversos) e do axioma da distributividade, demonstre que as seguintes são equivalentes: - $(\forall a, b: Int)[ab=0 \implies a=0 \ ou \ b=0 ]$ - $(\forall a, b, c: Int)[ca=cb \implies c=0 \ ou \ a=b]$ Mostre os lemmas necessários. ## 2023-09-12 (DT) (IRI) A partir das definições recursivas de adição, multiplicação e exponenciação para os naturais, demonstre as seguintes proposições: - $(\forall a, x, y: Nat)[a^{x+y} = a^{x}a^y]$ - $(\forall m: Nat)[m+0=0+m]$ - $(\forall a,b: Nat)[Sa+b=a+Sb]$ - $(\forall a,b: Nat)[a+b=b+a]$ ## 2023-09-11 (DT) Seja $\to$ uma relação no conjunto $\mathbb N$ definida pela: - $a \to b \iff a + 1 = b$ Demonstre que $(\forall a,b,n \in \mathbb N)[a \to^n b \implies a + n = b]$. **Definições**: - $x(R \diamond S)y \iff (\exists w)[x \mathrel R w \mathbin\& w \mathrel S y]$ - Definimos a relação $R^n$ recursivamente pelas: - $R^0 = (=)$ - $R^{n + 1} = R \diamond R^n$ **Exercício extra**: Demonstre que para todo $n$ natural maior ou igual a $1$, temos $3^n-2$ ímpar. ## 2023-09-06 (DT) Demonstre que para todos naturais $n, x, y$ temos que ${(n^x)}^y=n^{xy}$. ## 2023-09-05 (DT) Definimos a relação de ordem $\leq$ nos naturais pela: - $n \leq m \iff (\exists k ∈ N)[ n + k = m ]$ a) Demonstre a seguinte proposição: $(\forall n,m)[n \leq Sm \iff n\leq m$ ou $n=Sm ].$ b) O que a $\leq$ precisa para ser considerada realmente uma ordem? c) De que outra maneira poderia definir uma ordem nos naturais? Demonstre a "reflexividade da relação" para as duas definições propostas e compare as técnicas usadas para demonstrar em cada um dos casos. ## 2023-09-05 (DT) Demonstre que para todo natural $n$ temos $(F_{n+1},F_{n})=1$. - Definição: - $F_0 = 1$ - $F_1 = 1$ - $F_{n + 2} = F_{n + 1} + F_n$ ## 2023-09-05 (IM) Funções. Sejam $n$ natural, e $f, g$ endomapas no $\mathbb{Z}$. Demonstre ou refute: $(f \circ g)^n = f^n \circ g^n$. ## 2023-09-01 (IG) Trabalhando com a unicidade. Definição de $\exists!$. Seja $G$ um grupo (que raios é um grupo??), demonstre a unicidade do elemento neutro. ## 2023-08-30 (DT) Seja $A$ um conjunto estruturado e $*$ uma operação binária e associativa no $A$, com identidade $u$. Demonstre que as seguintes definições de iterações são equivalentes: Definição 1: - $a^{*0} = u$  - $a^{*n+1} = a * a^{*n}$ Definição 2: - $a_{*0} = u$ - $a_{*n+1} = a_{*n} * a$ Perceba contextos onde essa estrutura (associatividade e identidade da operação) é respeitada e portando as definições para iterações continuam equivalentes. ## 2023-08-29 (DT) Demonstre que para todos $A, B, C$ conjuntos, se $A$ habitado e $A \subseteq B-C$ então $B\not\subseteq C$. ## 2023-08-29 (IM) Relações. Seja $m : Int$. Demonstre que a $(≡_m) : Int \times Int \to Prop$ é uma relação de equivalência, isto é: - $(≡_m)$ é reflexiva; - $(≡_m)$ é transitiva; e - $(≡_m)$ é simétrica. Por fim, demonstre que $(≡_m)$ é uma congruência nos inteiros. Sejam $a, b : Int$. - $(\forall x)[a + x ≡_m b + x]$ (garante (+)) - $(\forall x)[ax ≡_m bx]$ (garante (∙)) - $-a ≡_m -b$ (garante (-)) ## 2023-08-28 (DT) Dada a definição recursiva  de $\alpha$, demonstre que para todo $x \in \mathbb{N}$ temos que $\alpha(1,x)=x+2$. Definição de $\alpha$: - [A1] $\ \ \alpha(0,x) = x+1$ - [A2] $\ \ \alpha(n+1,0) = \alpha(n,1)$ - [A3] $\ \ \alpha(n+1, x+1) = \alpha(n, \alpha(n+1,x))$ ## 2023-08-25 (IG) Os inteiros e sua interface. $\theta. \text{Unicidade dos inversos}$ $(\forall a, b : Int)[a+b = 0 \implies b = -a]$ ## 2023-08-24 (IM) Introdução às relações. Demonstre que a $(|) : Int \times Int \to Prop$ é uma pré-ordem. ## 2023-08-22 (DT) Seja $f: A \to A$ e $x \in A$, demonstre que um $x$ é um fixpoint da $f$ sse para todo $n \in \mathbb{N}$, $x$ é um fixpoint da $f^n$. ## 2023-08-22 (DT) Para todo $a, b, c \in \mathbb{Z}$, se $a\ |\ b$ e $a\ |\ c$ então $a\ |\ b + c$. ## 2023-08-22 (IM) Indução. Nos naturais, definiremos as operações (+), (∙) e demonstraremos as seguintes: - (+) é associativa - (∙) é comutativa ## ~~2023-08-18 (IG)~~ Demonstre a regra de "passar para o outro lado": $$(\forall a, b, c : \text{Int})[a + b = c \iff a = c - b]$$ ## 2023-08-17 (IM) Vamos brincar de indução. Demonstre as seguintes: - "A soma de Gauss" vale. Isto é, para todo natural $n$, $\sum\limits_{i=1}^{n}i = \dfrac{n(n+1)}{2}$; - Todo inteiro maior ou igual à 8 pode ser escrito da forma 3x + 5y.