185 resultados para Lógica formal

em Ministerio de Cultura, Spain


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables.

Relevância:

70.00% 70.00%

Publicador:

Resumo:

Se trata la evolución del concepto de lógica formal a través de la lógica aristotélica, la lógica de los estoicos, el arte de las disputaciones escolásticas, la lógica inductiva, la lógica trascendental de Kant, la lógica de Hegel, la lógica dialéctica marxista y la lógica matemática con sus distintas variantes.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Nuestra investigación se ha planteado como objetivo general el contribuir a la elaboración de un marco teórico alternativo que permita explicar, desde una perspectiva estrictamente psicológica, la conducta de los sujetos humanos en tareas de inferencia silogística. Experimento I: participaron 71 estudiantes de COU; 36 eran mujeres y 35 varones. Edad media, 18 años y 4 meses. Experimento II: participaron 121 estudiantes de COU; 40 mujeres y 81 varones. La media de edad, 18 años y 7 meses. Experimento III: 32 estudiantes de Psicología; 17 chicas y 15 chicos. Edad media, 21 años y 7 meses. Experimento I: diseño factorial 2x2x4. Las VI fueron: contenido, con dos niveles: formal (las premisas de los silogismos contenían letras) y temático (las premisas tenían un carácter concreto); tipo de silogismo, con dos niveles: silogismo válido y silogismo no válido; versión, con cuatro niveles: mayoría-mayoría, bastantes-pocos, pocos no-varios y ninguno-alguno. La VD eran los juicios, la seguridad, la confianza subjetiva y las explicaciones. Experimento II: diseño factorial 2x2x2x4. Los factores fueron: consistencia, con dos niveles: consistente y no consistente; accesibilidad, con dos niveles: accesible y no accesible; tipo de silogismo, con dos niveles: válido y no válido; versión, con los mismos valores que en el experimento anterior. Las VD los juicios que el sujeto emitía, la seguridad y la explicación. Experimento III: diseño factorial 2x3x2x4. VI: contenido; bloque, con tres niveles que hacen referencia a tres períodos temporales; tipo de silogismo y versión. VD tasa de aciertos, tiempo de reacción y seguridad. Cuadernillos de elaboración propia, taquistoscopio, cronoscopio. Los juicios emitidos por los sujetos ante tareas de inferencia silogística, utilizando cuantificadores probabilísticos, muestran pautas similares a las obtenidas con metodología tradicional. Los sujetos presentan elevadas tasas de errores y no se adaptan a patrones o modelos formales. Si bien no se ha observado un efecto facilitador del contenido de las premisas en el razonamiento de los sujetos, éstos se ven afectados en gran medida por variables contextuales. La presentación taquistocópica de los ítems le sirve a los sujetos para sentirse más seguros. La inclusión de premisas en un texto mejora la ejecución de las tareas de inferencia silogística. Esto indica que el razonamiento humano no es un proceso que se realice 'in vacuo' sino que es dependiente del contexto sobre el que se efectúa la tarea. El razonamiento humano es impreciso, difuso, se basa en categorías mal definidas, utiliza cuantificadores probabilísticos ajenos a la lógica formal, es dependiente del contexto, presenta sesgos y heurísticos y se apoya en el uso y evaluación de escenarios mentales de los que se derivan consecuencias plausibles, en lugar de aplicar reglas que conducen a consecuencias necesarias. Consideramos que la tarea del psicólogo es 'comprender la naturaleza de la conducta inferencial más que juzgar si ésta es racional o irracional' y de ahí que planteemos la necesidad de que la investigación psicológica sobre el razonamiento profundice en el estudio de las variables que influyen en la conducta inferencial.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

