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

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

thanosmath
959 subscribers
<__slot-el>
<__slot-el>
259 views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE
Fundamentos matemáticos para computação 1 (FMC1) Introdução a Demonstração Matemática: a teoria dos números inteiros (IDMa) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 Os inteiros (2) [00:00:00]: bom dia / recap [00:13:16]: Teoremas x axiomas; dependências de demonstrações [00:17:28]: Q: por que não aparece (=) na estrutura dos inteiros? [00:18:58]: Q: como rotular teoremas? [00:22:33]: (cont.) [00:23:38]: Sintaxe vs Semântica; convenções sintácticas [00:24:13]: * juxtaposição; notação infixa/postfixa/prefixa [00:26:46]: * arvore sintáctica; parsing; precedência sintáctica de operadores [00:40:12]: * associatividade sintáctica [00:44:45]: * subtração como operação definida e não primitiva [00:47:50]: * uns numerais para ajudar: 2, 3, ... [00:49:25]: * potências com expoentes naturais; convenção sobre associatividade sintáctica da exponenciação [00:55:38]: (cont.) [00:55:54 …...more
...more

bom dia / recap

0:00

Teoremas x axiomas; dependências de demonstrações

13:16

Q: por que não aparece (=) na estrutura dos inteiros?

17:28

Q: como rotular teoremas?

18:58

cont.

22:33

Sintaxe vs Semântica; convenções sintácticas

23:38

juxtaposição; notação infixa/postfixa/prefixa

24:13

arvore sintáctica; parsing; precedência sintáctica de operadores

26:46

associatividade sintáctica

40:12

subtração como operação definida e não primitiva

44:45

uns numerais para ajudar: 2, 3, ...

47:50

potências com expoentes naturais; convenção sobre associatividade sintáctica da exponenciação

49:25

cont.

55:38

Q: igualdade sintáctica vs intensional

55:54

Q: o parsing se trata de quais operações?

58:30

Cancelamento multiplicativo

1:00:02

Q: qual a associatividade sintáctica da (⇒)?

1:09:40

Q: refutação..?

1:12:45

Não-zerodivisores.

1:14:32

Q: o «ou» é exclusivo?

1:15:32

(cont.) (Plicker) axiomas ou teoremas?

1:16:16

A resposta certa; mais teoremas

1:22:22

Existência e unicidade; artigo indefinido vs definido; proof by fight club; alternativa conhecendo já um legal

1:28:06
FMC1-IDMa, 2022-09-05: Os inteiros (2) [bad audio]
6Likes
259Views
2022Sep 5
Fundamentos matemáticos para computação 1 (FMC1) Introdução a Demonstração Matemática: a teoria dos números inteiros (IDMa) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 Os inteiros (2) [00:00:00]: bom dia / recap [00:13:16]: Teoremas x axiomas; dependências de demonstrações [00:17:28]: Q: por que não aparece (=) na estrutura dos inteiros? [00:18:58]: Q: como rotular teoremas? [00:22:33]: (cont.) [00:23:38]: Sintaxe vs Semântica; convenções sintácticas [00:24:13]: * juxtaposição; notação infixa/postfixa/prefixa [00:26:46]: * arvore sintáctica; parsing; precedência sintáctica de operadores [00:40:12]: * associatividade sintáctica [00:44:45]: * subtração como operação definida e não primitiva [00:47:50]: * uns numerais para ajudar: 2, 3, ... [00:49:25]: * potências com expoentes naturais; convenção sobre associatividade sintáctica da exponenciação [00:55:38]: (cont.) [00:55:54]: Q: igualdade sintáctica vs intensional [00:58:30]: Q: o parsing se trata de quais operações? [01:00:02]: Cancelamento multiplicativo [01:09:40]: Q: qual a associatividade sintáctica da (⇒)? [01:12:45]: Q: refutação..? [01:14:32]: Não-zerodivisores. [01:15:32]: Q: o «ou» é exclusivo? [01:16:16]: (cont.) (Plicker) axiomas ou teoremas? [01:22:22]: A resposta certa; mais teoremas [01:28:06]: Existência e unicidade; artigo indefinido vs definido; proof by fight club; alternativa conhecendo já um legal

Follow along using the transcript.

thanosmath

959 subscribers
1

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

thanosmath
▶

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

thanosmath
3

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

thanosmath
4

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

thanosmath
5

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

thanosmath
6

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

thanosmath
7

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

thanosmath
8

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

thanosmath
9

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

thanosmath
10

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

thanosmath
11

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

thanosmath
12

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

thanosmath
13

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

thanosmath
14

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

thanosmath
15

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

thanosmath
16

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

thanosmath
17

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

thanosmath
18

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

thanosmath