Sinopse1 | 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. A tradução foi revista pelo Prof. Desidério Murcho, Professor no King’s College e colaborador da Sociedade Portuguesa de Filosofia. A exemplo do Dicionário de Estética (nº 14 desta colecção) este é um dicionário temático que ainda não existia no nosso mercado e que irá por isso preencher uma necessidade e despertar o interesse de professores e estudantes das áreas relacionadas (Ciências Sociais e Matemáticas). |
---|---|
Autor1 | MCCARTHY, DAVID |
ISBN | 9789724411736 |
---|---|
Título | GLOSSÁRIO DE LÓGICA |
Editora | EDICOES 70 |
Formato | 16 X 23 cm |
Espessura | 1 cm |
Páginas | 128 |
Idioma | Português |
Assunto | FILOSOFIA |
Tipo de Capa | LIVRO BROCHURA (PAPERBACK) |
Edição | 1ª Edição |
Ano de Publicação | 2004 |
Veja os livros que os outros também se interessam!
Veja os livros que os outros também se interessam!
Veja os livros mais vendidos desta categoria!
Redes Sociais