Lógica y lenguajes formales 2 : Sistemas de primer orden y deducción /

"Para un lector con una información mínima en lenguajes y conjuntos, este nuevo texto es prácticamente autosuficiente. De hehco, ambos volúmenes mantienen una continuidad y constituyen un solo libro que hemos dividido por motivos técnicos. Este segundo volumen, aplica los contenidos del primero...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Lungarzo, Carlos
Formato: Libro
Lenguaje:Español
Publicado: Buenos Aires : Centro Editor de América Latina, 1986
Edición:1a ed.
Materias:
Lógica
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca UMET de Universidad Metropolitana para la Educación y el Trabajo (UMET)
LEADER 01433nam a22002057a 4500
003 AR-BaUME
005 20250604150216.0
008 250604b ||||| |||| 00| 0 spa d
999 |c 17688  |d 17684 
020 |a 9502513185 
040 |a UMET Biblioteca  |b spa  |c UMET Biblioteca 
100 |a Lungarzo, Carlos  |9 26256 
245 |a Lógica y lenguajes formales 2 :   |b Sistemas de primer orden y deducción /   |c Carlos Lungarzo 
250 |a 1a ed. 
260 |a Buenos Aires :   |b Centro Editor de América Latina,   |c 1986 
300 |a 269 p. :   |c 21 cm. 
520 |a "Para un lector con una información mínima en lenguajes y conjuntos, este nuevo texto es prácticamente autosuficiente. De hehco, ambos volúmenes mantienen una continuidad y constituyen un solo libro que hemos dividido por motivos técnicos. Este segundo volumen, 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 uqe puede basarse en cualquier lenguaje de primer orden; esto, después de la introducción d ela lógica proposicional (de orden cero), cuya finalidad única es demostrar el uso de esa lógica en la de predicados."  |c (contratapa) 
650 0 |9 8532  |a Lógica 
942 |2 udc  |c LIBRO 
952 |0 0  |1 0  |2 udc  |4 0  |6 16_LUN  |7 0  |9 25380  |a UMETbiblio  |b UMETbiblio  |d 2025-06-04  |e Donado por Carlos Crosetti  |i 008958  |o 16 LUN  |p 008958  |r 2025-06-04  |w 2025-06-04  |y LIBRO 

Ejemplares similares