Sign in to confirm you’re not a bot

This helps protect our community. Learn more

Sign in

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

thanosmath

thanosmath

961 subscribers

<__slot-el>

Subscribe

<__slot-el>

Subscribed

2

Share

Save

113 views 2 years ago FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE

113 views • Sep 14, 2022 • 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 [00:00:00] bom dia / recap [00:05:32] Questões sobre independência e indemonstrabilidade/irrefutabilidade [00:47:39] ordens e suas propriedades [00:48:30] desafio: definir mínimo e máximo [00:52:36] Primeira tentativa: declarando coisas inúteis [00:54:06] Uma outra possível tipagem para o min [00:56:24] (cont.) [00:57:40] Como começar uma definição: estabelecer o contexto [01:00:11] Será que o min não deveria ser do tipo Set(Int)→Int? (Obrigações de uma função.) [01:02:35] de «o mínimo do conjunto A» para o «x é um mínimo de A» [01:05:55] uma alternativa para definir a mesma coisa, com menos "acordos socioculturais" [01:11:01] Maneiras que uma definição pode acabar sendo errada [01:19:41] Igualdades que não são igualdades [01:26:16] O valor absoluto, definições por casos, e uns perigos [01:37:11] E agora, fazer o que com as ordens, os min/max, e os valores absolutos? ...more

...more

Comments

Top comments

Newest first

Chapters

bom dia / recap

0:00

Questões sobre independência e indemonstrabilidade/irrefutabilidade

5:32

ordens e suas propriedades

47:39

desafio: definir mínimo e máximo

48:30

Primeira tentativa: declarando coisas inúteis

52:36

Uma outra possível tipagem para o min

54:06

cont.

56:24

Como começar uma definição: estabelecer o contexto

57:40

Será que o min não deveria ser do tipo Set(Int)→Int? (Obrigações de uma função.)

1:00:11

de «o mínimo do conjunto A» para o «x é um mínimo de A»

1:02:35

uma alternativa para definir a mesma coisa, com menos "acordos socioculturais"

1:05:55

Maneiras que uma definição pode acabar sendo errada

1:11:01

Igualdades que não são igualdades

1:19:41

O valor absoluto, definições por casos, e uns perigos

1:26:16

E agora, fazer o que com as ordens, os min/max, e os valores absolutos?

1:37:11

Sync to video time

Description

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

2Likes

113Views

2022Sep 14

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 [00:00:00] bom dia / recap [00:05:32] Questões sobre independência e indemonstrabilidade/irrefutabilidade [00:47:39] ordens e suas propriedades [00:48:30] desafio: definir mínimo e máximo [00:52:36] Primeira tentativa: declarando coisas inúteis [00:54:06] Uma outra possível tipagem para o min [00:56:24] (cont.) [00:57:40] Como começar uma definição: estabelecer o contexto [01:00:11] Será que o min não deveria ser do tipo Set(Int)→Int? (Obrigações de uma função.) [01:02:35] de «o mínimo do conjunto A» para o «x é um mínimo de A» [01:05:55] uma alternativa para definir a mesma coisa, com menos "acordos socioculturais" [01:11:01] Maneiras que uma definição pode acabar sendo errada [01:19:41] Igualdades que não são igualdades [01:26:16] O valor absoluto, definições por casos, e uns perigos [01:37:11] E agora, fazer o que com as ordens, os min/max, e os valores absolutos?

Chapters

View all

Transcript

Follow along using the transcript.

Show transcript

thanosmath

961 subscribers

Videos

About

Transcript

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

thanosmath

thanosmath

•

179 views 2 years ago