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

Recap

0:00

perguntando nossas próprias perguntas

1:55

generalizando um teorema

3:33

generalizando uma definição

14:30

perguntando o contrário

18:44

plicker: as conjecturas da aula passada são verdadeiras?

20:57

sobre a redução ao absurdo

26:37

Linguagens formais

38:25

definindo linguagens

43:41

gramáticas e notação BNF

46:54

erro de ética: escolhe nomes bons e honestos

1:06:10

dígito vs numeral vs número

1:06:32

convenções e açúcar sintáctico

1:10:16

linguagens com variáveis

1:16:01

«arbitrariamente grande».]

1:20:25

metalinguagem e metavariáveis

1:30:33
FMC1, 2019-08-09: Demonstrações (5); Linguagens formais
20Likes
457Views
2019Aug 10
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 Demonstrações
  • Recap [00:00:00]
  • perguntando nossas próprias perguntas [00:01:55]
  • * generalizando um teorema [00:03:33]
  • * generalizando uma definição [00:14:30]
  • * perguntando o contrário [00:18:44]
  • * plicker: as conjecturas da aula passada são verdadeiras? [00:20:57]
  • sobre a redução ao absurdo [00:26:37]
Linguagens formais [00:38:25]

Follow along using the transcript.

thanosmath

1.02K subscribers

FMC1 2019.2 Fundamentos Matematicos para Computação I
1

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
▶

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