Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Computational Logic

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

 Marcadores Sociales
Computational Logic
Id. 41784808
Idioma inglés
Titulo Computational Logic
Autor(es) Maria H. Napierala
Localización http://citeseer.ist.psu.edu/349448.html
Versión 1.0
Estado Final
Descripción COMPUTATIONAL LOGIC Maria H. Napierala, Ph.D. Oregon Graduate Institute 1992 Supervising Professor: Richard B. Kieburtz This thesis resulted from the research on relating classical and constructive proofs. It is well known that constructive type theories constitute formal systems for constructive mathematics. In these theories the constructivity is implicit in the restriction to intuitionistic logic. This means that restrictions are placed both on the objects studied and on the methods of proofs which may be applied. Hence, not all logical laws (e.g., law of excluded middle, proof by contradiction) can be used in the proofs of consistency of logical specifications. Thus, constructive type theories are reasoning systems only for purely functional programs. Even though functional programming is mathematically elegant, it lacks expressiveness gained by using classically founded non-local reasoning (e.g., escapes and coroutines). Yet, the constructive type theories possess a desirable ...
Tipo ps
Palabras clave Maria H. Napierala Computational Logic
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] ftp://cse.ogi.edu/pub/tech-reports/1992/92-TH-008.ps.gz
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.