Mudanças entre as edições de "Encontro de Matemática"
Ir para navegação
Ir para pesquisar
(Criou página com '= Encontro de Matemática = Encontro para discutir Fundamentos de Matemática e matemática concreta com Mathematica e Python. A princípio, discutiremos lógica, teoria dos...') |
|||
| (2 revisões intermediárias por um outro usuário não estão sendo mostradas) | |||
| Linha 3: | Linha 3: | ||
Encontro para discutir Fundamentos de Matemática e matemática concreta com Mathematica e Python. A princípio, discutiremos lógica, teoria dos conjuntos e teoria dos números a partir do ZFC e axiomas de Peano, cortes de Dedekind/Sequências de Cauchy. |
Encontro para discutir Fundamentos de Matemática e matemática concreta com Mathematica e Python. A princípio, discutiremos lógica, teoria dos conjuntos e teoria dos números a partir do ZFC e axiomas de Peano, cortes de Dedekind/Sequências de Cauchy. |
||
Há uma proposta de quinzenalmente apresentar algo mais numérico relacionado a data science usando ferrramentas modernas como Mathematica e Python para apresentar conceitos relacionados ao Cálculo. |
Há uma proposta de quinzenalmente apresentar algo mais numérico relacionado a data science usando ferrramentas modernas como Mathematica e Python para apresentar conceitos relacionados ao Cálculo. |
||
| + | |||
| + | = Tópico dos encontros = |
||
| + | |||
| + | ==Quarta-feira 02/JAN/19 == |
||
| + | Conceitos básicos de lógica, funções e axiomatização dos números naturais |
||
Edição atual tal como às 14h53min de 28 de dezembro de 2018
Encontro de Matemática
Encontro para discutir Fundamentos de Matemática e matemática concreta com Mathematica e Python. A princípio, discutiremos lógica, teoria dos conjuntos e teoria dos números a partir do ZFC e axiomas de Peano, cortes de Dedekind/Sequências de Cauchy. Há uma proposta de quinzenalmente apresentar algo mais numérico relacionado a data science usando ferrramentas modernas como Mathematica e Python para apresentar conceitos relacionados ao Cálculo.
Tópico dos encontros
Quarta-feira 02/JAN/19
Conceitos básicos de lógica, funções e axiomatização dos números naturais