ES
EN
Volver a buscar

Lógica y Programación

Campo disciplinario / Disciplinary field : Ingenierías
Nivel des programa / Program Level : Pregrado/Undergraduate, Técnico-Tecnológico Superior/ Technical-Technological
Pais / Country : Argentina
Horas curso : 64
Programa académico : Licenciatura en Informática
Idioma del curso : Español/Spanish
Fecha de inicio curso : 07/08/2023
Fecha de terminación : 26/11/2023
100% virtual
Universidad Nacional de Hurlingham
Ver perfil

Descripción del curso

Objetivos: Conocer y entender los formalismos de la lógica proposicional y de primer orden, su poder expresivo y limitaciones. Reconozca las diferencias entre las formalizaciones sintácticas y semánticas de dichos formalismos, como así también la relación entre ambos planteos. Entender los conceptos de unificación y resolución para cada tipo de lógica, su aplicación y utilidad práctica. Conocer el sistema formal, especificación e implementación de programas, utilizado posteriormente para la verificación de su correctitud, haciendo uso práctico de los distintos formalismos introducidos en el curso.

Link de acceso al programa completo del curso: https://docs.google.com/document/d/1LItQEhgC_vfibL5TyDZobCVF2szCqmeW31hT1XLvTps/edit?usp=sharing

Requisitos del curso

Haber cursado y aprobado matemática discreta y materias de programación

Requisitos institucionales

Los/as estudiantes que apliquen a nuestra institución deben cumplir con los siguientes requisitos:
– Ser alumno/a regular de la universidad que lo postule.
– Presentar carta de la autoridad superior que avale la nominación

Procedimiento de aplicación

Para postular un estudiante para el intercambio se debe realizar el siguiente procedimiento:
– Enviar el formulario de Solicitud de Movilidad completo ( en el se detalla la documentación a presentar)
Acceda al formulario a través del siguiente enlace: https://drive.google.com/file/d/1sNKdTotdFP_7wdSFbXpM7mKvaZKvL6eO/view?usp=sharing
– Se analizará las postulaciones junto a los/as directores/as respectivos/as de cada instituto y a la Dirección de Relaciones Internacionales.
– Se enviará la carta de aceptación a las ORIS correspondientes a los/as estudiantes seleccionados/as mediante correo electrónico. En caso que, al momento de recibir un correo de postulación, se hayan agotado los cupos disponibles del curso o de los cursos solicitados, se informará a la ORI por la misma vía.
– La Dirección de Relaciones Internacionales coordinará una reunión virtual de bienvenida para todos/as los/as estudiantes seleccionados/as antes del inicio del semestre. En la reunión se les brindará información, asistencia y capacitación sobre los cursos virtuales, uso del campus virtual de nuestra universidad, formas de calificación, tramitación del certificado de materias aprobadas, etc.
Toda la documentación debe ser enviada al correo electrónico:
internacionales@unahur.edu.ar CC: alicia.disanto@unahur.edu.ar, sofia.bertinat@unahur.edu.ar

Documentación

– Formulario de Solicitud de movilidad UNAHUR:
Acceda al formulario a través del siguiente enlace: https://drive.google.com/file/d/1sNKdTotdFP_7wdSFbXpM7mKvaZKvL6eO/view?usp=sharing

– Fotocopia del documento de identidad o pasaporte
– Certificado analítico parcial que acredite las materias ya aprobadas
– Carta de autoridad superior que avale la nominación
– Carta de intención/motivación
– Curriculum Vitae
– Foto 4×4 (formato jpg)

 

5 Cupos disponibles
01/06/2022
Fecha de inicio para la aplicación
16/07/2023
Fecha de terminación para la aplicación:
  • ¿Te interesa este curso?
    Completa el siguiente formulario para informar a la persona encargada de eMOVIES en tu institución de Origen

    Solicitar información

  • Identificación del estudiante en la institución / University student ID
  • Este campo es un campo de validación y debe quedar sin cambios.