Inicio > Tecnología, ingeniería, agricultura > Tecnología: cuestiones generales > Indução Finita, deduções e Máquina de Turing
Indução Finita, deduções e Máquina de Turing

Indução Finita, deduções e Máquina de Turing

João Almeida

15,60 €
IVA incluido
Disponible
Editorial:
Editora Dialetica
Año de edición:
2022
Materia
Tecnología: cuestiones generales
ISBN:
9786525227610
15,60 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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. 10

Artículos relacionados

  • Science and the Big Issues of Our Time
    Martin Gellender
    Within the last few generations, our world has been shaped by technological change enabled by scientific advances. This is particularly evident to the 'baby boomer' generation, who have lived through and witnessed huge changes in society over the course of their lifetimes. Although many have little education in science, or have forgotten what they learned in high school, they u...
    Disponible

    26,58 €

  • Statics+++
    James W Dally / Robert J Bonenberger
    This textbook has been prepared to support a course offering for Statics at the University of Nevada at Reno.  Statics provides the first exposure of engineering students to the study of mechanics.  While Statics is a relatively simple subject, many students find it difficult, and they often perform far below our expectations.  In an effort to improve the curriculum, several me...
    Disponible

    101,22 €

  • Technical Writing, Presentational Skills, and Online Communication
    Raymond Greenlaw
    This book addresses four main topics: professional ethics, technical writing, presentation skills, and online writing. These topics are woven throughout the book and some of them are the main subjects of one or more chapters. The overarching theme of this book is to provide well-tested, best-practice techniques and strategies for main topic areas while focusing on information t...
  • Project Management Techniques and Innovations in Information Technology
    John Wang
    Managing cost, time, and quality of a project can be a challenging task for any project manager, but especially in times of an ever-changing and burgeoning field of IT. Project Management Techniques and Innovations in Information Technology offers a vital compendium of the latest research, case studies, best practices, and methodologies within the field of IT project management...
  • Phenomenology, Organizational Politics, and IT Design
    Information systems are researched, published on, and utilized as an extremely broad and vital sector of current technology development, usually studied from the scientific or technological viewpoints therein. Phenomenology, Organizational Politics, and IT Design: The Social Study of Information Systems offers a new look at the latest research and critical issues within the fie...
  • Geotechnical Applications for Earthquake Engineering
    Disaster preparedness and response management is a burgeoning field of technological research, and staying abreast of the latest developments within the field is a difficult task. Geotechnical Applications for Earthquake Engineering: Research Advancements has collected chapters from experts from around the world in a variety of applications, frameworks, and methodologies, and p...