Rogério Eduardo da Silva
Professor de Ciência da Computação

Ensino


    Lógica Matemática (LMA0001)

    Objetivo: Apresentar os conceitos das lógicas proposicionais e de primeira ordem, provas de teoremas lógicos, e uma ferramenta derivada da lógica. Esta como um paradigma de programação. Desenvolver o raciocínio lógico-matemático e uma mentalidade alicerçada no rigor e na observação. Adquirir uma formação dedutiva e indutiva para efetuar pesquisas mais profundas principalmente na Matemática.

    Ementa: História da lógica. Cálculo proposicional. Fórmulas tautológicas, contra-válidas e consistentes.Transformação entre conectivos lógicos. Equivalencias. Argumentos válidos. Teorema lógico. Axiomatização. Metodos de prova. Lógica de 1a. Ordem (LPO). Quantificadores. Fórmulas. Argumentos. Axiomatização. Noções sobre teorias lógicas (completude e corretude). Notação clausal. Introdução à Provas de LPO. Uso de uma linguagem baseada em lógica, como instância da LPO.

    [Materiais Didáticos] [Materiais Didáticos - CoCA]

    Processamento de Imagens (PIM0001)

    Objetivo: Apresentar os principais conceitos envolvidos na aquisição, processamento e análise de imagens digitais. Introduzir os conceitos fundamentais das técnicas de processamento e codificação de imagem. Preparar os alunos para o uso de desenvolvimento de sistemas de processamento e análise de imagens.

    Ementa: Fundamentos. Operações globais e de vizinhança. Transformadas. Teorema da convolução. Realce. Restauração. Segmentação. Morfologia matemática. Reconhecimento. Compressão. Aplicações.

    [Materiais Didáticos] [Materiais Didáticos - LAPIS]

    Algoritmos e Linguagem de Programação (ALP0001)

    Objetivo: Ao final do curso, o aluno deverá estar apto a: Dominar o processo de solução de problemas através do desenvolvimento de algoritmos a serem executados por computador; Dominar os comandos básicos, estruturar os dados em tipos simples e estruturados, utilizar conceitos de sub-programação, através da linguagem de programação C.

    Ementa: Noções básicas sobre sistemas de computação. Noções sobre linguagens de programação e programas. Estudo de uma linguagem de alto nível.

    [Materiais Didáticos]

    Animações Computacionais (OACO001)

    Objetivo: Introduzir conceitos de animação tradicional vs. computacional. Apresentar as principais técnicas de animação computacional. Permitir ao aluno projetar e construir sistemas animados com e sem interação do usuário.

    Ementa: Animação Convencional. Etapas da animação computacional. Formas de animação. Animação hierárquica. Corpos rígidos e flexíveis. Controle de grupos (partículas, bandos e comportamento autônomo). Fenômenos naturais. Animações interativas (jogos computacionais).

    [Materiais Didáticos]

Pesquisa


    Developing Rational Agents to Mimic Actors (D.R.A.M.A.)

    Objetivo: a pesquisa de uma metáfora computacional para atores reais e aplicá-la no desenvolvimento de atores virtuais que possam atuar de forma autônoma. Este projeto é embasado em três sub-componentes principais: roteiros, deliberação autônoma e processos de autoria de personagens animados.

    Para mais detalhes, visite nossa página.


Mini-Cursos


    FLISOL Desenvolvimento de Jogos com Blender Game Engine

    Objetivo: introdução à Blender Game Engine (BGE). Conceitos de blocos de lógica: controladores, sensores e atuadores. Introdução a Blender Game API. Desenvolvimento de um jogo completo de exemplo: "Space Invaders" (ver portfolio)

    Para mais detalhes, visite BGE Wiki.

    Material do curso: [Download]