RAONNE BARBOSA VARGAS



European Master in Computational Logic
Master of Science in Computer Science - Libera Universita di Bolzano (FUB) - Bolzano, Italy
European Master in Computational Logic - Universidad Politecnica de Madrid (UPM) - Madrid, Spain


MANDATORY MODULES:

SEM.UNIV.CODEMODULECOURSEEXAM DATECRED.MARK
1FUB70014FoundationsLogic08/02/2007430 con laude / 30
2FUB70117FoundationsComputational Logic28/06/2007425 / 30
1FUB70101Foundations / Logic and Constraint ProgrammingTheory of Computing01/02/2007825 / 30
1FUB70104Logic and Constraint ProgrammingProgramming Languages26/01/2007427 / 30
1FUB70144Logic and Constraint ProgrammingFormal Methods14/02/2007427 / 30
1FUB70100Advanced LogicsFormal Languages26/01/2007430 / 30
2FUB70174Advanced LogicsNon-classical Logics18/09/2007423 / 30
2FUB70156Integrated Logic SystemsIntroduction to Artificial Intelligence14/09/2007426 / 30
3UPM103000182Integrated Logic SystemsModels of Inexact ReasoningFeb/200868.7 / 10

ADVANCED MODULES:

SEM.UNIV.CODEMODULECOURSEEXAM DATECRED.MARK
2FUB70106Interdisciplinary Computer ScienceAdvanced Algorithms18/06/2007426 / 30
2FUB70188Interdisciplinary Computer ScienceApproximation: Theory and Algorithms25/06/2007428 / 30
1FUB70178Interdisciplinary Computer ScienceText Processing (irst)12/02/2007430 / 30
2FUB70119Interdisciplinary Computer ScienceMobile Services19/06/20074 27 / 30
2FUB70175Semantic WebSemantic Web Technologies20/06/20074 20 / 30
1FUB70139Semantic WebInternet Technologies II06/02/2007426 / 30
3UPM103000013Web SemanticsIntelligent Agents and Multiagents SystemsFeb/200867 / 10
3UPM103000017Web SemanticsOntologies and the Semantic WebFeb/200867 / 10

MASTER PROJECT:

SEM.UNIV.CODEDESCRIPTIONEXAM DATECRED.MARK
3UPM103000245Master ProjectJun/2008127 / 10

MASTER THESIS:

SEM.UNIV.CODEDESCRIPTIONEXAM DATECRED.MARK
4UPM103000238Master ThesisJun/2008308 / 10



Accumulated Credits: 120/120

Final GPA (Italian Grading System: from 0 to 110): 107
Final GPA (from 0 to 4): 3.89
Percentage: 97.27%



(Dates are in dd/mm/yy)