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

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

thanosmath
959 subscribers
<__slot-el>
<__slot-el>
754 views 5 years ago
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 ERRATA [00h43m37s]: esses (∃k∈ℤ) deveriam ser (∃k∈ℕ) aqui, supondo que já temos definido ámbos os predicados par/ímpar nos naturais assim. Demonstrações
  • Θ: (∀a,b,c∈ℤ)[a|b e b|c ⇒ a|c] [00:00:00]
 …...more
...more
FMC1, 2019-08-02: Demonstrações (4)
28Likes
754Views
2019Aug 3
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 ERRATA [00h43m37s]: esses (∃k∈ℤ) deveriam ser (∃k∈ℕ) aqui, supondo que já temos definido ámbos os predicados par/ímpar nos naturais assim. Demonstrações
  • Θ: (∀a,b,c∈ℤ)[a|b e b|c ⇒ a|c] [00:00:00]
  • Stocktaking/bookkeeping [00:16:02]
  • Disjunção: como atacar [00:28:56]
  • * Separação em casos
  • * LEM (Law of Excluded Middle)
  • * Resumindo numa maneira mais humana [00:52:04]
  • Disjunção: como usar [00:55:30]
  • * Uma resposta malandra
  • * Uma resposta direta
  • Tratando negação [01:00:50]
  • * A ⇐?⇒ ¬¬A [01:18:33]
  • * Como usar [01:23:40]
  • Θ: O √2 é irracional [01:23:48]
  • * D: (ir)racional
  • * D: √2
  • * * «aquele ... que ...»

Follow along using the transcript.

thanosmath

959 subscribers
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
▶

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