Sign in to confirm you’re not a bot

This helps protect our community. Learn more

Sign in

FMC2-IEA, 2023-03-10: Introdução

thanosmath

thanosmath

959 subscribers

<__slot-el>

Subscribe

<__slot-el>

Subscribed

13

Share

Save

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

329 views • Mar 10, 2023 • FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE

Fundamentos matemáticos para computação 2 (FMC2) Introdução a Estruturas Algébricas (IEA) Semestre 2023.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2023.1 Introdução [00:00:00] Bom dia [00:00:38] Os inteiros e sua estrutura [00:04:14] Propriedades de operações [00:05:03] Os strings com concatenação [00:06:22] Primeira definição: associatividade [00:08:48] * parseamento, árvore sintáctica [00:13:20] * (cont') [00:16:08] Sobre abstração algébrica [00:19:36] Comutatividade [00:21:01] Trade-off entre axiomas e modelos [00:25:44] O papel dum exemplo-guia para uma estrutura algébrica [00:27:15] Q: sobre modelos e implementações [00:29:17] Q: sobre aridades, nulária, unária, e constantes [00:31:10] Permutações, sua notação, e o S₃ [00:47:05] Enter Álgebra: a operação (∘) [00:59:28] Do exemplo-guia S₃ para a definição de grupo [01:03:50] * associatividade [01:07:50] * identidade [01:10:25] * inversos e um problema de escopo [01:19:15] «Existe único …» e como expressá-lo [01:27:56] Θ. (id-uniq) ADDENDUM [00h22m16s] "Taxonomia" ...more

...more

Comments 1

Top comments

Newest first

Chapters

Bom dia

0:00

Os inteiros e sua estrutura

0:38

Propriedades de operações

4:14

Os strings com concatenação

5:03

Primeira definição: associatividade

6:22

parseamento, árvore sintáctica

8:48

cont'

13:20

Sobre abstração algébrica

16:08

Comutatividade

19:36

Trade-off entre axiomas e modelos

21:01

O papel dum exemplo-guia para uma estrutura algébrica

25:44

Q: sobre modelos e implementações

27:15

Q: sobre aridades, nulária, unária, e constantes

29:17

Permutações, sua notação, e o S₃

31:10

Enter Álgebra: a operação (∘)

47:05

Do exemplo-guia S₃ para a definição de grupo

59:28

associatividade

1:03:50

identidade

1:07:50

inversos e um problema de escopo

1:10:25

«Existe único …» e como expressá-lo

1:19:15

Θ. (id-uniq)

1:27:56

Sync to video time

Description

FMC2-IEA, 2023-03-10: Introdução

13Likes

329Views

2023Mar 10

Fundamentos matemáticos para computação 2 (FMC2) Introdução a Estruturas Algébricas (IEA) Semestre 2023.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2023.1 Introdução [00:00:00] Bom dia [00:00:38] Os inteiros e sua estrutura [00:04:14] Propriedades de operações [00:05:03] Os strings com concatenação [00:06:22] Primeira definição: associatividade [00:08:48] * parseamento, árvore sintáctica [00:13:20] * (cont') [00:16:08] Sobre abstração algébrica [00:19:36] Comutatividade [00:21:01] Trade-off entre axiomas e modelos [00:25:44] O papel dum exemplo-guia para uma estrutura algébrica [00:27:15] Q: sobre modelos e implementações [00:29:17] Q: sobre aridades, nulária, unária, e constantes [00:31:10] Permutações, sua notação, e o S₃ [00:47:05] Enter Álgebra: a operação (∘) [00:59:28] Do exemplo-guia S₃ para a definição de grupo [01:03:50] * associatividade [01:07:50] * identidade [01:10:25] * inversos e um problema de escopo [01:19:15] «Existe único …» e como expressá-lo [01:27:56] Θ. (id-uniq) ADDENDUM [00h22m16s] "Taxonomia"

Chapters

View all

Transcript

Follow along using the transcript.

Show transcript

thanosmath

959 subscribers

Videos

About

Transcript

FMC2-IEA, 2023-04-28: (5) Grupos

thanosmath

thanosmath

•

102 views 2 years ago