Origin: Colombia
(Import costs included in the price)
It will be shipped from our warehouse between Wednesday, August 07 and Tuesday, August 20.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Indu § £o Finita, Dedu § μes e Maquina de Turing (in Portuguese)
Almeida
Synopsis "Indu § £o Finita, Dedu § μes e Maquina de Turing (in Portuguese)"
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.
