Logica e Estrutura - Dalen, Dirk Van

. .

Résumé :
O livro-texto popular de Dirk van Dalen, L?gica e Estrutura, agora em sua quinta edi??o, oferece uma introdu??o abrangente aos fundamentos da l?gica cl?ssica e da l?gica intuicion?stica, da teoria dos modelos e do famoso teorema da incompletude de G?del. A l?gica proposicional e a l?gica de predicados s?o apresentadas num estilo f?cil de ler usando a dedu??o natural de Gentzen. O livro prossegue com alguns conceitos e fatos b?sicos da teoria dos modelos: uma discuss?o sobre compaccidade, Skolem-L?wenheim, modelos n?o-padr?o e elimina??o de quantificadores. A discuss?o da l?gica cl?ssica ? encerrada com uma exposi??o concisa da l?gica de segunda ordem. Em vista do crescente reconhecimento de m?todos e princ?pios construtivos, a l?gica intuicion?stica e a sem?ntica de Kripke s?o cuidadosamente exploradas. Uma s?rie de caracter?sticas construtivas espec?ficas, como a separa??o e a igualdade, a tradu??o de G?del, as propriedades da disjun??o e da exist?ncia tamb?m foram inclu?das. O ?ltimo cap?tulo sobre o primeiro teorema da incompletude de G?del ? autocontido e fornece uma exposi??o sistem?tica da teoria da recurs?o necess?ria. Esta nova edi??o foi devidamente revisada e cont?m uma nova se??o sobre ultraprodutos.

Biographie:
gica e Estrutura, agora em sua quinta ediç...

Sommaire:
O livro-texto popular de Dirk van Dalen, Ló...