This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

Nos preocupamos mucho de la enseñanza de la bioética y de las mejores metodologías para conseguir trasmitir conocimientos, actitudes y valores, pero no hemos reflexionado suficientemente en la importancia de los valores éticos en la educación para la salud, y…

Le brossage des dents, la mastication des aliments et toutes autres activités orales quotidiennes peuvent provoquer une bactériémie transitoire. Cette bactériémie transitoire a le potentiel de causer une endocardite infectieuse en présence de certains facteurs de risque. Les cardiopathies congénitales…

Designed to provide an introductory grounding in Typography, The Complete Typographer teaches the essentials for the effective use of type - technical expertise and historical knowledge, an understanding of the functional and aesthetic qualities of different typefaces, and the organization…

Building on the strength of the first edition, Quantitative Methods for Business and Economics provides a simple introduction to the mathematical and statistical techniques needed in business. This book is accessible and easy to use, with the emphasis clearly on…

En el trabajo se analizan las consecuencias de la crisis económica internacional de 2008 sobre el turismo en el destino Rio Grande do Norte (Brasil), dedicándose especial atención a los efectos de esta crisis y a las medidas implantadas para…

En el mundo globalizado actual, el idioma inglés ha cruzado las fronteras y se ha convertido en elemento esencial en el desarrollo y progreso de las naciones. La mayoría de los planes curriculares, en las instituciones educativas del Ecuador, para…

Este artículo es el resultado de un diálogo crítico con Literaturwissenchaft als Lebenswissenschaft (Teoría literaria como conocimiento de la vida) que es el “texto programático” (Programmschrift) escrito por el filólogo alemán Ottmar Ette, respecto de las reflexiones y debates sobre…