El curso se dictará del 19 al 22 de Febrero de 2024, de 8am a 10.30am.
Contenidos necesarios para la cursada: Buenos conocimientos de lógica proposicional. Nociones básicas de lógica de primer orden. Algún conocimiento de lógica modal es un plus.
Es un exámen presencial, el día Viernes 23 de Febrero de 2024, de 8am a 10.30am. En formato multiple-choice.