CS302 - Logic Programming
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
CS302 - Logic Programming
|
| Id. |
41867251 |
| Idioma |
inglés
|
| Titulo |
CS302 - Logic Programming |
| Autor(es) |
Gordon Royle
|
| Localización |
http://citeseer.ist.psu.edu/431823.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This document consists of the lecture notes for the Logic Programming course given at the University
of Western Australia. This course involves both theoretical logic programming and its practice as
exemplied by the Prolog programming language. The theoretical portions are heavily based on [4],
and a portion of this text is essentially a reordering of the material contained therein. The portions
on Prolog and propositional logic are based on material from a variety of sources ([1],[6] [2],[5]).
|
| Tipo |
ps
|
| Palabras clave |
Gordon Royle CS302 - Logic Programming
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cs.uwa.edu.au/undergraduate/units/230.302/lectures/logic.ps
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
