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

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

thanosmath
949 subscribers
<__slot-el>
<__slot-el>
178 views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE
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 Os inteiros [00:00:00] bom dia / recap [00:05:26] Conjuntos bem-ordenados; conjuntos habitados [00:35:11] O último axioma: (Z-PBO) o princípio da boa ordem [00:50:30] Θ. Não existem inteiros estritamente entre o 0 e 1. [01:11:31] Q: O que é (⊆), vazio, habitado..? [01:15:28] Q: Cadê o fim da demonstração? [01:18:01] Como que usamos o PBO mesmo? [01:19:00] Sobre indução [01:20:40] * Indução (Set form) [01:27:36] * * Q: (⊆) vs (⊂) vs (⊊)? [01:29:20] * * Q: qual a difença entre inferência e implicação? [01:33:55] * * (cont.) [01:35:56] * Indução (Predicate form) [01:38:48] * Indução (Com duas bases) [01:40:28] Os princípios da indução como teoremas para os inteiros ...more
...more

bom dia / recap

0:00

Conjuntos bem-ordenados; conjuntos habitados

5:26

O último axioma: (Z-PBO) o princípio da boa ordem

35:11

Θ. Não existem inteiros estritamente entre o 0 e 1.

50:30

Q: O que é (⊆), vazio, habitado..?

1:11:31

Q: Cadê o fim da demonstração?

1:15:28

Como que usamos o PBO mesmo?

1:18:01

Sobre indução

1:19:00

Indução (Set form)

1:20:40

Q: (⊆) vs (⊂) vs (⊊)?

1:27:36

Q: qual a difença entre inferência e implicação?

1:29:20

cont.

1:33:55

Indução (Predicate form)

1:35:56

Indução (Com duas bases)

1:38:48

Os princípios da indução como teoremas para os inteiros

1:40:28
FMC1-IDMa, 2022-09-16: Os inteiros (6)
6Likes
178Views
2022Sep 16
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 Os inteiros [00:00:00] bom dia / recap [00:05:26] Conjuntos bem-ordenados; conjuntos habitados [00:35:11] O último axioma: (Z-PBO) o princípio da boa ordem [00:50:30] Θ. Não existem inteiros estritamente entre o 0 e 1. [01:11:31] Q: O que é (⊆), vazio, habitado..? [01:15:28] Q: Cadê o fim da demonstração? [01:18:01] Como que usamos o PBO mesmo? [01:19:00] Sobre indução [01:20:40] * Indução (Set form) [01:27:36] * * Q: (⊆) vs (⊂) vs (⊊)? [01:29:20] * * Q: qual a difença entre inferência e implicação? [01:33:55] * * (cont.) [01:35:56] * Indução (Predicate form) [01:38:48] * Indução (Com duas bases) [01:40:28] Os princípios da indução como teoremas para os inteiros

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
▶

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
16

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