Mudanças entre as edições de "Encontro de Matemática"

De Garoa Hacker Clube
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