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

FMC1-Intro, 2022-08-22: Introdução à Linguagem de Demonstrações (1) [bad audio]

thanosmath
1K subscribers
1.5K views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE
Fundamentos matemáticos para computação 1 (FMC1) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 ...more
...more
FMC1-Intro, 2022-08-22: Introdução à Linguagem de Demonstrações (1) [bad audio]
52Likes
1,593Views
2022Aug 24
Fundamentos matemáticos para computação 1 (FMC1) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2

Follow along using the transcript.

thanosmath

1K subscribers

FMC1 2022.2 Fundamentos Matemáticos para Computação 1
▶

FMC1-Intro, 2022-08-22: Introdução à Linguagem de Demonstrações (1) [bad audio]

thanosmath
2

FMC1-Intro, 2022-08-24: Introdução à Linguagem de Demonstrações (2) [VERY bad audio]

thanosmath
3

FMC1-Intro, 2022-08-26: Introdução à Linguagem de Demonstrações (3)

thanosmath
4

FMC1-Intro, 2022-08-29: Introdução à Linguagem de Demonstrações (4)

thanosmath
5

FMC1-Intro-IDMa, 2022-09-02: Introdução à Linguagem de Demonstrações (5); Os inteiros (1)

thanosmath
6

FMC1-IDMa, 2022-09-05: Os inteiros (2) [bad audio]

thanosmath
7

FMC1-IDMa, 2022-09-09: Os inteiros (3) [bad audio]

thanosmath
8

FMC1-IDMa, 2022-09-12: Os inteiros (4)

thanosmath
9

FMC1-IDMa, 2022-09-14: Os inteiros (5)

thanosmath
10

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

thanosmath
11

FMC1-IDMa, 2022-09-19: Os inteiros (7)

thanosmath
12

FMC1-IDMa, 2022-09-21: Os inteiros (8)

thanosmath
13

FMC1-IDMa, 2022-09-23: Os inteiros (9)

thanosmath
14

FMC1-IDMa, 2022-09-26: Os inteiros (10)

thanosmath
15

FMC1-IDMa, 2022-09-28: Os inteiros (11)

thanosmath
16

FMC1-IDMa, 2022-09-30: Os inteiros (12)

thanosmath
17

FMC1-IDMa, 2022-10-05: Os inteiros (13)

thanosmath
18

FMC1-IDMa, 2022-10-07: Os inteiros (14) [no audio]

thanosmath
19

FMC1-IRI, 2022-10-10: Recursão e Indução: Nat (1)

thanosmath
20

FMC1-IRI, 2022-10-14: Recursão e Indução: Nat (2)

thanosmath
21

FMC1-IRI, 2022-10-15: Recursão e Indução: Nat (3,4)

thanosmath
22

FMC1-IDMa, 2022-10-17: Os inteiros (15)

thanosmath
23

FMC1-IRI, 2022-10-19: Recursão e Indução: Nat (5)

thanosmath
24

FMC1-IDMa, 2022-10-21: Os inteiros (16)

thanosmath
25

FMC1-IDMa, 2022-10-24: Os inteiros (17)

thanosmath
26

FMC1-IDMa, 2022-10-26: Os inteiros (18) [bad vídeo]

thanosmath
27

FMC1-IRI, 2022-10-27: Recursão e Indução: Nat (6,7)

thanosmath
28

FMC1-IRI, 2022-10-31: Recursão e Indução: Nat, Bool, Unit, Empty, ListNat (8)

thanosmath
29

FMC1-IRI, 2022-11-04: Recursão e Indução: Nat, Bool, Unit, Empty, ListNat (9)

thanosmath
30

FMC1-IDMb, 2022-11-05: Os reais (1,2)

thanosmath
31

FMC1-IRI, 2022-11-07: Recursão e Indução: Nat, Bool, Unit, Empty, List, Polimorfismo (10a)

thanosmath
32

FMC1-IRI, 2022-11-09: Recursão e Indução: Nat, List, Maybe, Polimorfismo (10b, 11) [BAD recording]

thanosmath
33

FMC1-IDMb, 2022-11-11: Os reais (3,4)

thanosmath
34

FMC1-IDMb, 2022-11-16: Os reais (5,6)

thanosmath
35

FMC1-IRI, 2022-11-18: Recursão e Indução: List, Maybe, Either, Int, Functors, Composição (12,13)

thanosmath
36

FMC1-IDMb, 2022-11-23: Os reais (7,8)

thanosmath
37

FMC1-IRI, 2022-11-25: Recursão e Indução: List, Maybe, Either, Int, Functors, Composição (14)

thanosmath
38

FMC1-IDMb, 2022-11-28: Os reais (9)

thanosmath
39

FMC1-IDMb, 2022-11-30: Os reais (10,11)

thanosmath
40

FMC1-IRI, 2022-12-03: Eficiência, Ordenação, Fold, Arvores, ASTs (15,16)

thanosmath
41

FMC1-IDMb, 2022-12-12: Os reais (12,13)

thanosmath
42

FMC1-IDMb, 2022-12-14: Os reais (14,15)

thanosmath
43

FMC1-IDMb, 2022-12-15: Os reais (16,17)

thanosmath