28.04.2013 Views

Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Redes Modalidad 1.pdf - RUA - Universidad de Alicante

Redes Modalidad 1.pdf - RUA - Universidad de Alicante

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Guía Docente <strong>de</strong> Lógica Computacional.<br />

Para trabajos (grupos/individual) se tendrán en cuenta los siguientes criterios para<br />

evaluar:<br />

Presentación <strong>de</strong>l trabajo realizado.<br />

Fuentes <strong>de</strong> documentación.<br />

Grado <strong>de</strong> originalidad.<br />

9. BIBLIOGRAFÍA Y MATERIALES<br />

9.1 Bibliografía básica<br />

Arenas Alegrías, Lour<strong>de</strong>s. Lógica Formal para Informáticos. Ediciones Díaz <strong>de</strong><br />

Santos, S. A., Madrid 1996.<br />

Barwise, Jhon y Etchemendy, Jhon. Language, Proof and Logic.1999-2000, CSLI<br />

Publicat., Stanford, California.<br />

Castel y Llorens. Lógica <strong>de</strong> Primer Or<strong>de</strong>n. M. Dpto. Ciencia <strong>de</strong> la Computación e<br />

Inteligencia Artificial. <strong>Universidad</strong> <strong>de</strong> <strong>Alicante</strong>, 1998.<br />

Clocksin W. F. y Mellish C. S. Programación en Prolog. Ed. Gustavo Gili, 1987.<br />

Garrido, Manuel. Lógica Simbólica. Editorial Tecnos, S.A., 2ª edición, 1991.<br />

Nero<strong>de</strong>, Anil y Richard A. Shore. Logic for Applications. Springer-Verlag, 2 nd<br />

edition, 1997.<br />

Reeves, S. y Clarke, M. Logic for Computer Science. Reprinted. First printed 1990,<br />

Inte(2002). rnational Computer Science Series, Addison-Wesley Publishing. (1993.<br />

Tymoczko, T. y Henle, J. Razón, dulce razón. Una guía <strong>de</strong> campo <strong>de</strong> la lógica<br />

mo<strong>de</strong>rna. Editorial Ariel, Barcelona. 2002.<br />

9.2 Otros recursos<br />

Creemos que lo más a<strong>de</strong>cuado para llevar a cabo un buen aprendizaje es po<strong>de</strong>r tener<br />

acceso a toda la información posible sobre lo que se <strong>de</strong>be apren<strong>de</strong>r, por eso <strong>de</strong>jamos al<br />

alcance <strong>de</strong>l alumno las siguientes herramientas para que haga buen uso <strong>de</strong> ellas:<br />

Página web asignatura: http://www.dccia.ua.es/dccia/inf/asignaturas/LC.<br />

Información completa y actualizada <strong>de</strong> la asignatura durante el curso académico.<br />

Página web <strong>de</strong> Lógica: http://www.dccia.ua.es/logica. Contiene software, apuntes<br />

y manuales <strong>de</strong> Prolog.<br />

Campus Virtual: servicio Internet <strong>de</strong> complemento a la docencia y a la gestión<br />

académica y administrativa.<br />

Dirección <strong>de</strong> correo electrónico: logica@dccia.ua.es don<strong>de</strong> se pue<strong>de</strong>n realizar<br />

sugerencias y hacer consultas a los profesores <strong>de</strong> la asignatura (tutorías virtuales).<br />

Libro <strong>de</strong> apuntes [castel96]: escrito por los profesores <strong>de</strong> la asignatura que<br />

contiene todos los contenidos teóricos y prácticos, con ejercicios resueltos, que se<br />

imparten durante el curso.<br />

Más recursos (ver web <strong>de</strong> asignatura)<br />

12

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!