Subsistemas de la Aritmética de Segundo Orden y Matemática Inversa

Este trabajo de fin de grado consiste en una introducción a la matemática inversa. En ´el introduciremos la aritmética de segundo orden y nos centraremos en el estudio de los subsistemas RCA0,WKL0, ACA0, ATR0 y Π11-CA0, los llamados “Big Five”. En RCA0 desarrollaremos una codificación de la matemática y usaremos RCA0 como teoría base para demostrar la equivalencia de ciertos teoremas de las matemáticas con alguno de los restantes subsistemas. Además, estudiaremos la parte de primer orden de los tres primeros subsistemas y hablaremos de cómo usar la matemática inversa para obtener una realización parcial del programa de Hilbert.This final degree project is an introduction to reverse mathematics. We will introduce second order arithmetic and we will focus on the study of the subsystems RCA0, WKL0, ACA0, ATR0 and Π11-CA0, which are called the Big Five. We will develop a coding of mathematics inside RCA0 and we will use RCA0 as a base theory to prove equivalences between some mathematical theorems and the other subsystems. In addition, we will study the first order part of the first three subsystems and we will explain how to use reverse mathematics to obtain a partial realization of Hilbert’s program.Universidad de Sevilla. Grado en Matemática

Construcción y adecuación de sistemas sanitarios en la granja porcicola "el Porvenir" (Inversiones agropecuarias del Caribe S.A. (Inacar)

En la medida en que las explotaciones del subsector porcícola y vacuno han ido creciendo y concentrándose en muchas regiones de Colombia, han surgido algunos inconvenientes con el manejo de los residuos generados. Estos residuos pueden ser de tipo orgánico (estiércol sólido o fresco y animales muertos) o inorgánicos (envases, frascos, empaques, etc.). Pero sin lugar a dudas uno de los residuos que genera mayor controversia es la excreta debido al volumen generado y a sus características físico-químicas que dificultan su manejo (MMA, 2002). Teniendo en cuenta lo anterior, este estudio se centró en la búsqueda de soluciones ambientales sostenibles a los problemas de orden sanitario que se evidenciaban en la granja porcícola "El Porvenir" por el manejo inadecuado de las excretas producidas. Con lo anterior, se buscaba mejorar la calidad ambiental en la granja y las zonas adyacentes a ella que estaban siendo perjudicadas por los impactos negativos generados. Adicionalmente, era necesaria la realización de este tipo de estudio en pro del cumplimiento de directrices establecidas por el Instituto Colombiano Agropecuario (ICA) para el aseguramiento de niveles de aptitud ambiental adecuados

Distribución de planta para mejorar la productividad en el área de operaciones de la empresa de artesanías Decor Paitan S.A.C. Lima – 2018

La presente investigación tuvo como finalidad analizar de qué manera la distribución de planta mejora la productividad de la empresa de Artesanías Decor Paitan S.A.C. Lima, 2018 dedicada al trabajo de carpintería. Este trabajo de investigación es de tipo cuantitativo, de diseño experimental en primera fase se implementó la toma de datos a través de fichas de registro dentro de los 45 días antes y 45 días después, detectando los motivos que tienen relación directa y que afectan en la productividad de la empresa. Se utilizó la herramienta de la ingeniería el método Guerchet para el cálculo de las áreas de toda la empresa donde esta no contaba con el área adecuada y asimismo el método de relaciones de actividades para una adecuada distribución de la empresa, luego de la implementación de la distribución de la Planta productividad aumento en un 14 % llegando a la conclusión que el análisis financiero económico de la investigación es aceptable

Cambios en la distribución potencial de pinares del occidente de Cuba en diferentes escenarios de cambio climático

Con el propósito de proyectar los cambios y posibles impactos en la distribución de hábitats potenciales para los pinares en el occidente de Cuba bajo diferentes escenarios de cambio climático, se empleó la técnica de modelación de distribución de especies con los algortimos MaxEnt Y BIOCLIM. A partir de la georreferenciación de 1851 rodales naturales de Pinus caribaea var. caribaea y de Pinus tropicalis y los datos del clima actual y futuro, se estimaron las áreas con aptitudes ambientales alta media y baja, siendo estas últimas muy superiores al área ocupada en la actualidad. El algoritmo MaxEnt con los datos del Modelo Climático Regional PRECIS-CARIBE, mostró mejor desempeño en sus predicciones de cambios e impactos. A mediano y largo plazo se espera una reducción y un ligero desplazamiento al Este de los nichos climáticos potenciales para Pinus caribaea en Pinar del Río e Isla de la Juventud, para Pinus tropicalis, que tiene áreas de aptitud ambiental alta mayor, se estima un incremento y desplazamiento al Oeste de sus nichos ecológicos en Pinar del Río, pero sin condiciones climáticas favorables en la Isla de la Juventud. Se proyecta impactos mayores en áreas que hoy son fuentes semilleras de Pinus caribaea var. caribaea

Evaluación del proceso de enlatado sobre las características funcionales y físico químicas de la guanábana Annona Muricata L en almíbar

Evaluar el proceso de enlatado sobre las características funcionales y fisicoquímicas de la guanábana annona muricata l. en almíbar.La guanábana es una fruta exótica la cuál aporta diversos beneficios a la salud, debido a su composición química y funcional entre los cuales se destaca la capacidad antioxidante y polifenoles, sin embargo, la misma presenta problemas en cuanto se refiere a su comercialización, esta tiene un periodo corto de vida en anaquel. En la presente investigación se procedió a evaluar la influencia del proceso de enlatado sobre las características funcionales (polifenoles, capacidad antioxidante) y fisicoquímicas (pH, sólidos solubles, acidez titulable) de la guanábana en almíbar, planteando una alternativa al tópico de manejo postcosecha. Para el procedimiento experimental, se seleccionó la materia prima en un estado de madurez de consumo presentando 3,81 pH, 0,73 acidez titulable, 18,65 °Brix sólidos solubles, 432,26 mg GAE/100g polifenoles y 75,90 µmol TE/g capacidad antioxidante. Para el análisis estadístico se realizó por medio de un diseño completamente al azar (DCA) con un arreglo factorial AxBxC, para el factor A se propuso una presentación de la fruta (2cm y 3cm), el factor B una concentración de almíbar (20°Brix| y 30°Brix) y para el factor C un método de escaldado (Vapor e Inmersión). Los resultados arrojados para el producto final, presentaron diferencias significativas, indicando que la interacción para el tratamiento (T1) presentación de la fruta de 2 cm y un método de escaldado a vapor presentó la mayor retención de polifenoles y capacidad antioxidante en comparación a los demás tratamientos, presentando valores de 285,82 mg GAE/100g y 60,88 µmol TE/g. En adición durante las pruebas de análisis sensorial realizadas, se determinó una mejor aceptación del panel catador para el tratamiento T1 en relación a los demás tratamientos, por medio de los resultados se estableció que, el proceso de enlatado si influye en las características funcionales y fisicoquímicas de la fruta.Ingenierí

“De la basura a lectura”: la construcción de la biblioteca pública El Tintal Manuel Zapata Olivella, 1989–2021

El presente artículo busca analizar y describir, en primer objetivo, cómo fue el proceso de transformación de la Planta de Transferencia de Basura de la Empresa Distrital de Servicios Públicos a la Biblioteca Pública El Tintal. Como segundo objetivo, se pretende indagar por qué recibe el nombre del escritor Manuel Zapata Olivella y así rastrear su alcance social y cultural en el barrio El Tintal y la localidad de Kennedy. A nivel metodológico, se revisó la bibliografía existente sobre el tema, y se examinaron fuentes como la prensa, Acuerdos del Concejo de Bogotá, revistas y fotografías del periodo a estudiar

Márcia Abreu. Los caminos de los libros. El tránsito de libros entre Portugal y Brasil. Bogotá: Universidad de los Andes, Universidad Nacional de Colombia, 2022.

El libro que a continuación se presenta es el resultado de la tesis Doctoral de Márcia Abreu, Licenciada en Letras y Doctora en Teoría e Historia Literaria de la Universidad Estatal de Campinas y Posdoctorado en Historia Cultural en la Escuela Superiores en Ciencias Sociales de París. Por primera vez es publicada en español por la editorial de la Universidad de los Andes y la Universidad Nacional de Colombia. En el texto, se evidencia como fluyen la historia y la literatura, pues la autora estudia la circulación y la presencia de textos literarios en Brasil durante el siglo XVIII y XIX, específicamente, desde 1769 a 1826

Análisis de las dificultades que presentan los estudiantes en la interpretación de los enunciados verbales donde intervienen estructuras aditivas

El presente trabajo se desarrolla aplicando la investigación exploratoria de tipo cualitativa, desde la teoría del pensamiento numérico y las estructuras aditivas según Castro, Rico y Castro (1995) La importancia de analizar las dificultades que presentan los estudiantes en el trabajo con las estructuras aditivas en tres Instituciones Educativas, está orientada en la aplicación de tres guías de trabajo individual donde los estudiantes dan cuenta de los conocimientos previos que poseen frente a problemas de cálculo donde intervienen estructuras aditivas. El objetivo de esta propuesta es identificar cuáles son las dificultades que presentan los estudiantes en la interpretación de enunciados verbales que impliquen problemas de estructuras aditivas, estableciendo el nivel de comprensión de los estudiantes del grado segundo de la básica primaria con un rango de edades entre 7 a 9 años y realizar una intervención desde los principios y fundamentos del pensamiento numérico y las estructuras aditivas para los niveles de conteo y las estrategias de cálculo. La investigación se trabajó con estudiantes de grado segundo de la básica primaria de las Instituciones Educativas: Fe y Alegría La Cima, Guillermo Aguilar y José Antonio Galán de los municipios de: Medellín, Yolombó y La Estrella respectivamente del Departamento de Antioquia. El trabajo del análisis de los contextos de conteo, los niveles de secuencia, el proceso de conteo, los principios lógicos y las categorías en los problemas verbales, permiten identificar e intervenir las dificultades que presentan los estudiantes para realizar un trabajo planeado, guiado y estructurado para el docente y que pueda intervenir el currículo