18 resultados para Formal logic
Resumo:
El siguiente documento se realizó, con el fin de entender inicialmente la visión mundial y de país de la importancia de las TIC para luego asentarlo en un escenario particular, esencialmente en el sector textil y de confecciones de Bogotá. Desarrollar este conocimiento permite entender los proyectos de integración de software y hardware que las empresas, en este caso las pymes del sector textil, realizan para mejorar ciertos aspectos en las áreas de sus entidades. Durante el desarrollo de este trabajo, se conocerán los modelos y procesos que existen en el tema para poder realizar un proyecto de adquisición de Tecnologías de la Información y la Comunicación en un pyme del sector textil.
Resumo:
Este trabajo final de grado evalúa la existencia de la pena de muerte en Colombia en su visión formal y real, a través del estudio de caso de la masacre de El Salado, en la cual las Autodefensas Unidas de Colombia toman la justicia en sus manos ejecutando a más de 60 civiles. Inicialmente se hace una descripción de cómo se ha tratado el tema de la pena de muerte a lo largo de la historia, dando una breve apreciación de lo que representa y ha representado para la civilización occidental, así como del concepto y de los tipos de penas de muerte y ejecuciones. Seguidamente se describe la historia de la pena de muerte en Colombia; como ha sido planteada la discusión del tema y como ha sido abordada institucionalmente desde la Constitución colombiana. Posteriormente se hace una breve descripción de los hechos que acontecieron durante la masacre de El Salado, los juicios aplicados, los medios de eliminación bélica y no bélica que allí tuvieron lugar y las consecuencias psicosociales para la población. La masacre tuvo lugar entre el 16 y el 21 de febrero del 2000. Finalmente se evalúa el concepto de pena de muerte y cómo ha sido la visión formal de su aplicación, así como la responsabilidad del Estado ante la aplicación de esta por parte de actores armados no institucionales. Asimismo, se evalúa la existencia de la pena de muerte desde tres puntos de vista: desde el Estado, desde las victimas y desde los victimarios.
Resumo:
El presente trabajo de investigación pretende examinar el caso del proceso de paz en El Salvador, y catalogarlo como un ejemplo, que permite vislumbrar la forma en las que se generan una serie de acuerdos de paz que siguen en conjunto, con una misión formal de acompañamiento por parte de Naciones Unidas, esta unión supone un proceso de paz complejo, con situaciones problemáticas y de riesgo, pero con grandes soluciones y fortalezas, para lograr su objetivo.
Resumo:
En este artículo se evalúan las disposiciones del pensamiento crítico; se demuestra la circularidad de sus enunciados y, consecuencia de ello, su insuficiencia para cubrir la brecha que va de las habilidades del pensamiento crítico a la acción crítica.
Resumo:
El interés de este trabajo de grado es analizar la relación entre los servicios públicos domiciliarios de agua y saneamiento básico sobre los procesos de asentamientos urbanos. Estudio de caso: Ciudad Porfía (asentamiento informal) y Villa Codem (asentamiento formal), Villavicencio, de 1983 a 2013. Se identifica la naturaleza y los principios de los servicios públicos domiciliarios desde la legislación colombiana vigente y se describen los procesos de conformación y desarrollo de los asentamientos urbanos mencionados. Siguiendo finalmente la perspectiva teórica sobre hábitat desarrollado por UN Hábitat y con una metodología basada en la observación del territorio, se avanza hacia el resultado de la investigación que permite identificar los procesos dinámicos de consolidación, desarrollo y formación de estos asentamientos urbanos y su relación con los servicios públicos domiciliarios de agua y saneamiento básico.
Resumo:
Nicolás Guzmán y Solanilla rector del Colegio Mayor del Rosario realiza el nombramiento de beca de colegial formal de número a favor del Maestro Juan Sáenz de la Fuente, siendo una de las quince becas de primera fundación. Título expedido por el Escribano don Antonio de Salazar Falcón.
Resumo:
Para diseñar unas guías de Evaluación, en programas de Educación No Formal, en el área de informática, para el manejo de Windows, es necesario constatar y diagnosticar las características de los alumnos que asisten a este tipo de educación
Resumo:
Este trabajo tiene como propósito diseñar el plan de formación, a partir de las competencias que deben ser desarrolladas por los distintos profesionales que asumen el rol de Coordinador ó responsable del programa de Salud Ocupacional en la DIAN
Resumo:
Petición del Colegial Juan Agustín de Rio, por una de las quince becas primera fundación del Colegio Mayor del Rosario, seguida del decreto del presidente de la Real Audiencia de Santafé proveyendo el nombramiento y la confirmación final de dicho nombramiento de beca y colegial formal. Siendo rector el doctor don Enrique de Caldas Barbosa y secretario don Francisco Ramírez Floreano de Hoyos.
Resumo:
Petición del Colegial Ignacio de Acosta, por una de las quince becas de primera fundación del Colegio Mayor del Rosario, seguida del decreto del presidente de la Real Audiencia de Santafé autorizando el nombramiento y El informe del rector Cristóbal de Torres Bravo dando noticia de aceptación de los estudiantes Ignacio de Acosta y Joseph Valera y Linares.
Resumo:
1. Petición de la beca de colegial formal por parte de Agustín de Valenzuela 2. Decreto del presidente de la Real Audiencia de Santafé 3. Informe del rector del Colegio Mayor del Rosario Gregorio de Borja sobre las cualidades de Agustín de Valenzuela estudiante de lengua latina 4. Auto de nombramiento de Agustín de Valenzuela como Colegial formal.
Resumo:
1. Petición de beca por parte de Manuel Félix Galvadón. 2. Decreto proveído por el presidente de la Real Audiencia de Santafé 3. Informe del rector del Colegio Mayor sobre las cualidades y aptitudes del pretendiente a la beca 4. Decreto de nombramiento de colegial formal a Manuel Félix Galvadón. Siendo rector el doctor don Antonio de Mur Sol de Villa y Grijota.
Resumo:
1. Petición de beca por parte de Manuel Zapata y Flórez 2. Decreto proveído por el presidente de la Real Audiencia de Santafé 3. Informe del rector del Colegio Mayor sobre las cualidades y aptitudes del pretendiente a la beca 4. Auto de nombramiento de colegial formal a Manuel Zapata y Florez. Siendo rector el doctor don Antonio de Mur Sol de Villa y Grijota.
Resumo:
This document provides recent evidence about the persistency of wage gaps between formal and informal workers in Colombia by using a non-parametric method proposed by Ñopo (2008a). Over a rich dataset at a household level during 2008-2012, it is found that formal workers earn between 30 to 60 percent more, on average, than informal workers. Despite of the formality definition - structuralist or institucionalist- adopted, it is clear that formal workers have more economic advantages than informal ones, but after controlling by demographic and labor variables an important fraction of the gap still remains unexplained.
Resumo:
Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial.