Sign in to confirm you’re not a bot

This helps protect our community. Learn more

Sign in

FMC2, 2023-03-08: Intro, prés, e meta

thanosmath

thanosmath

959 subscribers

<__slot-el>

Subscribe

<__slot-el>

Subscribed

26

Share

Save

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

940 views • Mar 9, 2023 • FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE

Fundamentos matemáticos para computação 2 (FMC2) Semestre 2023.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2023.1 Intro [00:00:00] Bom dia [00:01:55] Metodologia/organização da disciplina em modulinhos [00:17:10] Previously on FMC1… [00:17:40] * Type errors [00:27:25] * O processo de demonstrar, linhas de código, comandos, dados e alvos, fórmulas [00:42:14] * Como funcionam as demonstraçes, conectivos, como usar, como "atacar" [00:49:25] * Dois teoremas de teoria dos números inteiros e suas demonstrações em detalhe [01:18:13] * Sobre «leis de lógica», «feitiços», … [01:43:53] * Umas linhas de código que deixamos implícitas ...more

...more

Comments 2

Top comments

Newest first

Chapters

Bom dia

0:00

Metodologia/organização da disciplina em modulinhos

1:55

Previously on FMC1…

17:10

Type errors

17:40

O processo de demonstrar, linhas de código, comandos, dados e alvos, fórmulas

27:25

Como funcionam as demonstraçes, conectivos, como usar, como "atacar"

42:14

Dois teoremas de teoria dos números inteiros e suas demonstrações em detalhe

49:25

Sobre «leis de lógica», «feitiços», …

1:18:13

Umas linhas de código que deixamos implícitas

1:43:53

Sync to video time

Description

FMC2, 2023-03-08: Intro, prés, e meta

26Likes

940Views

2023Mar 9

Fundamentos matemáticos para computação 2 (FMC2) Semestre 2023.1 Thanos Tsouanas IMD, UFRN, BR http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2023.1 Intro [00:00:00] Bom dia [00:01:55] Metodologia/organização da disciplina em modulinhos [00:17:10] Previously on FMC1… [00:17:40] * Type errors [00:27:25] * O processo de demonstrar, linhas de código, comandos, dados e alvos, fórmulas [00:42:14] * Como funcionam as demonstraçes, conectivos, como usar, como "atacar" [00:49:25] * Dois teoremas de teoria dos números inteiros e suas demonstrações em detalhe [01:18:13] * Sobre «leis de lógica», «feitiços», … [01:43:53] * Umas linhas de código que deixamos implícitas

Chapters

View all

Transcript

Follow along using the transcript.

Show transcript

thanosmath

959 subscribers

Videos

About

Transcript

FMC2-CFR1, 2023-03-13: Conjuntos (1.1)

thanosmath

thanosmath

•

219 views 2 years ago