editor: Edições 70, maio de 2004
ESGOTADO OU NÃO DISPONÍVEL
VENDA O SEU LIVRO i
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 233 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
Dicionário de Filosofia

Dicionário de Filosofia

10%
Edições 70
50,50€ 10% CARTÃO
portes grátis
Dicionário de Estética

Dicionário de Estética

10%
Edições 70
36,20€ 10% CARTÃO
portes grátis
Logic From A To Z

Logic From A To Z

10%
TAYLOR & FRANCIS LTD
225,31€ 10% CARTÃO
portes grátis
Logic From A To Z

Logic From A To Z

10%
TAYLOR & FRANCIS LTD
45,05€ 10% CARTÃO
portes grátis
Logic From A To Z

Logic From A To Z

10%
TAYLOR & FRANCIS LTD
225,31€ 10% CARTÃO
portes grátis
Logic From A To Z

Logic From A To Z

10%
TAYLOR & FRANCIS LTD
45,05€ 10% CARTÃO
portes grátis
Philosophica N.º 38

Philosophica N.º 38

10%
Edições Colibri
10,00€ 10% CARTÃO
Esboço de uma Antropo-Lógica

Esboço de uma Antropo-Lógica

10%
Instituto Piaget
24,38€ 10% CARTÃO
portes grátis