Lógica informática

Mostrar otras versiones (3)

Los capítulos iniciales del libro exponen las teorías matemáticas del cálculo proposicionesl y el cálculo de predicados, en su enfoque tanto axiomático como sempantico. Los capítulos siguientes estan dedicados al tema de la verificación de programas procedurales, las técnicas de deducción automática...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cuena, José
Formato: Libro
Lenguaje:Español
Publicado: Madrid : Alianza, 1985.
Edición:1º edición
Materias:
FILOSOFIA
INFORMATICA
LOGICA
MATEMATICAS
DOCUMENTOS TEORICOS O METODOLOGICOS
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca H. González (UNGS) de Universidad Nacional de General Sarmiento
LEADER 01361nam a22003010a 4500
001 PT4827
003 AR-LpoUNG
005 20210131232004.0
008 191001s1985||||sp |||||||||||||||||spa d
020 |a 8420686018  |c $8.46 
040 |a AR-LpoUNG  |b spa  |c AR-LpoUNG  |e aacr 
041 |a spa 
044 |a sp  
082 0 |a 005.1 963log 
100 1 |a Cuena, José 
245 1 0 |a Lógica informática 
250 |a 1º edición 
260 |a Madrid :   |b Alianza,   |c 1985. 
300 |a 551 p. :  |b gráfs., tbls. 
520 |a Los capítulos iniciales del libro exponen las teorías matemáticas del cálculo proposicionesl y el cálculo de predicados, en su enfoque tanto axiomático como sempantico. Los capítulos siguientes estan dedicados al tema de la verificación de programas procedurales, las técnicas de deducción automática y su aplicación a la programación lógica. Finalmente se estudian algunas aplicaciones a dos de las áreas de investigación que más interés tienen en la actualidad y que más prometen de cara al futuro: la planificación automática de robots y el razonamiento aproximado en sistemas expertos de inteligencia artificial. 
650 4 |a FILOSOFIA 
650 4 |a INFORMATICA 
650 4 |a LOGICA 
650 4 |a MATEMATICAS 
651 4 |a DOCUMENTOS TEORICOS O METODOLOGICOS 
905 |a 4827 
942 |c LIB 
999 |c 13082  |d 13082 

Ejemplares similares