AN INTRODUCTION TO RESEARCH THEMES CONNECTING LOGIC, COMPUTATION AND COGNITION.
teacher profile teaching materials
Programme
formal languages and models of computationsCore Documentation
lectures notesType of evaluation
Written test, oral test and project evaluation