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

chain, antichain

0:00

exercício: downsets dos N, Z, Q, R.

4:00

ordinais de von Neumann como posets

18:58

strings (finitos ou infinitos)

28:28

espaços de funções parciais como posets

36:25

P×Q

39:49

Pᴬ, ou seja, (A→P) com pointwise

56:38

por que «preordem»?

1:02:00

a categoria POS dos posets

1:09:04

order-preserving (monótona); -embedding; -isomorfísmo

1:11:35

critérion de embédding (e logo de isomorfismo)

1:16:59

definição categórica de iso?

1:26:10

sup/inf, lub/glb, join/meet

1:27:37

duas maneiras de faltar o join ou o meet

1:31:20

ache os joins: a∨b, b∨c

1:35:17
FMC2, 2019-06-12: Teoria da ordem (2)
7Likes
99Views
2019Jun 13
Fundamentos matemáticos para computação 2 (FMC2) Semestre 2019.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2019.1 Teoria da ordem
  • chain, antichain [00:00:00]
  • exercício: downsets dos N, Z, Q, R. [00:04:00]
  • ordinais de von Neumann como posets [00:18:58]
  • strings (finitos ou infinitos) [00:28:28]
  • espaços de funções parciais como posets [00:36:25]
  • P×Q [00:39:49]
  • * com (anti)lexicográfica
  • * com componentwise
  • * * como desenhar o Hasse dela
  • Pᴬ, ou seja, (A→P) com pointwise [00:56:38]
  • por que «preordem»? [01:02:00]
  • a categoria POS dos posets [01:09:04]
  • order-preserving (monótona); -embedding; -isomorfísmo [01:11:35]
  • critérion de embédding (e logo de isomorfismo) [01:16:59]
  • definição categórica de iso? [01:26:10]
  • sup/inf, lub/glb, join/meet [01:27:37]
  • duas maneiras de faltar o join ou o meet [01:31:20]
  • ache os joins: a∨b, b∨c [01:35:17]

Follow along using the transcript.

thanosmath

961 subscribers

FMC2 2019.1 Fundamentos Matemáticos para Computação 2
1

FMC2, 2019-02-13: Intro

thanosmath
2

FMC2, 2019-02-15: Linguagens (1)

thanosmath
3

FMC2, 2019-02-18: Erros; Linguagens (2); Demonstrações (1)

thanosmath
4

FMC2, 2019-02-20: Demonstrações (2)

thanosmath
5

FMC2, 2019-02-22: Demonstrações (3); Naturais, recursão, indução (1)

thanosmath
6

FMC2, 2019-02-25: Naturais, recursão, indução (2)

thanosmath
7

FMC2, 2019-02-27: Naturais, recursão, indução (3); Conjuntos (1)

thanosmath
8

FMC2, 2019-03-01: Conjuntos (2)

thanosmath
9

FMC2, 2019-03-08: Conjuntos (3)

thanosmath
10

FMC2, 2019-03-11: Conjuntos (4) [bad audio]

thanosmath
11

FMC2, 2019-03-13: Conjuntos (5); Funções (1)

thanosmath
12

FMC2, 2019-03-15: Conjuntos (6); Funções (2)

thanosmath
13

FMC2, 2019-03-18: Funções (3)

thanosmath
14

FMC2, 2019-03-20: Funções (4)

thanosmath
15

FMC2, 2019-03-22: Funções (5)

thanosmath
16

FMC2, 2019-03-25: Funções (6)

thanosmath
17

FMC2, 2019-03-27: Funções (7)

thanosmath
18

FMC2, 2019-03-29: Funções (8)

thanosmath
19

FMC2, 2019-04-03: Funções (9); Categorias; Relações (1)

thanosmath
20

FMC2, 2019-04-05: Relações (2)

thanosmath
21

FMC2, 2019-04-08: Relações (3); Programação (1)

thanosmath
22

FMC2, 2019-04-10: Relações (4); Programação (2)

thanosmath
23

FMC2, 2019-04-12: Programação (3); Álgebra abstrata (1); Teoria dos grupos (1)

thanosmath
24

FMC2, 2019-04-16: Teoria dos grupos (2)

thanosmath
25

FMC2, 2019-04-17: Teoria dos grupos (3)

thanosmath
26

FMC2, 2019-04-22: Teoria dos grupos (4)

thanosmath
27

FMC2, 2019-04-24: Teoria dos grupos (5)

thanosmath
28

FMC2, 2019-04-26: Teoria dos grupos (6)

thanosmath
29

FMC2, 2019-05-06: Teoria dos grupos (7)

thanosmath
30

FMC2, 2019-05-08: Categorias (2); Teoria dos grupos (8); Álgebra abstrata (2)

thanosmath
31

FMC2, 2019-05-10: Álgebra abstrata (3)

thanosmath
32

FMC2, 2019-05-13: Álgebra abstrata (4)

thanosmath
33

FMC2, 2019-05-18: Os reais (2); História a.C. [antes Cantor]

thanosmath
34

FMC2, 2019-05-20: O paraíso de Cantor (1)

thanosmath
35

FMC2, 2019-05-22: O paraíso de Cantor (2)

thanosmath
36

FMC2, 2019-05-24: O paraíso de Cantor (3)

thanosmath
37

FMC2, 2019-05-27: O paraíso de Cantor (4); O paradoxo de Russell

thanosmath
38

FMC2, 2019-05-29: Teoria axiomática dos conjuntos ZF (1)

thanosmath
39

FMC2, 2019-05-29: Teoria axiomática dos conjuntos ZF (2)

thanosmath
40

FMC2, 2019-06-03: Teoria axiomática dos conjuntos ZF (3)

thanosmath
41

FMC2, 2019-06-05: Teoria axiomática dos conjuntos ZF (4)

thanosmath
42

FMC2, 2019-06-07: Teoria axiomática dos conjuntos ZF (5)

thanosmath
43

FMC2, 2019-06-10: Teoria da ordem (1)

thanosmath
▶

FMC2, 2019-06-12: Teoria da ordem (2)

thanosmath
45

FMC2, 2019-06-14: Teoria axiomática dos conjuntos ZF (6); Teoria da ordem (3)

thanosmath
46

FMC2, 2019-06-17: Teoria da ordem (4)

thanosmath
47

FMC2, 2019-06-19: Teoria da ordem (5)

thanosmath
48

FMC2, 2019-06-21: Assuntos auxiliares; Prova

thanosmath