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

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

thanosmath
960 subscribers
FMC2, 2019-04-10: Relações (4); Programação (2)
8Likes
135Views
2019Apr 11
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 Relações [00:00:00]
  • Partições e relações de equivalência: dois lados da mesma moeda
  • Quantas relações de equivalência num conjunto com 3 membros?
Programação [00:04:33]
  • lazy vs strict
  • turing-completeness
  • higher-order
  • dependent types
  • Lisps
  • Abuso de linguagens
  • Conselhos
  • static vs dynamic types
  • Programação Funcional
  • Programação com Haskell [00:26:00]
  • * Brincando no REPL da Haskell [00:26:00]
  • * Listas [00:42:33]
  • * Definições em Haskell [00:53:32]
  • * Vazio e singleton (Unit) como (co)domínios [00:58:36]
  • * Os naturais [01:02:09]
  • * Recursão e indução nas Listas [01:07:29]
  • * * Recursão nas listas [01:12:42]
  • * * Indução nas listas [01:20:39]–[01:26:05]
  • * cross, pair [01:26:05]
  • * map f e a função-imagem f[–] [01:27:18]
  • Programação Lógica com Prolog [01:30:53]
  • * Funções como relações
ADDENDUM  …...more
...more

thanosmath

960 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
▶

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
47

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

thanosmath
48

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

thanosmath