Alonzo church

1297 palavras 6 páginas
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO SUL DE MINAS GERAIS
CAMPUS MUZAMBINHO
-------------------------------------------------
Bacharelado em Ciência da Computação

ADRIANO CARVALHO
EMERSON DIAS DO PRADO
MARCELO VIANA MAGALHÃES SEABRA

ALONZO CHURCH

-------------------------------------------------

-------------------------------------------------

Muzambinho
2011
ADRIANO CARVALHO
EMERSON DIAS DO PRADO
MARCELO VIANA MAGALHÃES SEABRA

ALONZO CHURCH

Trabalho apresentado ao curso de Bacharelado em Ciência da Computação do Instituto Federal de Educação, Ciência e Tecnologia do Sul de Minas Gerais – Campus Muzambinho para o seminário de Linguagens Formais e Autômatos.

Orientadora: Professora Aracele Garcia de Oliveira

Muzambinho
2011
1 – INTRODUÇÃO

Este trabalho retrata o matemático estaduniense Alonzo Church. De princípio, haverá uma explanação a respeito de sua vida e contribuições. Logo após, contribuições estas, serão dissertadas com explicação das circunstâncias que ocorreram.

2 – VISÃO GERAL

Alonzo Church (Washington, DC, 14 de junho de 1903 – Hudson (Ohio) – 8 de novembro de 1995) foi um matemático que atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação. Tendo influenciado as linguagens de programação, principalmente as linguagens funcionais, como o LISP. Suas principais contribuições destacam: * Prova negativa do “Entscheidungsproblem” (problema de decisão) * A tese de Church, ou tese de Church-Turing * Foi o editor fundador do “Journal of Symbol Logic” * Criou o cálculo lambda.

3 – JORNAL DA LÓGICA SIMBOLÍCA

Fundado em 1963, o periódico, é publicado trimestralmente atualmente, pela Associação da Lógica Simbólica. A lógica matemática e suas aplicações são temáticas em suas publicações. É imprescindível, as submissões estarem contidas de inovações e não apenas pequenas variações de trabalhos já estabelecidos.
Á Lógica Simbólica

Relacionados

  • Alonzo church
    718 palavras | 3 páginas
  • Calculo Lambda Alonzo Church Marcelo Parrela
    462 palavras | 2 páginas
  • EAFRT
    5784 palavras | 24 páginas
  • informatica
    1624 palavras | 7 páginas
  • Felipe Informatic
    1582 palavras | 7 páginas
  • Respostas do 1º capítulo de Teoria da Computação: máquinas universais e computabilidade.
    485 palavras | 2 páginas
  • Teoria da computação
    2482 palavras | 10 páginas
  • Quem foi Alan Turing
    819 palavras | 4 páginas
  • Inteligência Artificial
    494 palavras | 2 páginas
  • ATPS - Teoria da Computação
    340 palavras | 2 páginas