Aguarde...
 

COMPUTABILITY AND LOGIC


    R$ 212,00

    em até 7x de R$ 30,29 sem juros no cartão, ver mais opções
    Produto sob encomenda
    Previsão: 6 Semanas + Frete

     
    Frete grátis para compras acima de:
    Sul e Sudeste: R$ 99,00
    Centro-Oeste e Nordeste: R$ 109,00
    Norte: R$ 139,00
    Confira o regulamento

    Calcule prazo de entrega e frete:

     - 

    Sinopse

    Contents - Part I. Computability Theory - 1. Enumerability; 2. Diagonalization; 3. Turing computability; 4. Uncomputability; 5. Abacus computability; 6. Recursive functions; 7. Recursive sets and relations; 8. Equivalent definitions of computability; Part II. Basic Metalogic - 9. A precis of first-order logic - syntax; 10. A precis of first-order logic - semantics; 11. The undecidability of first-order logic; 12. Models; 13. The existence of models; 14. Proofs and completeness; 15. Arithmetization; 16. Representability of recursive functions; 17. indefinability, undecidability, incompleteness; 18. The unprovability of consistency; Part III. Further Topics - 19. Normal forms; 20. The Craig interpolation theorem; 21. Monadic and dyadic logic; 22. Second-order logic; 23. Arithmetical definability; 24. Decidability of arithmetic without multiplication; 25. Non-standard models; 26. Ramsey's theorem; 27. Modal logic and provability.

    Detalhes do Produto

      • Ano de Edição: 2007
      • Ano:  2007
      • País de Produção: United States
      • Código de Barras:  9780521701464
      • ISBN:  0521701465
      • Encadernação:  BROCHURA
      • Peso: 0.82 kg
      • Nº de Páginas:  368

    Avaliação dos Consumidores

    ROLAR PARA O TOPO