Sign in to confirm you’re not a bot
This helps protect our community. Learn more

bom dia

0:00

Θ. Teorema binomial

0:36

Θ. O sonho do calouro

4:22

Θ. "Fermatinho" de Fermat

10:28

demonstração de Euler, por indução

14:32

a reciproca de Fermat é válida?

18:30

A hipotese (errada) "chinesa"

22:30

Enganadores do Fermatinho: Carmichael

26:00

Teste de primalidade: Fermat vs Wilson

27:14

Teste de Fermat

31:24

Se tem ilegais, pelo menos a metade é ilegal

35:18

injetividade

52:17

Como gerar primos

1:02:30

Q: Na vida real, 1000 digitos é considerados?

1:19:58

Sobre o PNT (Prime Number Theorem)

1:20:44

Q: faz sentido dizer que os primos são irregulares?

1:24:11

Sistemas de resíduos módulo m: completos e reduzidos

1:28:04

A função totiente de Euler

1:36:09
FMC1-IDMa, 2022-10-21: Os inteiros (16)
3Likes
118Views
2022Oct 21
Fundamentos matemáticos para computação 1 (FMC1) Introdução a Demonstração Matemática: a teoria dos números inteiros (IDMa) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 ERRATA [00h59m04s] Na parte de injetividade eu buguei: recebendo um legal ℓ, o ilegal associado é o qℓ, não o (qℓ)ᵖ⁻¹ que acabei escrevendo (e acreditando :P) no quadro na aula. Atenção: a proposição «qℓ é ilegal» significa algo sobre o (qℓ)ᵖ⁻¹: que «(qℓ)ᵖ⁻¹ ≡ₚ 1». Mas eu acabei misturando os dois e escrevi «(qℓ)ᵖ⁻¹ é ilegal», que significa que o ((qℓ)ᵖ⁻¹)ᵖ⁻¹ ≡ₚ 1. Nada a ver com que acontece aqui! Corrigindo isso, a injetividade acaba sendo bem mais fácil. qℓ ≡ₚ qℓ' ⇒ ℓ ≡ₚ ℓ' (pois o q é cancelável aqui---por quê?) [01h19m58s] «Hoje em dia dá pra ver com 256 digitos»: isso dava pra ver baaaaack in the day; hoje em dia costumam ser 4096 mesmo, pois computadores atuais conseguem "quebrar" chaves curtas (curtas: com 256 bits). [01h23m54s] Falei «tende» em vez de «é igual ao». Os inteiros [00:00:00] bom dia [00:00:36] * Θ. Teorema binomial [00:04:22] * Θ. O sonho do calouro [00:10:28] Θ. "Fermatinho" de Fermat [00:14:32] * demonstração de Euler, por indução [00:18:30] * a reciproca de Fermat é válida? [00:22:30] A hipotese (errada) "chinesa" [00:26:00] Enganadores do Fermatinho: Carmichael [00:27:14] Teste de primalidade: Fermat vs Wilson [00:31:24] Teste de Fermat [00:35:18] * Se tem ilegais, pelo menos a metade é ilegal [00:52:17] * * injetividade [01:02:30] Como gerar primos [01:19:58] Q: Na vida real, 1000 digitos é considerados? [01:20:44] Sobre o PNT (Prime Number Theorem) [01:24:11] Q: faz sentido dizer que os primos são irregulares? [01:28:04] Sistemas de resíduos módulo m: completos e reduzidos [01:36:09] A função totiente de Euler

Follow along using the transcript.

thanosmath

949 subscribers
1

FMC1-Intro-IDMa, 2022-09-02: Introdução à Linguagem de Demonstrações (5); Os inteiros (1)

thanosmath
2

FMC1-IDMa, 2022-09-05: Os inteiros (2) [bad audio]

thanosmath
3

FMC1-IDMa, 2022-09-09: Os inteiros (3) [bad audio]

thanosmath
4

FMC1-IDMa, 2022-09-12: Os inteiros (4)

thanosmath
5

FMC1-IDMa, 2022-09-14: Os inteiros (5)

thanosmath
6

FMC1-IDMa, 2022-09-16: Os inteiros (6)

thanosmath
7

FMC1-IDMa, 2022-09-19: Os inteiros (7)

thanosmath
8

FMC1-IDMa, 2022-09-21: Os inteiros (8)

thanosmath
9

FMC1-IDMa, 2022-09-23: Os inteiros (9)

thanosmath
10

FMC1-IDMa, 2022-09-26: Os inteiros (10)

thanosmath
11

FMC1-IDMa, 2022-09-28: Os inteiros (11)

thanosmath
12

FMC1-IDMa, 2022-09-30: Os inteiros (12)

thanosmath
13

FMC1-IDMa, 2022-10-05: Os inteiros (13)

thanosmath
14

FMC1-IDMa, 2022-10-07: Os inteiros (14) [no audio]

thanosmath
15

FMC1-IDMa, 2022-10-17: Os inteiros (15)

thanosmath

FMC1-IDMa, 2022-10-21: Os inteiros (16)

thanosmath
17

FMC1-IDMa, 2022-10-24: Os inteiros (17)

thanosmath
18

FMC1-IDMa, 2022-10-26: Os inteiros (18) [bad vídeo]

thanosmath