Mostrando recursos 1 - 20 de 3.245

  1. Caracterización bibliométrica de EDUMECENTRO a través de indicadores de SciELO, Cuba

    Gallardo Sánchez, Yurieth; Gallardo Arzuaga, Ruber Luis; Fonseca Arias, Madelín; Pérez Atencio, María Esther
    Fundamento: el acceso adecuado y actualizado a la información científico-técnica es esencial para el desarrollo socioeconómico, la toma de decisiones y la práctica profesional.Objetivo: caracterizar la producción científica a través de estadísticas e indicadores de SciELO que permiten cuantificar el uso e impacto de EDUMECENTRO entre 2012 y el primer semestre de 2016.Métodos: se realizó un estudio descriptivo con enfoque retrospectivo, sobre la producción científica de EDUMECENTRO, en el que se emplearon métodos teóricos: el histórico-lógico, analítico-sintético y el inductivo-deductivo, y el análisis documental como método empírico. Los resultados obtenidos se muestran en  gráficos y tablas de contingencia mediante números...

  2. La disciplina Preparación para la Defensa en la formación de estudiantes de Medicina

    González Rodríguez, Raidel; Cardentey García, Juan; González Rodríguez, Nereyda
    Fundamento: las instituciones médicas tienen definido su encargo social, para ello conciben la formación de estudiantes de Medicina con un sólido sistema de conocimientos.Objetivo: caracterizar la disciplina Preparación para la Defensa en la formación de estudiantes de Medicina por la significación especial de esta en su formación integral.Métodos: se desarrolló una investigación descriptiva con predominio de métodos cualitativos en la Universidad de Ciencias Médicas de Pinar del Río, de enero a febrero 2015. Se utilizaron métodos de los niveles teórico, entre ellos: el analítico-sintético, inductivo-deductivo, histórico-lógico y el abstracto a lo concreto; y empíricos: el análisis documental del plan de...

  3. Logic, deductive and inductive,

    Read, Carveth, 1848-1931.
    Mode of access: Internet.

  4. Automatic cyclic termination proofs for recursive procedures in separation logic

    Rowe, RNS; Brotherston, J
    © 2017 ACM.We describe a formal verification framework and tool implementation, based upon cyclic proofs, for certifying the safe termination of imperative pointer programs with recursive procedures. Our assertions are symbolic heaps in separation logic with user defined inductive predicates; we employ explicit approximations of these predicates as our termination measures. This enables us to extend cyclic proof to programs with procedures by relating these measures across the preand postconditions of procedure calls. We provide an implementation of our formal proof system in the CYCLIST theorem proving framework, and evaluate its performance on a range of examples drawn from the...

  5. La gestión de la información científica desde el centro de documentación e información pedagógica

    Medina Rodríguez, Ania; del Busto Pou, Ismary; Hurtado Machado, Teresa
    El trabajo aborda la experiencia realizada desde el Centro de Documentación e Información Pedagógica de la Sede “Félix Varela” de la UCLV “Marta Abreu” de Villa Clara, que consistió en la implementación de un sistema de acciones para elevar la calidad de la gestión de la información científica en los usuarios universitarios. En el artículo se describen los antecedentes del trabajo y el problema científico a resolver. Asimismo, se precisa el contenido del sistema de acciones, a través de diferentes modalidades de preparación, en las que se incluyeron temas que abordan la gestión de la información científica; la búsqueda y...

  6. Fichero Especializado para la Carrera Pedagogía - Psicología

    León Morales, Mayra; Orozco Castillo, Lucía Quirina
    El presente trabajo titulado “Fichero especializado para la carrera de Pedagogía Psicología”, consiste en varias fichas de contenido de la bibliografía existente en la biblioteca sobre Pedagogía Psicología, organizado por las temáticas fundamentales de las asignaturas de esta carrera, se realiza a partir de las solicitudes de los estudiante y profesores y de los estudios de necesidades aplicados en el departamento docente de esta especialidad, en la Sede Pedagógica de la Universidad Central de Las Villas. Esta propuesta ha sido elaborada con el objetivo de facilitar la gestión de la información, y que le permita al estudiante y al profesor...

  7. Consideraciones sobre la implementación de un Sistema de Investigación Científica en las Ciencias Contables

    Hernandez, Alexander Baez
    El artículo es la propuesta de un Sistema de Investigación para las ciencias contables. Expone una valoración teórico-práctica de los elementos que conforman el sistema desde la perspectiva práctica de investigadores.  Se fundamenta  el proyecto de investigación y su condición de instrumento esencial para concebir, planificar y controlar  la investigación científica. Se propone la configuración de las categorías: Campo de investigación, área de investigación y líneas de investigación sustentadas en la lógica inductiva y en una estructura conceptual-mental con una dimensión menos teórica y sí más administrativa para las Ciencias Contables. Se expone la funcionalidad del comité de control como órgano...

  8. Entre el desarrollo económico y la apropiación cultural. Apuntes para el debate sobre la valorización de alimentos emblemáticos

    Contreras, Daniel de Jesús; Ramírez de La O, Irma Luz; Thomé Ortiz, Humberto
    This paper is a reflection on the concepts of value, recovery and enhancement of the iconic foods. To do this, the philosophical and political principles of enhancement of food are studied as a form of cultural appropriation and thus as an exercise of power with very different implications. From an inductive logic, the problem of valuing food is qualitatively addressed from the relationship between the material and the symbolic, the interior and exterior. It is noted that the act of enhancing food does not necessarily represent the set of values involved in the original production context. It is concluded that...

  9. Barreras para la implementación de un sistema de gestión de la calidad Norma NTC ISO 9001:2000: pequeñas y medianas empresas: Pereira y Dosquebradas

    Echeverry Jiménez, Ana María; Restrepo Ruíz, Nora Luz
    El presente proyecto tiene por objetivo identificar las principales barreras que se presentan en las pequeñas y medianas empresas de Pereira y Dosquebradas durante la implementación de Sistemas de Gestión de la Calidad basados en la Norma NTC ISO 9001:2000, desde diversas perspectivas como los recursos, las asesorías contratadas, los aspectos organizacionales, la motivación durante el proceso y la documentación del sistema. Para lograrlo se utilizó una metodología de estudio mixta, en primera instancia exploratoria y descriptiva, pues se presenta la situación problema y su estado actual, buscando un primer acercamiento científico al objeto tratado y en segunda instancia analítica,...

  10. A system of logic, ratiocinative and inductive; being a connected view of the principles of evidence and the methods of scientific investigation.

    Mill, John Stuart, 1806-1873.
    Mode of access: Internet.

  11. La lógica en la investigación y el desarrollo del conocimiento demográfico

    Escobedo Rivera, Jose
    En este trabajo se revisan los principales aportes al conocimiento demográfico en relación con la utilización de razonamientos lógicos en el proceso de investigación. Estos razonamientos dependen de una justificación epistemológica que los instrumentaliza dándoles contenido y utilidad. En este sentido, se ha tomado la hipótesis de Malthus como ejemplo de la aplicación de la lógica deductiva; la transición demográfica, como inductiva; el descubrimiento de las causas de la fiebre puerperal como abductiva, y la teoría de la capilaridad social, como analogía.

  12. Efectividad de la aplicación de un diplomado para atender la diversidad estudiantil en ciencias médicas

    Suárez Denis, Ana Lidia; Núñez Martínez, María Cristina; Llano Arana, Lizgrace; Sánchez Ortiz, Loreta; Rodríguez Lorenzo, María del Carmen; Morejón Barrueto, Yanet
    Fundamento: el profesor universitario debe estar preparado para responder a las necesidades educativas individuales y grupales que la comunidad educativa requiere.Objetivo: valorar la efectividad de un diplomado para atender la diversidad en los grupos estudiantiles de ciencias médicas.Métodos: se realizó un estudio cuasiexperimental evaluativo, desde febrero 2012 a 2015. Se utilizaron métodos teóricos: histórico-lógico, analítico-sintético, inductivo-deductivo y modelación; empíricos: análisis de documentos, observación de clases, encuesta, experimento pedagógico formativo y registro de información; y matemáticos estadísticos: distribución de frecuencias, porciento y cálculo de la efectividad. El diplomado fue valorado y aceptado por 12 expertos a través del Método Delphi. Su...

  13. Bibliotecología y estudios culturales: elementos teóricos que posibilitan su vinculación.

    Pérez Moya, Felicia
    Se demuestra la posibilidad de establecer una provechosa relacióndisciplinaria entre los estudios culturales y la Bibliotecología y seexplica su objeto de estudio desde una perspectiva social. Se profundizaen la significación de dichos estudios en las investigaciones bibliotecológicasy en los elementos que se han de tener en cuenta para la investigaciónde las prácticas bibliotecarias desde el enfoque sociocultural, conénfasis en la interrelación sujeto usuario-sujeto bibliotecario. Se emplearonlos métodos histórico-lógico, inductivo-deductivo, analítico-sintético yde análisis de contenido para la interpretación de los datos, la explicaciónde las relaciones y las valoraciones que se consideraron pertinentes.En el artículo se intenta ir más allá de los...

  14. La biblioteca pública espirituana: antecedentes, surgimiento y consolidación (1864-1989).

    Pérez Moya, Felicia
    El presente estudio tuvo como objetivos analizar la interrelación del proceso de formación y desarrollo de la biblioteca pública con el contexto político, económico, social y cultural de la región central, específicamente, en Sancti Spíritus. Así como examinar las peculiaridades de las categorías de análisis seleccionadas: colecciones, sujeto bibliotecario y sujeto usuario, tanto en la etapa inicial de su organización como de desarrollo. Se emplearon los métodos histórico-lógico, inductivo-deductivo, analítico-sintético y de análisis de contenido para la interpretación de los datos, la explicación de las relaciones y las valoraciones que se consideraron pertinentes. En el trabajo se sistematizan regularidades del...

  15. Concepciones de la OCDE y la Unión Europea sobre el desarrollo profesional docente.

    Manso Ayuso, Jesús; Monarca, Héctor
    Since the growth and expansion during the last century of International Organizations, their presence and influence on national policies became even more significant. Specifically, on the educational area, the impact of those organizations became more significant from the 90s, and more recently (at the beginning of this century), those discourses particularly focused on teachers and Teachers Professional Development (TPD). Thus, the present paper, pursues analyze of International Organizations’ role on TPD definition, through conceptions and implications resulting from their publications. Therefore, analyze comes from the construction of an instrument with eight qualitative categories, applied with a deductive-inductive logic, for the...

  16. A importância do ativismo judicial na implementação dos direitos sociais não implementados pelo poder público

    Moretti, Deborah Aline Antonucci; Flavio da Costa, Yvete
    Social rights are programmatic standards fixed on Article 6 of the 1988Federal Constitution Because of this feature, they require state action aimedto achieve them. It means that in order to those rules take effect, the government should allocate specific resources and provide public policts. Thesepolicts require high public spending, and state planning accordingly. As aresult, often the state evades this obligation using to justify the reservation oftheory as possible, and fails to meet the basic needs of the population. In thiscontext, arises the importance of the judiciary. That power, when examiningclaims that there was not the realization of basic social rights...

  17. Valoración de tareas docentes integradoras para el estudio de Física en Tecnología de la Salud

    Guillen Estevez, Anselmo Leonides; Cañizares Espinosa, Yamiley; Contreras Vidal, Jorge Luis; Cabrera Suárez, Mayra E.
    Fundamento: la principal motivación de los estudiantes de las carreras de Tecnología de la Salud por el estudio de la Física, está vinculada a su interrelación con los contenidos biomédicos.Objetivo: valorar la aplicación de tareas docentes integradoras para incentivar la motivación por el estudio de la Física en los estudiantes de las carreras de Tecnología de la Salud.Métodos: se realizó un estudio prexperimental en la Facultad de Tecnología de la Salud en la Universidad de Ciencias Médicas de Villa Clara. Se emplearon métodos teóricos: histórico-lógico, análisis-síntesis e inductivo-deductivo y empíricos, análisis documental, encuesta y observación a clases en dos momentos...

  18. Deciding Entailments in Inductive Separation Logic with Tree Automata

    Iosif, Radu; Rogalewicz, Adam; Vojnar, Tomáš
    International audience

  19. A framework for inductive learning of typed-unification grammars

    Liviu Ciortuz
    LIGHT, the parsing system for typed-unification grammars [3], was recently extended so to allow the automate learning of attribute/feature paths values. Motivated by the logic design of these grammars [2], the learning strategy we adopted is inspired by Inductive Logic Programming [4]; we proceed by searching through hypothesis spaces generated by logic transformations of the input grammar. Two procedures | one for generalisation, the other for specialisation | are in charge with the creation of these hypothesis spaces.

  20. Integrating Top-down and Bottom-up Approaches in Inductive Logic Programming: Applications in . . .

    Lap Poon Rupert Tang

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.