Search results for "UNESCO::LÓGICA"
showing 8 items of 18 documents
Comprensiones categoriales y subrecursión
2012
Se define una nueva estructura categorial con el objeto de caracterizar las clases de funciones subrecursivas pertenecientes a la Jerarquía de Grzegorzcyk. Ello se consigue por medio de functores de coerción sobre una categoría simétrica monoidal dotada de ciertos esquemas de recursión que imitan el esquema de recursión acotada. Ello se hace para dar una visión categorial generalizada de la recursión y la composición seguras. A new categorical setting is defined in order to characterize the subrecursive classes belonging to the Grzegorzcyk Hierarchy. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion schemes that imitate the boun…
Análisis de un autómata clasificador de imágenes. Implicaciones filosóficas sobre los conceptos.
2017
El presente trabajo se ocupa de la construcción de un clasificador visual automático (un programa de ordenador, en realidad) de imágenes basado en regresiones logísticas. Se pretende, además, comprobar su eficacia en la realización de dicha tarea (la clasificación de imágenes), y reflexionar sobre las implicaciones filosóficas de los resultados obtenidos. En la introducción se apuntarán, en términos generales, la problemática que suscita el reconocimiento de imágenes por ordenador. Después se plantea una situación concreta, en un escenario típico de recuperación de información visual, donde se realiza un experimento que permitirá extraer datos empíricos (capítulo 2), y a continuación se des…
Análisis multivariado del curso Elementos de Computación en el Instituto Tecnológico de Costa Rica
2015
La investigación consiste en dos fases, en la primera se desarrolla un Test de diagnóstico en matemática y en la segunda se realiza un análisis multivariado de variables que inciden en el rendimiento de un estudiante a la hora de aprender a programar, en particular en el curso Elementos de Computación del Instituto Tecnológico de Costa Rica en Cartago, Costa Rica. Se diseña, analiza y aplica un Test de diagnóstico de conocimientos matemáticos a nivel de precálculo que se utiliza como herramienta predictora del rendimiento en el curso de programación. Se realiza un análisis multivariado de factores sociodemográficos, académicos, personales e institucionales que inciden en el éxito o fracaso …
La ironía en la retórica de la argumentación
2017
La presencia de los argumentos en nuestra vida en sociedad es un asunto indiscutible. El uso de la palabra en el terreno de la argumentación, ha sido pues objeto de estudio desde la época clásica hasta nuestros días, si bien las condiciones de las reflexiones sobre la materia se han ido adaptando con el cambio de los tiempos. El presente trabajo, parte de la noción de argumentación que surge con la Nueva Retórica para reflexionar sobre la dimensión retórica de los argumentos y en concreto el recurso a la ironía en nuestras argumentaciones. La ironía ha sido objeto de múltiples estudios desde diversas disciplinas a lo largo de la Historia. Aunque referenciada en los manuales clásicos de retó…
Matemàtica Discreta i Llògica. Teoria i, sobretot, problemes. Versió 2.4
2022
La versió inicial d'aquest material ha rebut un ajut del Servei de Política Lingüística de la Universitat de València en la convocatòria 2020 d'incentius per a la qualitat lingüística en l'elaboració de materials docents. L'assignatura 34666 - Matemàtica discreta i lògica s'imparteix en primer curs d'Enginyeria Informàtica a la Universitat de València. És una assignatura introductòria que hauria de servir de pont entre conceptes matemàtics, lògics i computacionals, importants a l'hora d'assolir certes competències transversals com ara la capacitat per a representar informació i per a resoldre problemes. En l'assignatura hi ha quatre blocs principals: combinatòria, lògica, recursió, i estruc…
Matemàtica Discreta i Lògica. Teoria i, sobretot, problemes. Versió 2.1
2020
L'assignatura 34666 - Matemàtica discreta i lògica s'imparteix en primer curs d'Enginyeria Informàtica a la Universitat de València. És una assignatura introductòria que hauria de servir de pont entre conceptes matemàtics, lògics i computacionals, importants a l'hora d'assolir certes competències transversals com ara la capacitat per a representar informació i per a resoldre problemes. En l'assignatura hi ha quatre blocs principals: combinatòria, lògica, recursió, i estructures gràfiques i arborescents. Encara que en queden fora molts continguts típics de cursos i llibres de matemàtica discreta (com ara resolució de recurrències, codificació, teoria de nombres, etc.), també és veritat que d…
Una introducción lógico-lingüística a la informática
1987
Concebida la introducción a la Informática en el marco de la instrucción lógica de los alumnos de Secundaria, la dificultad estribará en que sin perder la Lógica su carácter de disciplina autónoma -en tanto que sistema formal- pueda ser comprendida y explicada como un elemento muy importante en el proceso hominizador, como un aspecto -"estructural"- del pensamiento del hombre.
Técnicas de Evaluación en educación primaria y secundaria
2022
La evaluación en el aula es una acción imprescindible en el sistema educativo y por ende en la enseñanza. El gran desafío que se plantea en nuestro sistema educativo es la evaluación del alumnado en el aula, cómo mejorar la evaluación del alumnado dentro del sistema educativo. Esta simple pero tan profunda cuestión, cómo mejorar la evaluación, implica un esfuerzo de toda la comunidad educativa. Realizar una investigación respecto a la evaluación implica enfrentarse a un gran titán, ya que el estudio de la evaluación es un gran reto de la sociedad actual. Al hablar del modo en que se realiza la evaluación en el aula, se involucra a multitud de agentes: profesorado, alumnado, familia, sistema…