Areas de ubicación de los egresados de la carrera de Ingeniería en Sistemas Computacionales del Instituto Tecnológico de Nuevo Laredo

Tesis (Maestría en Ciencias de la Administración con Especialidad en Sistemas) U.A.N.L. Facultad de Ingeniería Mecánica y Eléctrica, 1999.

Factores que afectan el desempeño acádemico de los estudiantes de la carrera de ingeniería en sistemas computacionales del Instituto Tecnológico de Nuevo Laredo

Tesis (Maestro en Ciencias de la Administración con Especialidad en Sistemas) - Universidad Autónoma de Nuevo León,

Sistemas computacionales para tareas estadísticas: posibilidades de cooperación interregional = Computing systems for statistical tasks: possibilities of interregional co-operation

Presenta en forma sintetica un conjunto de sistemas computacionales que se utilizan actualmente en tareas estadisticas en los paises desarrollados, y describe las actividades que la CEPAL esta desarrollando en este campo y las posibilidades de cooperacion regional en que esta empenada.

Informe del Seminario sobre Sistemas Computacionales para el Acceso de Usuarios a la Información Censal

Contiene la organización de los trabajos y resumen de los debates de la reunión en la que se trató el tema de la organización y almacenamiento de datos censales para su difusión.

Informe del Seminario sobre Sistemas Computacionales para el Procesamiento Censal

Contiene organización de los trabajos y resumen de las exposiciones sobre las experiencias nacionales de la reunión que tuvo como objetivo examinar los recursos computacionales disponibles para la organización y control de la ejecución de un censo de población y vivienda, así como la comparación de técnicas y sistemas para el procesamiento de los datos de esos censos.

Projecto de avaliação de interfaces – PAI

Para obtenção do grau de Doutor pela Universidade de Vigo com menção internacional Departamento de Informática

Modelos para el diseño de salas de computo de uso escolar en la educación media Monterrey, N.L.

[Tesis] ( Maestría en Informática Administrativa) U.A.N.L.

Agentes inteligentes en educación.

Resumen tomado del autor

Sistema computacional para reconocimiento de actitudes y estilos en música culta

En esta investigación, se elaboran una serie de sistemas expertos destinados a conservatorios de música españoles. Los sistemas expertos desarrollados están basados en lógica y álgebra computacional, por ello se denominan a los sistemas presentados sistemas computacionales.. Por un lado, se diseña un primer sistema computacional para evaluar las condiciones musicales de quienes desean dedicarse profesionalmente al estudio de un instrumento. Este sistema está destinado a las pruebas de ingreso, desarrolladas en conservatorios de música españoles. Se pretende facilitar ayuda adicional para la selección del alumnado más eficiente. El sistema computacional tiene en cuenta algunos factores que los expertos pasan por alto como las actitudes personales de los candidatos, capacidades físicas, ámbito social y ámbito familiar entre otros. Se desarrollan tres sistemas, presentados en orden cronológico, para reconocer algunos de los estilos musicales más relevantes desde el siglo XVII, uno para el reconocimiento del Barroco, el Rococó y el Clásico; otro para el reconocimiento del Romanticismo, el Impresionismo y Nacionalismo; y un tercero para el reconocimiento de estilos musicales durante el siglo XX, Antiimpresionismo, Verismo y Expresionismo.. El trabajo recoge una descripción exhaustiva de la información que da lugar a las cuatro bases de conocimiento elaboradas. Se describen, de forma clara y concisa, los elementos fundamentales de la teoría de las 'Bases de Gröbner' y de la relación entre consecuencia en lógica y 'pertenencia a un ideal' en álgebra. La construcción de los programas en el lenguaje CoCoA, Computations in Commutative Álgebra, está realizada con rigor. Se incluye un interfaz para que cualquier persona sin conocimientos informáticos, pueda utilizar los sistemas. En esta tesis se combinan, de forma original y útil, música, lógica, matemáticas e informática..

Evaluación de las WebQuest como herramientas didácticas en la Educación Superior.

