An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Familias monoparentales: satisfacción vital en madres jóvenes inmigrantes

[SPA] Conocer el bienestar psicológico subjetivo y satisfacción vital de quienes asumen la responsabilidad de las familias monoparentales mejora la acción educativa, ayudando a prevenir situaciones de riesgo y exclusión social. Este trabajo presenta el análisis de la satisfacción vital expresada por un grupo de madres jóvenes inmigrantes al frente de familias monomarentales usuarias del Programa Beregain de la Fundación Itaka-Escolapios (Bilbao). Se realizaron entrevistas individuales semiestructuradas a las madres que integran la muestra. El análisis e interpretación de datos se llevaron a cabo conforme a una metodología cualitativa, específicamente el estudio de casos. Los resultados revelaron la escasa satisfacción en ciertos ámbitos vitales relacionados con las relaciones interpersonales, el ocio, la conciliación del cuidado de sus hijos/as con la propia formación, y la imposibilidad de hacer frente a los gastos económicos sin la ayuda que reciben por parte de la fundación.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.