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,90€
Poupe 1,29€ (10%) Cartão Leitor Bertrand
Em stock
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.

Outros livros da coleção

Dicionário de Filosofia
10%
portes grátis
10% Cartão Leitor Bertrand
39,90€
Edições 70
Dicionário de Mitologia Grega e Romana
10%
portes grátis
10% Cartão Leitor Bertrand
21,90€
Edições 70
Glossário de Lógica
de Michael Detlefsen, John B. Bacon e David Charles McCarty 
ISBN: 9789724411736 Ano de edição ou reimpressão: 05-2004 Editor: Edições 70 Idioma: Português Dimensões: 155 x 233 x 9 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

Quem comprou também comprou

A Lógica Moderna
20,03€
Publicações Europa-América
Pensar a Lógica
18,89€
Instituto Piaget
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.