Sign in to confirm you’re not a bot
This helps protect our community. Learn more
FMC1, 2019-07-24: Intro
155Likes
4,397Views
2019Jul 25
Fundamentos matemáticos para computação 1 (FMC1) Semestre 2019.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2019.2 Intro
  • Coisas burocráticas [00:00:00]
  • Tipos [00:17:57]
  • Uma linguagem de aritmética [00:24:15]
  • Árvores sintácticas e de inferência [00:25:30]
  • Se...então... x Como...logo... [00:50:15]
  • Umas palavras-chaves em matemática [00:58:23]
  • Demonstrações como jogos, REPL, programação [01:27:08]
  • Erros em definições [01:32:42]
ERRATA [00h54m28m] «A implica em B» deveria ser «A implica B»

Follow along using the transcript.

thanosmath

1K subscribers
▶

FMC1, 2019-07-24: Intro

thanosmath
2

FMC1, 2019-07-26: Demonstrações (1)

thanosmath
3

FMC1, 2019-07-29: Demonstrações (2)

thanosmath
4

FMC1, 2019-07-31: Demonstrações (3)

thanosmath
5

FMC1, 2019-08-02: Demonstrações (4)

thanosmath
6

FMC1, 2019-08-05: Irracionalidade

thanosmath
7

FMC1, 2019-08-07: Irracionalidade (2)

thanosmath
8

FMC1, 2019-08-09: Demonstrações (5); Linguagens formais

thanosmath
9

FMC1, 2019-08-12: Demonstrações (6); Naturais, recursão, indução (1)

thanosmath
10

FMC1, 2019-08-14: Naturais, recursão, indução (2)

thanosmath
11

FMC1, 2019-08-16: Naturais, recursão, indução (3)

thanosmath
12

FMC1, 2019-08-19: Naturais, recursão, indução (4)

thanosmath
13

FMC1, 2019-08-21: Naturais, recursão, indução (5)

thanosmath
14

FMC1, 2019-08-26: Naturais, recursão, indução (6)

thanosmath
15

FMC1, 2019-08-28: Naturais, recursão, indução (7)

thanosmath
16

FMC1, 2019-08-30: Naturais, recursão, indução (8)

thanosmath
17

FMC1, 2019-09-02: Naturais, recursão, indução (9)

thanosmath
18

FMC1, 2019-09-04: Naturais, recursão, indução (10)

thanosmath
19

FMC1, 2019-09-09: Naturais, recursão, indução (11)

thanosmath
20

FMC1, 2019-09-11: Naturais, recursão, indução (12)

thanosmath
21

FMC1, 2019-09-13: Naturais, recursão, indução (13)

thanosmath
22

FMC1, 2019-09-16: naturais, recursão, indução (14) ; análise combinatória (1)

thanosmath
23

FMC1, 2019-09-18: Análise combinatória (2)

thanosmath
24

FMC1, 2019-09-20: Naturais, recursão, indução (15) ; Análise combinatória (3)

thanosmath
25

FMC1, 2019-09-23: Análise combinatória (4)

thanosmath
26

FMC1, 2019-09-25: Análise combinatória (5); Teoria dos números (1)

thanosmath
27

FMC1, 2019-09-27: Teoria dos números (2)

thanosmath
28

FMC1, 2019-09-30: Teoria dos números (3)

thanosmath
29

[bad audio] FMC1, 2019-10-02: Teoria dos números (4)

thanosmath
30

FMC1, 2019-10-07: Teoria dos números (5)

thanosmath
31

FMC1, 2019-10-09: Teoria dos números (6)

thanosmath
32

FMC1, 2019-10-11: Teoria dos números (7)

thanosmath
33

FMC1, 2019-10-14: Teoria dos números (8)

thanosmath
34

FMC1, 2019-10-16: Teoria dos números (9)

thanosmath
35

FMC1, 2019-10-21: Teoria dos números (10)

thanosmath
36

FMC1, 2019-10-23: Teoria dos números (11)

thanosmath
37

FMC1, 2019-10-30: Teoria dos números (12)

thanosmath
38

FMC1, 2019-11-01: Teoria dos números (13)

thanosmath
39

FMC1, 2019-11-04: Teoria dos números (14)

thanosmath
40

FMC1, 2019-11-06: Teoria dos números (15)

thanosmath
41

FMC1, 2019-11-08: Teoria dos números (16)

thanosmath
42

FMC1, 2019-11-11: Teoria dos números (17)

thanosmath
43

FMC1, 2019-11-13: Teoria dos números (18)

thanosmath
44

FMC1, 2019-11-20: Teoria dos números (19)

thanosmath
45

FMC1, 2019-11-27: Criptografia (1)

thanosmath
46

FMC1, 2019-11-29: Criptografia (2)

thanosmath