Sign in to confirm you’re not a bot
This helps protect our community. Learn more
FMC2, 2019-06-19: Teoria da ordem (5)
7Likes
172Views
2019Jun 20
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 19/06/2019: Teoria da ordem
  • reticulados [00:00:00]
  • homomorfismos entre reticulados [00:02:52]
  • subreticulado [00:11:00]
  • subreticulado gerado por conjunto [00:29:36]
  • ACC, DCC, axioma da escolha [00:39:17]
  • relações bem-fundadas e indução Noetheriana (bem-fundada) [00:57:05]
  • teorema de ponto fixo de Knaster–Tarski [01:11:55]
  • previsão das notas (plicker bobo) [01:41:00]

thanosmath

996 subscribers
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
44

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
▶

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

thanosmath
48

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

thanosmath