Se pretende comprobar la utilidad del recurso didáctico de las WebQuest en la educación superior. La metodología de la investigación-acción es un modelo que está dentro del paradigma cualitativo, con el cual se observa y estudia de manera reflexiva y participativa, la utilidad de las WebQues, en el ámbito universitario. Para ello, se utilizan diversas técnicas de recogida de información como son la aplicación pre-postest, entrevistas, instrumentos para evaluar la satisfacción de los alumnos a través de preguntas cerradas y abiertas. Los criterios y el diseño de investigación se integran a partir de modelos metodológicos mixtos, cuantitativos y cualitativos. La investigación, se desarrolla de acuerdo con cuatro fases, la primera de ella implica la identificación de la WebQuest como recurso didáctico a través del análisis y valoración obtenida de distintas fuentes de información y su repercusión en el aprendizaje; la segunda hace referencia a una propuesta de formación en base a los objetivos propuestos en la investigación, la tercera fase se basa en el diseño y planificación de formación del profesorado para que adquieran las competencias necesarias para hacer uso de las WebQuest en su práctica docente; la última fase, se trata del seguimiento y tutorización a los profesores para la aplicación de la WebQuest en la asignatura y grupo de elección. En cuanto a las variables del estudio, se presenta como variables dependientes: aplicación de las WebQuest en la práctica docente, recuperación de las WebQuest en el aprendizaje del alumno, competencias del profesor para el diseño y uso de WebQuest, competencias de los alumnos para el trabajo con WebQuest. En relación con la variable independiente, se trata de la formación del profesorado en competencias para el trabajo con WebQuest. La población que compone la muestra, está formada por 572 alumnos y 54 profesores de las titulaciones en Administración, Mercadotécnica, Contaduría, Derecho, Comunicación, Diseño Gráfico, Pedagogía e Ingeniería en Sistemas Computacionales, en el curso 2008-2009 de la Universidad de Cuautitlán, Plantel Lago de los Lirios, perteneciente al Estado de México. La utilización de la WebQuest, permite al alumno desarrollar el análisis y síntesis de la información a partir de las tareas solicitadas, en la aplicación del instrumento de satisfacción, los alumnos comentan que no era sólo el copiar y pegar la información, sino que se generó todo un proceso para aplicar la información a partir de las tareas solicitadas. En cuanto a los profesores, los beneficios de la herramienta, se basan en que les permite colaborar en su desarrollo profesional. Respecto, a los profesores del estudio, les permitió actualizar los contenidos de su asignatura a través del uso adecuado de Internet, identificando fuentes confiables para su búsqueda.

Similitudes del Sistema 4MAT de estilos de aprendizaje y la metodología de clases interactivas demostrativas en la enseñanza de la Física.

Resumen basado en el de la publicación

Los programas While: bases para una teoría de la computabilidad

La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a un problema si admite solución informática. Para desarrollar estos resultados el modelo abstracto de computador más utilizado históricamente es la Máquina de Turing. Los estudiantes de Ingeniería Informática pueden percibir cierta lejanía entre el modelo teórico y los computadores reales por lo que es más adecuado utilizar un modelo más cercano a la programación como son los programas-while. Los Programas-while permiten resolver los mismos problemas que las máquinas de Turing, pero en cambio son mucho más sencillos de utilizar, sobre todo para personas que tienen una experiencia previa en la informática real, pues toman la forma de lenguaje imperativo clásico. Este texto además utiliza los Programas-while aprovechando sus ventajas y reformulándolos de manera que la computación quede definida en términos de manipulación de símbolos arbitrarios, algo que está mucho más en concordancia con la realidad informática. Además de explicar en detalle qué son los programas while y cómo se utilizan, se justifica por qué no es necesario incorporar otras instrucciones o tipos de datos.

Técnicas de análisis regional

Incluye Bibliografía

Distribución de la información estadística

Addendum de 1989 al documento "distribución de la información estadística" preparado en 1987 para la reunión "Sistemas Computacionales para el Acceso de Usuarios de la Información Censal". El nuevo documento presenta sólo la evolución tecnológica ocurrida en estos dos años (87-89) por considerar válidos los postulados sostenidos en el primer trabajo.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.