El objetivo del proyecto es desarrollar un soporte informático y didáctico preciso para analizar diferentes métodos de aplicación del ordenador en el aula. Para ello de elaboran tres líneas de trabajo, comunes en todos los programas. Una es el desarrollo de un curso de introducción al ordenador para alumnos de Bachillerato; otra, desarrollar programas que permitan el aprendizaje a partir del ordenador; y otra, implementar una base de programas para el estudio de materias diversas. En el proyecto participan, fundamentalmente, las áreas de Matemáticas, Lógica formal, Ciencias Naturales, Física, Ciencias Sociales y Lingüística. El resultado final es la elaboración de diversos programas como resolución de circuitos, cálculos de tablas numéricas, curvas y superficie o programas de alfabetización..

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Material de trabajo para la asignatura de matemáticas comunes destinado al alumnado de COU en la modalidad a distancia. Consta de cuatro temas titulados: álgebra elemental de las partes de un conjunto, lógica elemental y lógica formal, álgebra de Boole y combinatoria. En cada unidad se abordan unos contenidos teóricos y se acompañan de ejercicios prácticos con orientaciones para el estudio y numerosos ejemplos.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Dos hecho fundamentales harán que surja la teoría formalista: 1õ. Surge a principios del siglo XIX teorías no euclídeas y 2õ. Teorías de conjuntos y crisis de fundamentos de finales del siglo XIX. Simutalneamente el problema de la fundamentación de la matemática daba lugar a las distintas escuelas que iban a adoptar diferentes tratamientos: la escuela logicista defendida por Bernard Russel; la escuela intuicionista al frente de la que estaba Brouwer; y la escuela formalista encabezada por Hilbert. El programa de la última buscará una demostración consistente para un cálculo formal axiomatizado. Hilbert introduce una sutil diferencia entre la teoría matemática, constituida por todas las fórmulas de la matemática intuitiva y la metamatemática que tiene por objeto el estudio de la misma matemática y que estará formada por todas las proposiciones que se pueden hacer a partir de las fórmulas matemáticas. Así, pues en síntesis en primer lugar una teoría matemática de carácter informal como por ejemplo la aritmétic; después un sistema formal del cual la aritmética sería una interpretación y; en tercer lugar, el estudio del sistema formal y de sus propiedades estructurales que recibe el nombre de metamatemática, en donde el lenguaje y el racionamiento vuelven a tener un carácter informal. La idea básica de Hilbert consiste en estudiar y analizar el sistema formal hasta que se pueda poner de relieve la imposibilidad de una contradicción para la aritmética clásica. En 1931 se puso de manifiesto la imposibilidad de demostrar la consistencia de un sistema formal suficientemente amplio para contener toda la aritmética. Dicha demostración iba a suponer la renuncia del objetivo fundamental del programa de Hilbert. A pesar de la pérdida del objetivo básico de su programa (de Hilbert), el estudio de los sistemas formales proporcionó importantes conocimientos de la lógica formal y abrió nuevas perspectivas de estudio. La aparicición y desarrollo del formalismo, como estilo y método de trabajo para la matemática ha dado sus frutos en el terreno de la fundamentación donde propiamente había nacido y es pertinente situar su principal aportación que es darles métodos para analizar sus estructuras y sus nociones fundamentales con el fin de precisar su claridad, etcétera. El papel social constructivo que la matemática jugó en la edificación del capitalismo comercial e industrial fue esencialmente lo que hizo que se fomentara su estudio, aunque tuviera que adoptar formas cada vez más abstractas para llegar a planos más profundos de la realidad.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Se analiza el trabajo en las tutorías con la intención de rescatarlas de su marginalidad y dotarlas de la categoría de una actividad extracurricular. Los tres primeros cápitulos de este material, desarrollan, de manera teórica los temas de la tutoría, la dialéctica y el conocimento. La segunda parte es una propuesta de un modelo de tutoría. El último apartado corresponde con la plasmación de una investigación que tiene como finalidad constatar la relación entre lógica formal y lógica dialectal. Se llevó a cabo entre 40 escolares de segundo curso de la ESO. El proceso se realizó a partir de la elaboración de unos cuadernillos que fueron rellenados por los alumnos, mientras que posteriormente el manejo de los datos se llevó a cabo mediante del programa SPSS. La conclusión confirma que el conocimiento que el sujeto posee de su propio proceso de pensamiento, le permitirá actuar sobre sus deficiencias cognitivas y desarrollar así el pensamiento dialéctico. Se aporta un anexo con actividades que se pueden llevar a cabo desde la tutoría.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Se describen, comprenden y valoran los programas y proyectos de educación no formal de la juventud en el Departamento de Caldas en Colombia. Analizar el estado de desarrollo de las políticas, cuyas acciones se orienten a la formación de la juventud. Realizar una comprensión del significado de Política Pública de Juventud en relación con el contexto histórico colombiano. El informe se organiza en cuatro capítulos y se pueden consultar de forma independiente con su propia lógica e intencionalidad. En el primer capítulo se analiza el contexto colombiano y algunas de las características propias de la nación con sus cinco épocas, tanto geográficas como culturales e históricas que van desde el descubrimiento hasta el periodo de la República de Colombia. El segundo capítulo acomete las características socio-demográficas y culturales del joven en Colombia, centrándose finalmente en el Departamento de Caldas. El tercer capítulo aborda cada uno de los avances que se han hecho en el mundo, en Colombia y Caldas, en materia de Políticas Públicas de Juventud. Por último, se hace un recorrido por el concepto y significado de la educación no formal particularizando la presencia de esta en el contexto juvenil en Caldas. La metodología de estudio es de tipo descriptivo y exploratorio que permite conocer y tipicar las instituciones de educación no formal, proyectos y programas sobre los jóvenes. Para la recopilación de información sobre los programas de juventud de Caldas se elabora una encuesta, en el que se tiene en cuenta el nombre de la institución o grupo de trabajo, nombre del trabajo que realizan y estado actual del mismo. La formación profesional de la persona responsable del proyecto, lugar donde se realiza el trabajo (institución, barrio, comuna o vereda) y el área donde se ubica el trabajo. También se tiene en cuenta la población con la que se trabaja y las fuentes de financiación. La población base del estudio lo forman 109 programas y proyectos de juventud en Caldas existentes en el año 1998. El rango de población es de jóvenes de entre 14 a 26 años. Las preguntas de la encuesta se codifican en una matriz a través del programa estadístico Epiinfo (Información Epidemológica). Las preguntas abiertas se recolectan aparte y se agrupan en diferentes categorías para su interpretación cualitativa. De los 109 programas o proyectos revisados, 58 tienen o han tenido un solo proyecto o programas con jóvenes. Las instituciones que más desarrollan trabajos con jóvenes son en primer lugar los Clubes Juveniles y la Cruzada Social. Cabe destacar la participación de grupos o instituciones mixtas oficiales y privadas en los trabajos con jóvenes, lo que evidencia el interés y el apoyo del estado en la población juvenil. Las principales dificultades que los programas y las instituciones encuentran en los trabajos con jóvenes son las económicas, seguidas del de la distancia, el tiempo y el lugar, además de la aceptación, compromiso, coordinación, situación familiar, horario y la violencia. Por otro lado, se encuentran con el interés y la participación de los jóvenes en dichos programas, como principal acierto.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Examinar la importancia que concede la familia, padres e hijos, a la Educación Formal. Para ello analiza la implicación de los padres en el proceso de enseñanza-aprendizaje de los hijos explorando su conducta en algunas variables de proceso familiar relativas al estudio y sondea, al mismo tiempo, la conducta que los hijos esperan de ellos. Pretende identificar aspectos de proceso familiar relativos al estudio donde padres e hijos muestren concordancia y discrepancia. Alumnos de séptimo de EGB y sus padres de 4 centros públicos de Oviedo, de dos zonas diferenciadas de la ciudad, elegidos dentro de cada zona según la posibilidad de acceso a los mismos, por lo que la muestra no es aleatoria. El número de alumnos fue el de dos aulas pero no siempre fueron los mismos sujetos en las tres aplicaciones del cuestionario. Variables procesuales (intereses, comportamientos) y evaluativas-perceptivas (actitudes, expectativas, percepciones) relativas al estudio, examinadas en padres y en hijos que, en conjunto, informan sobre las formas de implicación de los padres en el proceso de enseñanza-aprendizaje de los hijos y las formas de implicación de los padres esperadas por los hijos en dicho proceso. Variables de clasificación de dos tipos: estructurales como el nivel de estudios de los padres y de producto como el rendimiento escolar. Cuestionario ad hoc y entrevistas semiestructuradas a padres, con preguntas sobre intereses, actitudes, opiniones y expectativas. Los padres mantienen un nivel de implicación considerable sobre todo en las cuestiones referidas a actitudes, comportamiento que es esperado por los hijos. No todos los hijos esperan que sus padres se impliquen en aspectos de tipo afectivo y material del modo tan frencuente en que los hacen. A pesar de la coincidencia entre ellos, hay variables en las que los hijos esperan mayor implicación que el mostrado por sus padres como en aspectos relacionales, control del estudio diario, etc. La tipología de las variables relevantes en ambos colectivos, los aspectos intelectuales-culturales, cognitivo-perceptivos y de estatus son los mas asociados al rendimiento escolar. Padres e hijos conceden un gran valor a la educación formal. Ello lleva a los padres a implicarse en el proceso de enseñanza-aprendizaje y a los hijos a demandar esa implicación. Las formas de implicación suelen ser comunes entre padres e hijos por lo que se podría hablar de pautas de conducta configuradas en un contexto social, e incluso de pautas de conducta familiar. A la vista de los resultados se ofrece una serie de orientaciones y prácticas educativas que pueden ser relevantes para profesores, padres o alumnos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La profesora Paulina Visitaci??n Santos Rivero expone sus impresiones con motivo de la visita realizada al centro belga Vrije Basisschool 'De Minnestraal', en Lebbeke. Este centro es coordinador del proyecto de cooperaci??n del programa Comenius en el que participa el CP Los Campos de Corvera de Asturias.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El IES de Pravia participa, con otros dos centros de B??lgica y Francia, en el Proyecto Comenius 'Desarrollo duradero, futuro sostenible'. Se narran las impresiones de la visita que, en 2006, realizaron dos profesores del IES de Pravia al centro belga colaborador del proyecto, el Ensorinstituut Oostende. El contacto directo con colegas de profesi??n permite dar unidad a los temas que se van a trabajar durante el curso y facilita el intercambio de buenas pr??cticas docentes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen tomado de la publicaci??n

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Resumen tomado de la publicaci??n