This helps protect our community. Learn more

FMC2, 2018-08-20: Naturais; Recursão; Indução (3)

991 subscribers

Fundamentos Matemáticos para Computação 2 (FMC2) Semestre 2018.2 Thanos Tsouanas IMD, UFRN, BR Camera: Henrique Maraschin http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2018.2

Comutatividade da adição
Sub-(sub-sub-...-sub)-indução

FMC2, 2018-08-20: Naturais; Recursão; Indução (3)

Fundamentos Matemáticos para Computação 2 (FMC2) Semestre 2018.2 Thanos Tsouanas IMD, UFRN, BR Camera: Henrique Maraschin http://tsouanas.org/fmcbook http://tsouanas.org/teaching/fmc2/2018.2

Comutatividade da adição
Sub-(sub-sub-...-sub)-indução
O uso de lemmata para provar nossos teoremas
Conseguiu provar por indução sem usar a H.I.?

Follow along using the transcript.

FMC2, 2018-08-20: Naturais; Recursão; Indução (3)

thanosmath

FMC2, 2018-08-20: Naturais; Recursão; Indução (3)

Comments

Description

thanosmath

Transcript

Next:FMC2, 2018-08-22: Conjuntos (1)

FMC2, 2018-08-15: Naturais; Recursão; Indução (1)

FMC2, 2018-08-17: Naturais; Recursão; Indução (2)

FMC2, 2018-08-20: Naturais; Recursão; Indução (3)

FMC2, 2018-08-22: Conjuntos (1)

FMC2, 2018-08-24: Conjuntos (2)

FMC2, 2018-08-27: Conjuntos (3)

FMC2, 2018-08-29: Conjuntos (4)

FMC2, 2018-08-31: Conjuntos (5)

FMC2, 2018-08-15: Conjuntos (6); Funções (1)

FMC2, 2018-09-05: Funções (2)

FMC2, 2018-09-10: Funções (3)

FMC2, 2018-09-12: Funções (4)

FMC2, 2018-09-14: Funções (5)

FMC2, 2018-09-17: Funções (6)

FMC2, 2018-09-19: Funções (7); Programação (1)

FMC2, 2018-09-21: Funções (8); Programação (2); Relações (1)

FMC2, 2018-10-01: Relações (2)

FMC2, 2018-10-05: Relações (3); Programação (3)

FMC2, 2018-10-08: Relações (4); Álgebra abstrata (1); Teoria dos grupos (1)

FMC2, 2018-10-10: Teoria dos grupos (2)

FMC2, 2018-10-15: Teoria dos grupos (3)

FMC2, 2018-10-17: Teoria dos grupos (4)

FMC2, 2018-10-20: Teoria dos grupos (5)

FMC2, 2018-10-22: Teoria dos grupos (6)

FMC2, 2018-10-24: Teoria dos grupos (7)

FMC2, 2018-08-26: Teoria dos grupos (8)

FMC2, 2018-10-29: Teoria dos grupos (9)

FMC2, 2018-10-31: Teoria dos grupos (10)

FMC2, 2018-11-05: Teoria dos grupos (11)

FMC2, 2018-11-07: Teoria dos grupos (12)

FMC2, 2018-11-12: Teoria dos grupos (13)

FMC2, 2018-11-13: Teoria dos grupos (14)

FMC2, 2018-11-14: Teoria dos grupos (15); Álgebra abstrata (2)

FMC2, 2018-11-16: Algebra absrata (3)

FMC2, 2018-11-19: Os reais

FMC2, 2018-11-23: Cantor (1)

FMC2, 2018-11-28: Cantor (3)

FMC2, 2018-11-30: Cantor (4)

FMC2, 2018-12-05: Teoria axiomática dos conjuntos ZF (2)

FMC2, 2018-12-07: Teoria axiomática dos conjuntos ZF (3)

FMC2, 2018-12-10: Teoria axiomática dos conjuntos ZF (4)