BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Centro Mediterráneo - ECPv5.16.1.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Centro Mediterráneo
X-ORIGINAL-URL:https://cemed.ugr.es
X-WR-CALDESC:Eventos para Centro Mediterráneo
BEGIN:VTIMEZONE
TZID:Europe/Madrid
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250220
DTEND;VALUE=DATE:20250530
DTSTAMP:20260623T193736
CREATED:20241010T074737Z
LAST-MODIFIED:20241017T082208Z
UID:51280-1740009600-1748563199@cemed.ugr.es
SUMMARY:Introducción a la lógica matemática
DESCRIPTION:Lugar de realización\nFacultad de Ciencias\, Universidad de Granada \nFechas y horario\nJueves de 16:30 a 18:30 desde el jueves 20 de febrero al jueves 29 de mayo (ambos inclusive)\, exceptuando el jueves 17 de abril y el jueves 1 de mayo por ser no lectivos o no laborales. Estos dos días se recuperarán el miércoles 30 de abril de 16:30 a 18:30 y el lunes 5 de mayo de 16:30 a 18:30 \nDirección\nEsteban Martínez Vañó\, Dpto. de Análisis Matemático\, Universidad de Granada \nIntroducción\nCualquier estudiante de matemáticas o ramas afines habrá escuchado alguna vez sobre los axiomas de Peano o la teoría de conjuntos de Zermelo-Fraenkel\, ¿pero que son realmente estas teorías? ¿Por qué necesitamos usar axiomas en matemáticas? Más fundamental aún\, ¿qué es y cómo se razona realmente en matemáticas? ¿Qué es una demostración? ¿Podemos demostrarlo todo? \nCon este curso accesible e introductorio podrás dar respuesta a todas estas preguntas\, pero más importante aún\, te abrirá las puertas a una cantidad inmensa de nuevas y fascinantes cuestiones matemáticas y filosóficas que cambiarán por completo tu visión sobre esta maravillosa disciplina. \nCompetencias del alumnado\na) El alumnado sabrá/comprenderá \n\nQué son los lenguajes de primer orden y sus modelos.\nQué siginifica que una fórmula se satisfaga en un modelo y que siginifica que sea verdadera o falsa.\nQué es un sistema deductivo. En particular\, se estudiará un sistema deductivo correcto y completo para la lógica de primer orden.\nQué es una teoría axiomática\, así como algunos ejemplos básicos sobre teoría axiomáticas de conjuntos.\nLos teoremas de completitud semántica y compacidad de Gödel.\n\nb) El alumnado será capaz de sintentizar todo lo aprendido con un nivel de profundidad suficiente para poder continuar un estudio autónomo sobre la materia \nMétodo de evaluación\nAsistencia al 80% del curso y entrega de informes/ejercicios sobre los temas impartidos \nIdiomas utilizado\nEspañol
URL:https://cemed.ugr.es/curso/25gr05/
CATEGORIES:Curso
ATTACH;FMTTYPE=image/jpeg:https://cemed.ugr.es/wp-content/uploads/2024/10/3cb588c2a80f719330bec2792d3767ec.jpg
END:VEVENT
END:VCALENDAR