El presente trabajo de investigación titulado “EFECTOS DE LA ASOCIATIVIDAD EN LAS EXPORTACIONES DE CAFÉ ORGÁNICO DE LA SELVA CENTRAL DEL PERÚ EN EL PERIODO 2016-2018”, tiene como objetivo determinar los efectos de las cooperativas y asociaciones de la selva central del Perú en la cantidad exportada de café orgánico en el periodo 2016-2018. Su importancia radica entre los efectos de la asociatividad y su influencia en las cantidades exportadas, en vista que se identificó que, en el periodo analizado, los valores de exportación de café orgánico decrecieron en comparación a los años anteriores; sin embargo, la cantidad exportada del mismo producto incrementó en el mismo periodo, siendo las cooperativas y asociaciones quienes tuvieron mayor crecimiento. En el proceso de la investigación se consultó diversas fuentes secundarias vinculadas a los efectos de la asociatividad en las exportaciones, los beneficios de la asociatividad, los obstáculos de la asociatividad, los programas del estado que incentivan las exportaciones y la situación actual de las exportaciones del café orgánico. Esto permitió constituir el marco teórico, marcando las pautas para desarrollar la investigación. El tipo de investigación es cuantitativa, el diseño de la investigación es explicativa transversal simple y no experimental. Asimismo, el cuestionario se aplicó a 32 organizaciones entre cooperativas y asociaciones cafetaleras de la selva central (Satipo, Chanchamayo y Oxapampa), quienes representaron al tamaño de muestra. Para la validación de la hipótesis planteada se utilizó el método estadístico de Chi-Cuadrado de Pearson, la cual fue complementado con la prueba exacto de Fisher para medir su fiabilidad. Por último, los resultados obtenidos del cuestionario aplicado en el presente estudio se validaron que los efectos de la asociatividad influyen en el crecimiento de la cantidad exportada de café orgánico. / The present research work entitled "EFFECTS OF ASSOCIATIVITY ON EXPORTS OF ORGANIC COFFEE FROM THE CENTRAL JUNGLE OF Perú IN THE PERIOD 2016-2018" aims to determine the effects of cooperatives and associations in the central jungle on the quantity of coffee exported organic in the period 2016-2018. Its importance lies between the effects of associativity and its efficient impact on the quantities exported, given that it was identified that, in the period analyzed, the values ​​of exports grew minimally compared to previous years; however, cooperatives and associations increased their exported produced quantity. In the research process, various secondary sources related to the effects of associativity on exports, the benefits of associativity, the obstacles to associativity, the state programs that encourage exports, and the current situation of organic coffee. This allowed to constitute the theoretical framework, setting the guidelines for developing the research. The type of research is quantitative, the research design is explicative, cross-sectional and non-experimental. Likewise, the questionnaire was applied to 32 organizations between cooperatives and coffee associations in the central jungle (Satipo, Chanchamayo and Oxapampa), who represented the sample size. For the validation of the hypothesis presented, the Pearson's Chi-square statistical method was used, which was complemented with the Fisher exact test to measure its reliability. Finally, the results obtained from the questionnaire applied in the present study validated that the effects of associativity influence the growth of the quantity of organic coffee exported. / Tesis

La presente investigación tiene como objetivo analizar la Asociatividad empresarial como estrategia de exportación para las Pymes del sector calzado en la provincia de Trujillo - La Libertad, Perú a través de: desarrollo de gestión organizacional, innovación de mercadotecnia y capacidad económica-financiera durante el periodo 2014-2018, de modo que este estudio fomente a las empresas a trabajar de forma conjunta con la finalidad de tener las mejores condiciones en su camino hacia la internacionalización y por consiguiente, obtengan un incremento de sus exportaciones hacia diversos mercados. Para ello, se describe el marco teórico, el marco conceptual, las bases teóricas relacionados a la Asociatividad y Exportación del sector calzado. Asimismo, se detalla el marco contextual del sector calzado, exportación del sector calzado, así como la descripción del departamento La Libertad y de su principal provincia, Trujillo. En adición, se detalla la descripción del problema, los síntomas y causas del problema, así como el diagnóstico actual de las Pymes exportadoras del sector calzado de la provincia de Trujillo del año 2014 al 2018. Además, se plantea el problema, las hipótesis y objetivos. La metodología tiene un enfoque mixto no experimental, descriptivo y correlacional. Para el análisis cualitativo, se entrevistó a expertos en el tema y para el análisis cuantitativo, se procedió a encuestar a las Pymes exportadoras del sector calzado de la provincia Trujillo.  Finalmente, se detallan los resultados estadísticos para el análisis correspondiente, de modo que se pueda comprobar las hipótesis de la presente investigación. / The current research aims to analyze business associativity as an export strategy for SMEs of the footwear sector in the province of Trujillo- La Libertad, Peru through: management development organizational, marketing innovation and economic-financial capacity during the period of 2014-2018, so this study encourages companies to work together to have the best conditions on their way to internationalization, therefore, get an increase in their exports towards various markets. For this, the theoretical framework, the conceptual framework, the theoretical bases related to Associativity and Export of the footwear sector are described. Also, the contextual framework of the footwear sector, the export of the footwear sector, as well as the description of the department La Libertad and its main province, Trujillo, are detailed. In addition, the description of the problem, the symptoms and causes of the problem are details, as well as the current diagnosis of exporting SMEs in the footwear sector from the province of Trujillo from 2014 to 2018. Also, the problem, the hypotheses and objectives are presented. The methodology has a mixed non-experimental, descriptive, and correlational approach. For the qualitative analysis, experts on the subject were interviewed and for the quantitative analysis, we proceeded to survey exporting SMEs in the footwear sector of the Trujillo province. Finally, the statistical results for the corresponding analysis are detailed, so that the hypotheses of the present investigation can be verified. / Tesis

