Glossário de Lógica
editor:
Edições 70, maio de 2004
‧
ver detalhes do produto
14,20€
10% DE DESCONTO
CARTÃO
V2pabk5VMUpTVzByVURnMmJuWldXRFZTTVhORVVtRnFVRVpGUldSMVRHVlZNVmh2VkZSTVFqZ3pNM1JDVlVFMVpERlRaa3MzSzJkck1GazRSRGhzWkZoWVZGSTBlbVJrUlRCYVduTlVNbTF3YWxwTGJWTk5kRFZJTHpreldVTTBWbnBoWkdGRU1UVlRlbXhEZGxwV1dWVmlaamhKTmtreGIxVk1WWEE0WW1sM2RETkdUVFEzWkZoa1J6aGpOV3hxZVZGNE9XOXBSMUp4WW5oT05sTjVWR3RKZUV4aVNtZDVVMHRLTWxFeFkyOVZUV2hQTjNOYVVUa3dWWFZhWlRoMGREaGlReXRyVW1KblRsUjZSbXhLV25wV1dHMU5hMVpKTlV0TFJIaElUVlZTWVhGMFJ6bEhRbmgxWmpVM2JGSTRTbVpKTkRaSE9HWnFSVE01VjNOUE5FRXhSaXMwVTBwamFIZzViVGxxYXpjellTOUpZMjFqWW5CWmRqQnlVVGQ1ZVhOMk1Wb3dOa3RQTTFsVVJYcFlSbFYyTjNSb1VsaFhkRmc1ZERSUEwwOW9SV3g0VUVvclJFeFBSMk4zYVV0R1ZIVnRaWEJvWkVOQ01ITkVlUzl1TVRWc1oxRXhabTl0WkZwb1dFSnhkMUZZVVhwMFFXWllhQzkyYlc5UWFGcFBUV040YWpOSFRGSjZObXhEZG1wa1IyaEhZbmRUWjFNMlNEZFlXRGRUWVhORmVraHZXSEVyZFV4MVJFRm5WRmN5Y0V0bU1taHNValZaTW1GR1ZHSlpNWFZ6TjAwM1EzZ3piVXhJVW5OTVJGbDROM296V1RoRGQwbzNOa0ZSUVRkUVNDdEhVSE5yVGxKUmNURndXV1l3Tm1sVVMycDJiQzl1ZWpOVU1YWkVPVnBoUkdSQmFXTTVZbUUwVFZkMlFtbFZPVE5rUVRSSE5UaHFTMng1WTBVdlpEUkNkWFZSUzBjM09XaHlRVGMyT0RCc2QxWmFkMDVtUTA1eE0zTXJOeTh5UjAxME0yeEdOMWR5YkVOWWJtMHJlVzh4VDNSNlFWSnVXRzF6YWtaQlNYTnFiSEZ1WjJVMVR6WjNSVmt4Wm5CTlVFd3dVak5SV1VGb1ZWSjVXVmR0Ym1WUVZsQTFOVzl2VlU5TVIyZGxZMlpOT1c5S1ZsWkhWRWhRY3poV1FTczVXWGRNVVdKYWJub3hMelZ2VDNseVRrZFpVbUZIUW5wV1dYUkhaRmQzT0hkWGRrZHdSbmxQY0hKQ2JXcE5TakJtYUdwaVJWa3dZVEV5UjFOSGEwSTNSRkZPUnpsUVNHbG5NSE5GUFE9PTphaCtRMlRpT1dyVUFpTXcrYU5OczJ3PT0=
EM STOCK
-
SINOPSE
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.
DETALHES
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
-
Dicionário de Filosofia10%Edições 7050,50€ 10% CARTÃO
-
Dicionário de Estética10%Edições 7036,20€ 10% CARTÃO
QUEM COMPROU TAMBÉM COMPROU
-
Dicionário de Filósofos10%Edições 7038,50€ 10% CARTÃO
-
Dicionário de Filosofia10%Edições 7050,50€ 10% CARTÃO