# AulaBook 2024.2

[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 também os outros [AulaBook™][aulabooks].

## 2024-10-04 (LA)
A relação de ( | )
- 1 | a
- ( | ).reflexividade
- ( | ).transitividade

## 2024-10-08 (JL)
Sejam $f : α \to α$, $a : α$, demonstre:
$a$ é um fixpoint da $f$ se $∀n : Nat$, $a$ é um fixpoint da $fⁿ$.

## 2024-10-15 (JL)
Seja $R$ uma relação binária num conjunto $A$, demonstre que todas as proposições abaixo são equivalentes entre si.
- $R$ é simétrica
- $R \subseteq R^∂$
- $R = R^∂$

## 2024-10-18 (LA)
Nos naturais, defina as (+), ($\cdot$) e demonstre: Os Nats têm uma ($\cdot$)-identidade

## 2024-10-22 (JL)
Sejam $a,b$ inteiros positivos, demonstre:
Se $a\;|\;b$ , então $a \leq b$.

## 2024-10-25 (LA)
Defina as:
- min : Nat × Nat → Nat
- max : Nat × Nat → nat

e demonstre:
- min(n, m) = max(n, m) $\iff$ n = m

## 2024-10-29 (JL)
Defina a $reverse$ : $List\; \alpha \to List\; \alpha\;$ e demonstre:
($\forall xs$)[$\;reverse\; (reverse\; xs) = xs\;$]

## 2024-11-05 (JL)
Sejam $m, a, b$ : Int, seja $(\sim_m)$ a relacao definida pela:
$\quad \quad \quad \quad \quad \quad a \sim_m b \overset{\text {def}}{\Longleftrightarrow} m\;|\;b - a$,
Mostre que a $(\sim_m)$ é uma relação de equivalência.
## 2024-11-08 (LA)

Demonstre:
- $\alpha \cong 1 \to \alpha$
- a ($\cong$) é uma relação de equivalência

## 2024-11-14 (JL)
Seja $\alpha \xrightarrow{f} \beta$.
Demonstre: $f\;$ inj. $\iff$ $f\;$ L-can.

## 2024-11-19 (JL)
Defina as min, len, zip e demonstre:
$(\forall xs :$ List$\;\alpha)(\forall ys :$ List $\beta)[$len $($zip $xs \; ys)$ = min $($len $xs)$ $($len $ys)]$.