Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
125Activity
0 of .
Results for:
No results containing your search query
P. 1
Logica Computacional UNED

Logica Computacional UNED

Ratings:

4.9

(10)
|Views: 53,140|Likes:
Published by anon-998398
Apuntes de la asignatura lógica computacional de la UNED, Ingenieria Informática Sistemas/Gestión
Apuntes de la asignatura lógica computacional de la UNED, Ingenieria Informática Sistemas/Gestión

More info:

Published by: anon-998398 on Mar 07, 2007
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/19/2013

pdf

text

original

 
Lógica Computacional
José Luis Fernández VindelÁngeles Manjarrés RiescoFrancisco Javier Díez Vegas
Dpto. Inteligencia Artificial
E.T.S.I. InformáticaUNED2003
 
Presentación
Estos apuntes son el embrión de un futuro texto sobre el papel de la lógica en la computación. Hansurgido, en principio, como material de estudio de la asignatura
 Lógica Computacional
quelos autoresimparten en cuarto curso de Ingeniería Informática en la UNED.Quedan aún por desarrollar algunos contenidos. En particular, los que se refieren a la implemen-tación de los sistemas de primer orden, así como un breve recorrido por su uso en computación einteligencia artificial. El capítulo dedicado a las lógicas modales todavía no hace honor a la enormeexplosión teórica y aplicada de este tipo de sistemas en los últimos años. Por último, obviamente,el capítulo sobre lógica temporal debe ampliarse para recoger, al menos, las lógicas temporales de lacomputación (tales como
CTL
y sus subsistemas) y su empleo en la verificación de sistemas reactivosconcurrentes.Los capítulos 1-2 y 5-6 están siendo desarrollados por José Luis Fernández Vindel, el capítulo 3por Ángeles Manjarrés Riesco y el capítulo 4 por Francisco Javier Díez Vegas, todos ellos profesoresdel Departamento de Inteligencia Artificial de la UNED.Agradeceríamos sinceramente cualquier comunicación sobre erratas así como sugerencias sobrelos contenidos y su exposición. En particular nos preocupa cómo mantener un tono expositivo amiga-ble sin renunciar al rigor: hasta qué punto facilitar demostraciones formales (y dónde situarlas), cómoreubicar ejemplos y ejercicios para no entorpecer la exposición, etc.La dirección de correo
logica4@dia.uned.es
está a su disposición para estas comunicaciones,así como la página
www.ia.uned.asignaturas/logica4
donde podrá consultar la (inevitable) fe deerratas y el desarrollo de estas notas.
 Los autoresUNED, Madrid, 1 de octubre de 2003
 
II

Activity (125)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Anita Villadiego liked this
Carlos Contur liked this
Roxana Mendoza liked this
LuisGenetCruz liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->