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

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

thanosmath
961 subscribers
<__slot-el>
<__slot-el>
696 views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE
Fundamentos matemáticos para computação 1 (FMC1) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 Intro (5) [00:00:00]: bom dia [00:01:23]: Tentativa de demonstrar: P ∨ ¬P [00:05:16]: Q: Posso usar o P ⇒ Q com o Q? [00:06:58]: Q: Como inferimos a implicação a partir do ¬P? [00:07:48]: Como interpretar a não demonstrabilidade de certas proposições [00:08:40]: A lei da dupla negação [00:11:24]: P ⇒ ¬¬P [00:19:58]: ¬¬P ⇒ P [00:25:55]: Umas "leis" familiares [00:27:00]: ¬¬(P ∨ ¬P) [00:50:15]: Comandos-feitiços e o carater (não)computacional de demonstrações [00:57:10]: O comando RAA. [01:00:00]: O que preciso saber para substituir um alvo G por um alvo H? [01:01:30]: LEM Os inteiros (1) [01:19:33]: O que significa «Teoria de ...» [01:22:08]: Especificação × Implementação [01:24:25]: (ℤ;0,1,+,-,·) e suas tipagens [01:28:00]: Os primeiros axiomas ERRATA: [00h53m55s]: Aqui eu deveria ter escrito a proposição P∧Q⇒P ...more
...more

bom dia

0:00

Tentativa de demonstrar: P ∨ ¬P

1:23

Q: Posso usar o P ⇒ Q com o Q?

5:16

Q: Como inferimos a implicação a partir do ¬P?

6:58

Como interpretar a não demonstrabilidade de certas proposições

7:48

A lei da dupla negação

8:40

P ⇒ ¬¬P

11:24

P ⇒ P

19:58

Umas "leis" familiares

25:55

P ∨ ¬P

27:00

Comandos-feitiços e o carater (não)computacional de demonstrações

50:15

O comando RAA.

57:10

O que preciso saber para substituir um alvo G por um alvo H?

1:00:00

LEM

1:01:30

O que significa «Teoria de ...»

1:19:33

Especificação × Implementação

1:22:08

(ℤ;0,1,+,-,·) e suas tipagens

1:24:25

Os primeiros axiomas

1:28:00
FMC1-Intro-IDMa, 2022-09-02: Introdução à Linguagem de Demonstrações (5); Os inteiros (1)
21Likes
696Views
2022Sep 2
Fundamentos matemáticos para computação 1 (FMC1) Semestre 2022.2 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc1/2022.2 Intro (5) [00:00:00]: bom dia [00:01:23]: Tentativa de demonstrar: P ∨ ¬P [00:05:16]: Q: Posso usar o P ⇒ Q com o Q? [00:06:58]: Q: Como inferimos a implicação a partir do ¬P? [00:07:48]: Como interpretar a não demonstrabilidade de certas proposições [00:08:40]: A lei da dupla negação [00:11:24]: P ⇒ ¬¬P [00:19:58]: ¬¬P ⇒ P [00:25:55]: Umas "leis" familiares [00:27:00]: ¬¬(P ∨ ¬P) [00:50:15]: Comandos-feitiços e o carater (não)computacional de demonstrações [00:57:10]: O comando RAA. [01:00:00]: O que preciso saber para substituir um alvo G por um alvo H? [01:01:30]: LEM Os inteiros (1) [01:19:33]: O que significa «Teoria de ...» [01:22:08]: Especificação × Implementação [01:24:25]: (ℤ;0,1,+,-,·) e suas tipagens [01:28:00]: Os primeiros axiomas ERRATA: [00h53m55s]: Aqui eu deveria ter escrito a proposição P∧Q⇒P

Follow along using the transcript.

thanosmath

961 subscribers
▶

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

thanosmath
2

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