Name: Indu § £o Finita, Dedu § μes e Maquina de Turing (en Portugués)
SKU: 54523035
Price: 277.00 MXN
Availability: InStock
Author: Almeida
ISBN: 9786525227610

portada Indu § £o Finita, Dedu § μes e Maquina de Turing (en Portugués)

Indu § £o Finita, Dedu § μes e Maquina de Turing (en Portugués)

Formato

Libro Físico

Editorial

Docuprint

Autor

Almeida

Idioma

Portugués

N° páginas

Encuadernación

Tapa Blanda

ISBN13

9786525227610

Editado en

Brasil

Indu § £o Finita, Dedu § μes e Maquina de Turing (en Portugués)

Almeida (Autor) · Docuprint · Tapa Blanda

Libro Nuevo Origen: México

Envío: 6 a 8 días háb.

$ 277.00

Libro Nuevo

Quedan 100 unidades

$ 277.00

Llega entre el 11 Sep y el 17 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Indu § £o Finita, Dedu § μes e Maquina de Turing (en Portugués)"

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.