Cette thèse s'intéresse à la démonstration automatique de la validité de formules mathématiques issues de la preuve de programmes. Elle se focalise tout particulièrement sur la Satisfiabilité Modulo Théories (SMT): un jeune domaine de recherche qui a connu de grands progrès durant la dernière décennie. Les démonstrateurs de cette famille ont des applications diverses dans la conception de microprocesseurs, la preuve de programmes, le model-checking, etc.Les démonstrateurs SMT offrent un bon compromis entre l'expressivité et l'efficacité. Ils reposent sur une coopération étroite d'un solveur SAT avec une combinaison de procédures de décision pour des théories spécifiques comme la théorie de l'égalité libre avec des symboles non interprétés, l'arithmétique linéaire sur les entiers et les rationnels, et la théorie des tableaux.L'objectif de cette thèse est d'améliorer l'efficacité et l'expressivité du démonstrateur SMT Alt-Ergo. Pour cela, nous proposons une nouvelle procédure de décision pour la théorie de l'arithmétique linéaire sur les entiers. Cette procédure est inspirée par la méthode de Fourier-Motzkin, mais elle utilise un simplexe sur les rationnels pour effectuer les calculs en pratique. Nous proposons également un nouveau mécanisme de combinaison, capable de raisonner dans l'union de la théorie de l'égalité libre, la théorie AC des symboles associatifs et commutatifs et une théorie arbitraire deShostak. Ce mécanisme est une extension modulaire et non intrusive de la procédure de completion close modulo AC avec la théorie de Shostak. Aussi, nous avons étendu Alt-Ergo avec des procédures de décision existantes pour y intégrer d'autres théories intéressantes comme la théorie de types de données énumérés et la théorie des tableaux. Enfin, nous avons exploré des techniques de simplification de formules en amont et l'amélioration de son solveur SAT. / This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on Satisfiability Modulo Theories (SMT): a young research topic that has seen great advances during the last decade. The solvers of this family have various applications in hardware design, program verification, model checking, etc.SMT solvers offer a good compromise between expressiveness and efficiency. They rely on a tight cooperation between a SAT solver and a combination of decision procedures for specific theories, such as the free theory of equality with uninterpreted symbols, linear arithmetic over integers and rationals, or the theory of arrays.This thesis aims at improving the efficiency and the expressiveness of the Alt-Ergo SMT solver. For that, we designed a new decision procedure for the theory of linear integer arithmetic. This procedure is inspired by Fourier-Motzkin's method, but it uses a rational simplex to perform computations in practice. We have also designed a new combination framework, capable of reasoning in the union of the free theory of equality, the AC theory of associative and commutativesymbols, and an arbitrary signature-disjoint Shostak theory. This framework is a modular and non-intrusive extension of the ground AC completion procedure with the given Shostak theory. In addition, we have extended Alt-Ergo with existing decision procedures to integrate additional interesting theories, such as the theory of enumerated data types and the theory of arrays. Finally, we have explored preprocessing techniques for formulas simplification as well as the enhancement of Alt-Ergo's SAT solver.

En aquest treball es defineix el concepte de generador additiu de t–normes i de t–conormes discretes. S’hi estableixen resultats generals sobre la generació additiva de disjuncions i les caracteritzacions dels generadors de les t–conormes bàsiques. Es planteja un algorisme per a decidir quan una disjunció és additivament generable, basat en l’algorisme Gamma de la teoria de convexitat. S’estudia la relació que hi ha entre la generació additiva amb la suma ordinal i amb l’anidament. S’introdueixen els conceptes de generador concau i generador convex. S’estudia la generació additiva de les disjuncions i les t–conormes suaus i bivalents sobre L*. S’insisteix amb l’aplicabilitat de la generació additiva quan es tracta de manejar la condició de T–transitivitat per a relacions d’indistingibilitat discretes. Finalment, s’estudia la relació que hi ha entre la generació additiva d’una t–conorma S i les propietats de l’S–implicació corresponent. Amb motiu de les propietats d’ordre i modus ponens generalitzat, es defineixen els generadors mixtos