An Application of Logic
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
An Application of Logic
|
| Id. |
48023441 |
| Idioma |
inglés
|
| Titulo |
An Application of Logic |
| Autor(es) |
Renata P. De Freitas
Progr Eng
Sist Comput
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.331
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms are equivalent.
|
| Tipo |
application/pdf
|
| Palabras clave |
Logic Engineering
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://lia.ufc.br/~locia/artigos/vvf.pdf
[References] 10.1.1.19.4684
[References] 10.1.1.86.9277
[References] 10.1.1.45.556
|
| Fecha de contribución |
24-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
