10% de desconto
editor: Edições 70, maio de 2004
14,20€
10% DE DESCONTO CARTÃO
EM STOCK -
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

Propriedade Descrição
ISBN: 9789724411736
Editor: Edições 70
Data de Lançamento: maio de 2004
Idioma: Português
Dimensões: 155 x 237 x 9 mm
Encadernação: Capa mole
Páginas: 126
Tipo de produto: Livro
Coleção: Lexis
Classificação temática: Livros em Português > Dicionários e Enciclopédias > Técnicos
EAN: 9789724411736
Idade Mínima Recomendada: Não aplicável

LIVROS DA MESMA COLEÇÃO

QUEM COMPROU TAMBÉM COMPROU