Sign in to confirm you’re not a bot

This helps protect our community. Learn more

Sign in

FMC2-CFR2, 2023-07-14: (2.16) ZF; Ordens

thanosmath

thanosmath

1.01K subscribers

Subscribe

Subscribed

3

Share

Save

83 views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE

83 views • Jul 14, 2023 • FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE

Fundamentos matemáticos para computação 2 (FMC2) Conjuntos, Funções, Relações 2023.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2023.1 ZF [00:00:00] Bom dia / meta [00:00:28] Naturais, recursão, indução [00:11:57] Construindo os inteiros [00:36:07] Construindo os racionais [00:41:34] Construindo os reais (Cantor, Dedekind) [00:55:35] Q: homomorfismos, isomorfismos, unicidades [00:57:45] ZF8. Replacement (scheme) [01:01:55] ZF9. Foundation % Respiração [01:16:33] (respiração) Order [01:17:20] P(r)osets gratuitos e construções [01:17:55] poset oposto [01:19:53] poset discreto [01:20:34] poset flat [01:21:14] lift de poset [01:30:44] desafio: união disjunta, produto, espaço de funções, etc. [01:33:08] plicker bobo % ERRATA [00h41m28s] Falei «nem Regulation, nem Foundation»; eu quis dizer «nem Replacement, nem Foundation». Obs: «Regularity» é apenas um outro nome para o axioma «Foundation». ...more

...more

Comments 1

Top comments

Newest first

Chapters

Bom dia / meta

0:00

Naturais, recursão, indução

0:28

Construindo os inteiros

11:57

Construindo os racionais

36:07

Construindo os reais (Cantor, Dedekind)

41:34

Q: homomorfismos, isomorfismos, unicidades

55:35

ZF8. Replacement (scheme)

57:45

ZF9. Foundation

1:01:55

respiração

1:16:33

P(r)osets gratuitos e construções

1:17:20

poset oposto

1:17:55

poset discreto

1:19:53

poset flat

1:20:34

lift de poset

1:21:14

desafio: união disjunta, produto, espaço de funções, etc.

1:30:44

plicker bobo

1:33:08

Sync to video time

Description

FMC2-CFR2, 2023-07-14: (2.16) ZF; Ordens

3Likes

83Views

2023Jul 14

Fundamentos matemáticos para computação 2 (FMC2) Conjuntos, Funções, Relações 2023.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2023.1 ZF [00:00:00] Bom dia / meta [00:00:28] Naturais, recursão, indução [00:11:57] Construindo os inteiros [00:36:07] Construindo os racionais [00:41:34] Construindo os reais (Cantor, Dedekind) [00:55:35] Q: homomorfismos, isomorfismos, unicidades [00:57:45] ZF8. Replacement (scheme) [01:01:55] ZF9. Foundation % Respiração [01:16:33] (respiração) Order [01:17:20] P(r)osets gratuitos e construções [01:17:55] poset oposto [01:19:53] poset discreto [01:20:34] poset flat [01:21:14] lift de poset [01:30:44] desafio: união disjunta, produto, espaço de funções, etc. [01:33:08] plicker bobo % ERRATA [00h41m28s] Falei «nem Regulation, nem Foundation»; eu quis dizer «nem Replacement, nem Foundation». Obs: «Regularity» é apenas um outro nome para o axioma «Foundation».

Chapters

View all

Bom dia / meta

0:00

Naturais, recursão, indução

0:28

Construindo os inteiros

11:57

Construindo os racionais

36:07

Transcript

Follow along using the transcript.

Show transcript

thanosmath

1.01K subscribers

Videos

About

Transcript

1:45:02

FMC2, 2023-07-17: CFR2 (2.17) & IEA (19): Reticulados

thanosmath

172 views • 2 years ago

1:44:21

FMC2-CFR2-2025.1 (10a, 10c): Fundamentos; Teoria dos conjuntos ZF

thanosmath

21 views • 1 month ago

1:30:01

FMC2-CFR2-2025.1 (1): Relações

thanosmath

34 views • 2 months ago

1:46:18

FMC2, 2023-03-08: Intro, prés, e meta

thanosmath

1K views • 2 years ago