Indução finita, deduções e máquina de Turing: uma dissertação de mestrado em matemática orientada por Luciano Barbanti

Indução finita, deduções e máquina de Turing: uma dissertação de mestrado em matemática orientada por Luciano Barbanti

Autor: Marca: Dialética Referência: 9786525227610

Carregando...
Simulador de Frete
- Calcular frete


 

Descrição

Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentados inúmeros esquemas de dedução referentes às "fórmulas" e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática.



Características

  • Ano: 2022
  • Autor: João Almeida
  • Selo: Dialética
  • ISBN: 9786525227610
  • Nº de Páginas: 64
  • Capa: Flexível


Comentários e Avaliações

Deixe seu comentário e sua avaliação







- Máximo de 512 caracteres.

Clique para Avaliar


  • Avaliação:
Enviar
Faça seu login e comente.

Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentados inúmeros esquemas de dedução referentes às "fórmulas" e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática.

Deixe seu comentário e sua avaliação







- Máximo de 512 caracteres.

Clique para Avaliar


  • Avaliação:
Enviar
Faça seu login e comente.
  • Ano: 2022
  • Autor: João Almeida
  • Selo: Dialética
  • ISBN: 9786525227610
  • Nº de Páginas: 64
  • Capa: Flexível


Receba nossas promoções por e-mail: