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

fmcbook, 2020-02-21: Intro, Demonstrações

thanosmath
961 subscribers
1.4K views 5 years ago IMD - INSTITUTO METROPÓLE DIGITAL
Fundamentos matemáticos para computação 2 (FMC2) Semestre 2020.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2020.1 ERRATA
  • [00h14m41s]: Em vez de «2+5» e «4+3» deveria ter usado «2+5» e «o terceiro primo ímpar», pois entre o 2+5 e 4+3 é comum trabalhar em contextos onde realmente temos 2+5 ≡ 4+3.
  • [01h21m40s]: «todos são amados» deveria ser «todos amam»
Intro, Demonstrações [00:00:00]  …...more
...more

Intro, Demonstrações

0:00

vs

1:40

«def»

5:08

cuidado com os quantificadores

10:45

por que «praticamente»? qual a excessão?

12:17

demonstrações: linha de código vs comentário

16:53

variáveis ligadas vs livres

32:08

Três exercísios: mesma coisa ou não?

59:30

vício de absurdo

1:14:28

a rendundância dos «... é verdade»

1:15:48

abuso de gerúndios, vírgula mágica, etc.

1:17:28

«para algum» e perigos de ambigüidade

1:20:23

definição e seu contexto

1:25:08

não misturem símbolos de fórmulas com texto, não são abreviações

1:29:58

setinhas mágicas

1:33:08

vs «logo»

1:33:33

tipografia, caligrafia

1:34:13
fmcbook, 2020-02-21: Intro, Demonstrações
48Likes
1,435Views
2020Feb 23
Fundamentos matemáticos para computação 2 (FMC2) Semestre 2020.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2020.1 ERRATA
  • [00h14m41s]: Em vez de «2+5» e «4+3» deveria ter usado «2+5» e «o terceiro primo ímpar», pois entre o 2+5 e 4+3 é comum trabalhar em contextos onde realmente temos 2+5 ≡ 4+3.
  • [01h21m40s]: «todos são amados» deveria ser «todos amam»
Intro, Demonstrações [00:00:00]
  • type errors
  • = vs ⇔ [00:01:40]
  • «def» [00:05:08]
  • * cuidado com os quantificadores [00:10:45]
  • * por que «praticamente»? qual a excessão? [00:12:17]
  • intensão vs extensão
  • demonstrações: linha de código vs comentário [00:16:53]
  • * se..então.. vs como..logo..
  • * «seja..» vs «existe..»
  • * quantificador existencial: como atacar e como usar
  • * variáveis ligadas vs livres [00:32:08]
  • * escolha de variável, variável fresca
  • * escopos de variáveis
  • * sombreamento (shadowing) de variáveis
  • * indentação em cálculos
  • Três exercísios: mesma coisa ou não? [00:59:30]
  • * quantificador universal: como atacar
  • * implicação: como atacar
  • * conjunção: como usar e como atacar
  • vício de absurdo [01:14:28]
  • a rendundância dos «... é verdade» [01:15:48]
  • abuso de gerúndios, vírgula mágica, etc. [01:17:28]
  • «para algum» e perigos de ambigüidade [01:20:23]
  • * não podemos trocar a ordem de quantificadores diferentes
 …...more
...more

Follow along using the transcript.

thanosmath

961 subscribers

SetFunRel 2020.5
▶

fmcbook, 2020-02-21: Intro, Demonstrações

thanosmath
2

FMC2, 2019-02-27: Naturais, recursão, indução (3); Conjuntos (1)

thanosmath
3

FMC2, 2019-03-01: Conjuntos (2)

thanosmath
4

FMC2, 2019-03-08: Conjuntos (3)

thanosmath
5

FMC2, 2019-03-11: Conjuntos (4) [bad audio]

thanosmath
6

FMC2, 2019-03-13: Conjuntos (5); Funções (1)

thanosmath
7

FMC2, 2019-03-15: Conjuntos (6); Funções (2)

thanosmath
8

FMC2, 2019-03-18: Funções (3)

thanosmath
9

FMC2, 2019-03-20: Funções (4)

thanosmath
10

FMC2, 2019-03-22: Funções (5)

thanosmath
11

FMC2, 2019-03-25: Funções (6)

thanosmath
12

FMC2, 2019-03-27: Funções (7)

thanosmath
13

FMC2, 2019-03-29: Funções (8)

thanosmath
14

FMC2, 2019-04-03: Funções (9); Categorias; Relações (1)

thanosmath
15

FMC2, 2019-04-05: Relações (2)

thanosmath
16

FMC2, 2019-04-08: Relações (3); Programação (1)

thanosmath
17

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

thanosmath