Lógica de Primeira Ordem, livro de Raymond M. Smullyan

Lógica de Primeira Ordem

editora: UNESP
assunto:
A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas e de sentenças dedutíveis a partir deles. Este livro serve como introdução à Teoria da Quantificação e como uma exposição de novos resultados e técnicas concernentes aos métodos "analíticos" ou "sem corte", além de enfatizar o ponto de vista dos tableaux em virtude de sua fascinante simplicidade e elegância matemática.

+ livros relacionados

Descrição
A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas e de sentenças dedutíveis a partir deles. Este livro serve como introdução à Teoria da Quantificação e como uma exposição de novos resultados e técnicas concernentes aos métodos "analíticos" ou "sem corte", além de enfatizar o ponto de vista dos tableaux em virtude de sua fascinante simplicidade e elegância matemática.

Dados Técnicos
Páginas: 208
Peso: 314g
ISBN: 9788571395206


A Livraria

A 30PorCento é uma livraria virtual cuja missão principal é potencializar, através dos livros, a renovação do pensamento crítico brasileiro. Oferecemos livros com desconto em todo nosso catálogo.

Frete: antes de fechar sua compra você poderá optar por dois tipos de envio conforme calculado por nosso sistema de delivery. As opções são frete Econômico, que lhe garante o preço mais baixo de envio, ou o frete Expresso, que chega até você da forma mais rápida possível. Nossos métodos de envio incluem transportadoras privadas, motoboys ou os Correios.

Política de troca e devolução: produtos vendidos e enviados pela Livraria 30porcento podem ser devolvidos em até 30 dias após o recebimento do pedido. Para receber o reembolso total, os produtos devolvidos devem estar em condições de novo. Produtos com defeito podem ser devolvidos no prazo de garantia legal solicitados por email em até 30 dias.


Editoras

> ALAMEDA
> ALEPH
> ARQUIPÉLAGO
> ATELIE
> AUTONOMIA LITERÁRIA
> BAZAR DO TEMPO
> BERLENDIS & VERTECCHIA
> BLUCHER
> BOITEMPO
> COMPANHIA DAS LETRAS
> CONTRACORRENTE
> CONTRAPONTO
> CORTEZ
> DUBLINENSE
> EDIPUCRS
> EDITORA 34
> EDITUS
> EDUFBA
> EDUFPA
> EDUFSCAR
> ELEFANTE
> ESTAÇÃO LIBERDADE
> GERAÇÃO EDITORIAL
> ILUMINURAS
> IMPRENSA OFICIAL
> KAPULANA
> KLAXON
> LIBER ARS
> L&PM
> LOTE 42
> MERCADO DE LETRAS
> MUNDARÉU
> OFICINA RAQUEL
> PARÁBOLA
> POLEN
> POLITEIA
> PONTES
> RECORD
> ROCCO
> SENAC
> TODAVIA
> UBU
> UFSM
> UFV
> UNB
> UNESP
> UNICAMP
> UNIFESP
> UNIJUÍ
> UNISINOS
> WMF MARTINS FONTES
> ZOUK



Apoiamos

Blog Não Gosto de Plágio - a polêmica do plágio de traduções literárias no Brasil, por Denise Bottmann