Logica E Estrutura

College Publications
SKU:
9781848902626
|
ISBN13:
9781848902626
$25.33
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
O livro-texto popular de Dirk van Dalen, LOgica e Estrutura, agora em sua quinta ediCAo, oferece uma introduCAo abrangente aos fundamentos da lOgica clAssica e da lOgica intuicionIstica, da teoria dos modelos e do famoso teorema da incompletude de GOdel. A lOgica proposicional e a lOgica de predicados sAo apresentadas num estilo fAcil de ler usando a deduCAo natural de Gentzen. O livro prossegue com alguns conceitos e fatos bAsicos da teoria dos modelos: uma discussAo sobre compaccidade, Skolem-LOwenheim, modelos nAo-padrAo e eliminaCAo de quantificadores. A discussAo da lOgica clAssica E encerrada com uma exposiCAo concisa da lOgica de segunda ordem. Em vista do crescente reconhecimento de mEtodos e princIpios construtivos, a lOgica intuicionIstica e a semAntica de Kripke sAo cuidadosamente exploradas. Uma sErie de caracterIsticas construtivas especIficas, como a separaCAo e a igualdade, a traduCAo de GOdel, as propriedades da disjunCAo e da existEncia tambEm foram incluIdas. O Ultimo capItulo sobre o primeiro teorema da incompletude de GOdel E autocontido e fornece uma exposiCAo sistemAtica da teoria da recursAo necessAria. Esta nova ediCAo foi devidamente revisada e contEm uma nova seCAo sobre ultraprodutos.


  • | Author: Dirk Van Dalen, Ruy Jgb De Queiroz
  • | Publisher: College Publications
  • | Publication Date: Nov 15, 2017
  • | Number of Pages: 274 pages
  • | Language: Portuguese
  • | Binding: Paperback
  • | ISBN-10: 184890262X
  • | ISBN-13: 9781848902626
Author:
Dirk Van Dalen, Ruy Jgb De Queiroz
Publisher:
College Publications
Publication Date:
Nov 15, 2017
Number of pages:
274 pages
Language:
Portuguese
Binding:
Paperback
ISBN-10:
184890262X
ISBN-13:
9781848902626