Bertrand.pt - Glossário de Lógica

Glossário de Lógica

de Michael Detlefsen, John B. Bacon e David Charles McCarty 

Editor: Edições 70
Edição ou reimpressão: maio de 2004
Portes
Grátis
10%
12,72€
Poupe 1,27€ (10%) Cartão Leitor Bertrand
Em stock - Envio 24H
portes grátis

O presente dicionário apresenta ao leitor um glossário de termos usados em lógica formal e princípios matemáticos. As definições que nele figuram constam dos rudimentos da lógica (argumento, tabela de verdade, variável, etc.); designações próprias da teoria dos conjuntos e modelos (isomorfismo, função), ou da teoria da computação (algoritmo, máquina de Turing ou problema da indecisão). Incluem-se breves enunciações de determinados resultados (como seja o caso dos teoremas de Gödel, Herbrand, Löwenheim-Skolem ou o lema de Zorn). Foi igualmente incluída uma tabela de símbolos lógicos empregues na teoria dos conjuntos e nas lógicas proposicional, predicativa e modal. Os termos e conceitos que integram a obra encontram-se ordenados alfabeticamente, tendo sido introduzidos títulos remissivos, de forma a permitir ao leitor uma melhor localização dos assuntos (ex.: Processo efectivo V. Algoritmo). Muitas das entradas são seguidas de remissões grafadas em itálico, com o intuito de facilitar a compreensão ou introduzir um desenvolvimento mais pormenorizado.

Glossário de Lógica
de Michael Detlefsen, John B. Bacon e David Charles McCarty 
ISBN: 9789724411736 Ano de edição ou reimpressão: Editor: Edições 70 Idioma: Português Dimensões: 156 x 236 x 12 mm Encadernação: Capa mole Páginas: 126 Tipo de Produto: Livro Coleção: Lexis Classificação Temática: Livros  >  Livros em Português  >  Dicionários e Enciclopédias  >  Técnicos

Sugestões

A Cidade do Sol
10%
portes grátis
10% Cartão Leitor Bertrand
6,67€
Guimarães Editores
O Mundo Às Avessas
10%
portes grátis
10% Cartão Leitor Bertrand
10,60€
Opera Omnia
X
O QUE É O CHECKOUT EXPRESSO?


O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.