Mathematical Logic (LMA0001)
Goal: To introduce concepts such as propositional logic and first order logic, proof of logical theorems and a tool derived from logic as a programming paradigm. To develop mathematical-logical reasoning and a mind grounded on rigor and observation. To acquire a deductive and inductive formation to make deeper researches, specially on Math.
Syllabus: History of logic. Propositional calculus. Tautological, satisfiable and contradiction formulas. Logical conective transformations. Equivalencies. Valid arguments. Logical theorems. Axioms. Proof methods. First order logic (FOL). Quantifiers. Introduction to FOL proof. Logic-based language usage as an instance of FOL.
[Courseware] [Other materials] (in Portuguese only)Image Processing (PIM0001)
Goal: To present the main concepts involved in aquisition, processing and analysis of digital images. To introduce the fundamental concepts of image processing techniques and codification. To prepare students for the development of systems for image processing and analysis.
Syllabus: Foundations. Global operations and neighborhood. Image transforms. Convolution theorem. Image enhancement. Restoration. Segmentation. Mathematical morphology. Image recognition. Image compression. Applications.
[Courseware] [Other Materials - LAPIS] (in Portuguese only)Algorithm and Programming Language (ALP0001)
Goal: by the end of the course the student should be able to: understand the process of solving problems by developing algorithms to be executed by computers; understand basic command, structure data into structured and simple types, utilize concepts of programming and the C language.
Syllabus:
[Courseware](in Portuguese only)Computer Animation (OACO001)
Goal: To introduce traditional animation concepts vs. computer animation ones. To present the main computer animation techniques. To allow students to design and build (interactive or not) animated systems.
Syllabus: Conventional animation. Steps of the computational animation process. Hierarchical animations. Rigid and Soft bodies. Group controls (particle systems, flocks and autonomous behaviors). Natural Phenomena. Interactive animations (computer games and interactive digital storytelling systems).
[Courseware](in Portuguese only)Developing Rational Agents to Mimic Actors (D.R.A.M.A.)
Goal: to research a computational metaphor for real actors applying it to the development of virtual actors capable of acting autonomously. This project is based on three main components: scripts, autonomous deliberations and authoring character animations.
More details check our website.
FLISOL Game Development with Blender Game Engine
Goal: an introduction to Blender Game Engine. Concepts of logic bricks: controllers, sensors and actuators. Introduction to Blender Game API. Development of a complete example of game prototype: "Space Invaders" (refer to Portfolio)
More details check the BGE website.
Courseware: [Download]