{"product_id":"inducao-finita-deducoes-e-maquina-de-turing-joao-almeida-1","title":"Indução Finita, deduções e Máquina de Turing | João Almeida","description":"João Almeida\u003cbr\u003e\n\u003cstrong\u003eIndução Finita, deduções e Máquina de Turing\u003c\/strong\u003e\u003cbr\u003e\numa dissertação de mestrado em Matemática orientada por Luciano Barbanti\u003cbr\u003e\nDialética\u003cbr\u003e\n\u003cp style=\"color:red\"\u003e\u003cstrong\u003eLibro disponible en 5 dias hábiles.\u003cbr\u003e\u003c\/strong\u003e\u003c\/p\u003e\n\u003cstrong\u003ePáginas:\u003c\/strong\u003e 64\u003cbr\u003e\n\u003cstrong\u003ePrecio:\u003c\/strong\u003e 609.5\u003cbr\u003e\n\u003cstrong\u003eEstado:\u003c\/strong\u003e Usado\u003cbr\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 0.111 kgs.\u003cbr\u003e\n\u003cstrong\u003eISBN:\u003c\/strong\u003e 9786525227610\n\u003cp\u003eEste 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.\u003c\/p\u003e","brand":"Dialética","offers":[{"title":"Default Title","offer_id":55330410463400,"sku":"1672715","price":609.5,"currency_code":"UYU","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0526\/8960\/0680\/files\/POCI-9786525227610_POCI-201874_9786525227610_baab6ed4-8620-4f5b-b544-22f8a1a4ce3c.jpg?v=1774931804","url":"https:\/\/www.libreriapocho.com.uy\/products\/inducao-finita-deducoes-e-maquina-de-turing-joao-almeida-1","provider":"Librería Pocho","version":"1.0","type":"link"}