Načítá se…
| Título: | Lógica y lenguajes formales /2 Sistemas de primer orden y deducción |
|---|---|
| Hlavní autor: | |
| Vydáno: |
Buenos Aires
Centro Editor de América Latina
|
| Fecha de edición: | 1986 |
| Fyzický popis: | 269 p. |
| Edice: | Lógica y epistemología
|
| Shrnutí: | " Las BIBLITECAS UNIVERSITARIAS del Centro Editor de América Latina pretenden poner al alcance del público un material de lectura científico de muy buen nivel teórico, que cubra una amplia y diversificada gama de temas, problemas y metodologías y proporcione, al mismo tiempo, una visión actual de las disciplinas abordadas. Se propone llegar a públicos diferentes y específicos; estudiantes de tercer nivel -universitarios o de profesorado-, graduados jóvenes, cuadros profesionales intermedios y otros sectores interesados.
Lógica y lenguajes formales/2 es la continuación del volumen Lógica y lenguajes formales/1. Para un lector con una información mínima en lenguajes y conjuntos, este nuevo texto es prácticamente autosuficiente. De echo, ambos volúmenes mantienen una continuidad y constituyen un solo libro que hemos dividido por motivos estrictamente técnicos.
Este segundo volumen, cuyo subtitulo es Lógica de primer orden y deducción, aplica los contenidos del primero, de carácter estructural, a problemas teóricos; básicamente el de la deducción. Presenta la lógica clásica como un cálculo proposicional que puede basarse en cualquier lenguaje de primer orden; esto, después de la introducción de la lógica proposicional (de orden cero), cuya finalidad única es demostrar el uso de esa lógica en la de predicados.
El texto incluye deducción natural, nociones sobre deducción axiomática y secuencial, metateoremas y aspectos semánticos. Además, completan esta obra de lectura importante e innovadora, apéndices sobre lógica y lingüística, propiedades de teorías de primer orden y una batería de problemas.
Carlos Lungarzo, matemático argentino y doctor en filosofía, realizó una vasta tarea docente en las universidades de Mc Gill (Canadá) y Campisinas (San Pablo, Brasil), de cuyo Centro de Lógica fue cofundador.
Actualmente es investigador del CONICET y profesor en las universidades de Buenos Aires y de La PLata. " (extraído de la contratapa) |
| ISBN: | 9502513150 |
| Témata: |