Disciplinas Optativas

Informações adicionais sobre algumas disciplinas optativas ofertadas:

2023/1

As descrições das optativas encontram-se nesta planilha.

2022/2

As descrições das optativas encontram-se nesta planilha.

2022/1

INF09321 Processamento Paralelo e Distribuído - Prof. Rodolfo - 3as e 5as (17h-19h) 

Descrição: O conceito de sistema distribuído é de um sistema que possui componentes localizados em computadores interligados em rede e que se comunicam e coordenam suas ações através da troca de mensagens entre os componentes. São exemplos de sistemas distribuídos: serviços de Internet, compartilhamento de arquivos e conteúdos, Blockchain e sistemas de transações. Tecnologias como Python, RPC, gRPC, MQTT, REST, HTTP são usadas durante a disciplina.

Pré-requisitos: (EngComp PPC2007) INF09268 Algoritmos e Fundamentos da Teoria de Computação & Créditos Mínimos: 160; (EngComp e CComp PPC2022) Sistemas Operacionais. 

INF09333 Programação Linear e Introdução à Otimização - Prof. Saulo - 6as (13h-17h) 

Objetivos: Compreender o conceito de Programação Linear através do método Simplex. Modelar problemas reais em termos de Programação Linear e outras técnicas de otimização, focando na sua aplicabilidade em diferentes áreas da computação e engenharia.

Pré-requisitos: (EngComp) Período vencido - 5; (CComp) Prog2, Calc2, AlgLin. OPTATIVA NO PPC 2022

INF09362 Tópicos Especiais em Computação Científica I - Prof. Saulo - 3as e 5as (9h-11h)

Objetivos:  O objetivo da oferta desta disciplina é avaliar qual a receptividade de nossos alunos à proposta de aprendizagem de Álgebra Linear apresentada no livro: BOYD, Stephen; VANDENBERGHE, Lieven. Introduction to applied linear algebra: vectors, matrices, and least squares. Cambridge university press, 2018. disponível em https://web.stanford.edu/~boyd/vmls/vmls.pdf 

Pré-requisitos: O  Pré-requisito formal desta disciplina seria INF09269 Algoritmos Numéricos I (para Ciência da Computação) ou Número de Créditos > 160 (para Engenharia de Computação). Mas quem tiver interesse terá o pré-requisito quebrado na 3a etapa.

INF09396 - Tópicos Esp. em Lógica para Computação I - Profa. Rosane - 4as (7h-11h)

Objetivos: Apresentar tópicos que ilustrarão o uso da lógica como ferramenta na formalização de problemas, bem como apresentar  tópicos que contribuirão para uma melhor formação do aluno de computação quanto ao uso correto do raciocínio, integrando conhecimentos anteriormente estudados.

Pré-requisitos: Lógica para Computação I

INF09371 - Tópicos Especiais em Engenharia de Software I - Prof. João Paulo - 5as (9h-13h)

Objetivos: Apresentar os conceitos básicos, aplicações e pesquisa na área de Desenvolvimento Orientado a Modelos (Model-Driven Design), abordadando diversas linguagens de modelagem e vários domínios e aspectos de modelagem. Ênfase é dada à transformação ou compilação de modelos.

Pré-requisitos: Engenharia de Software e Linguagens Formais e Autômatos

INF09378 Tópicos Especiais em Informática III (ENGCOMP) / INF09376 Tópicos Especiais em Informática I (CCOMP) Prof. Giovani - 2as. e 4as.(17h-19h)

Objetivos:  A disciplina tem como objetivo preparar os alunos para programar competitivamente. O aluno trabalha os conceitos de programação já assimilados em períodos anteriores focando na resolução de problemas típicos de competições de programação.

Pré-requisitos: Estruturas de dados I

INF009423- Tópicos especiais em Redes de Computadores I - Prof. Vinicius - 2as. e 4as.(13h-15h)

Objetivos: Compreender o conceito de uma rede formada por objetos conectados, chamada Internet das coisas (IoT), seu ciclo de desenvolvimento e deployment, e analisar os desafios de cada etapa deste ciclo. Serão estudados as seguintes etapas do ciclo de desenvolvimento: i) tecnologias de identificação de objetos; ii) sensoriamento e desenvolvimento de protótipos usando System-On-Chips; iii) protocolos de comunicação na camada física e na camada aplicação; iv) Compreender os requisitos de armazenamento de dados e as plataformas de armazenamento de dados disponíveis; v) Modelos semânticos; e vi) Desenvolvimento de serviços tais como análise e visualização de dados.

Pré-requisitos: Redes de Computadores

INF09425 Tópicos Especiais em Redes de Computadores III - Prof. Magnos - 4as. e 6as.(15h-17h)

Objetivos: Compreender o conceito de uma rede definida por software, das linguagens de domínio específicas para processamento de pacotes; Teconologias para aceleração de encaminhamento de pacotes e programação de plano de dados. Estudo de casos de segurança, criptografia e proteção de dados também serão abordados no contexto da disciplina.

Pré-requisitos: Redes de Computadores

OPTATIVAS DISPONIBILIZADAS PELO DEPARTAMENTO DE ENGENHARIA ELÉTICA

Caso não haja código específico no PPC da EngComp mas o estudante tenha interesse em cursar uma disciplina optativa da Eng.Ele., favor entrar em contato diretamente com a coordenação: engenhariadecomputacao [at] ufes.br

-------------------------------------------------------------------------------------------------------------------------------

2021/2-Earte

INF09418 Tópicos Especiais em Programação III - TURMA 01 Earte-  Prof. Flavio Miguel Varejão - Ter e Qui  (11h-13h)

Pré-requisitos: Linguagens de Programação

Descrição: Introdução geral ao paradigma de programação funcional. Apresentação detalhada da linguagem de programação Haskell. Paralelo dos conceitos de programação funcional em Python e Clojure.

Pré-requisitos: (desejável)

INF09373 Tópicos Especiais em Engenharia de Software III - Prof. Vítor Estêvão Silva e Souza -  TURMA  01 Earte- Seg e Qua (9h-11h)

Descrição:  Desenvolvimento Web e Web Semântica: Ao longo do curso são apresentadas as tecnologias que fazem parte da plataforma Jakarta EE (antiga Java EE), porém os(as) estudantes poderão utilizar outras tecnologias Web equivalentes nos trabalhos práticos. Serão também estudados um método de projeto de software voltado a aplicações Web que utilizam frameworks, o conceito de dados interligados (linked data) e demais tecnologias relacionadas à Web Semântica.

Pré-requisitos: obrigatório: Java básico, modelagem orientada a objetos básica com UML, uso básico de bancos de dados; desejáveis: familiaridade com linguagens da Web (HTML, XML, CSS) e boa leitura em inglês (grande parte do material do curso está em inglês).

INF09349 Tópicos Especiais em Arquitetura de Computadores I -  Prof. Jadir Eduardo Souza Lucas - TURMA  01 Earte - Seg e Qua (07h-09h)

Pré-requisitos: Arquitetura de Computadores I

Descrição: Sistemas de Memória Virtual Modernos; Pipeline: Análise de Dependência, Execução Fora de Ordem; Renomeação de Registradores, Predição de Desvios; Processadores; Superescalares, VLIW, Processadores ARM.

Pré-requisitos: (desejável/obrigatório)

INF09378 - Tópicos Especiais em Informática III (Introdução à Ciência de Dados) - Turma: 02 - Prof. Giovanni - 2as (18h-20h) e 4as (17h-19h)

Descrição: O objetivo da disciplina será passar uma visão geral da área de ciência de dados. Discutiremos os pressupostos, a intuição, o funcionamento (quando possível), a interpretação dos resultados e exemplos em Python para vários métodos/algoritmos. Abordaremos: manipulação e caracterização básica de dados; técnicas de visualização; coleta de dados na Web; métricas e funções de distância; representação de textos; dimensionalidade e redução de dimensionalidade; algoritmos de recomendação; algoritmos de agrupamento; algoritmos de classificação; e mineração de padrões frequentes.

Pré-requisitos (obrigatórios): Álgebra Linear, Estatística Básica, Estrutura de Dados II.

INF09379 Tópicos Especiais em Informática IV - Profa. Patrícia Dockhorn Costa -  TURMA 01 Earte - Sex (08h-12h)

Descrição: Fundamentos de sistemas baseados em regras. Técnicas de desenvolvimento de sistemas baseados em regras. Arquiteturas e padrões de projeto e implementação. Linguagens de programação orientadas a regras. Plataformas de regras. Fundamentos de desenvolvimento de sistemas orientados a eventos. Processamento Complexo de E ventos. Operadores temporais de Allen. Ferramentas de implementação de sistemas baseados em eventos.

Pré-requisitos obrigatório: estruturas de dados I, Lógica para Computação I e Programação em Java.

INF09401 Tópicos Especiais em Otimização I - Profa. Maria Claudia Silva Boeres -  TURMA 01 Earte  - Ter e Qui (07h-09h)

Descrição:  Seminários e aulas expositivas visando ao estudo de artigos técnicos, livros e outros materiais que abordam aspectos avançados em Otimização

Pré-requisito obrigatório: Estruturas de Dados I

-------------------------------------------------------------------------------------------------------------------------------

2020/2-Earte

INF09373 - Top. Esp. em Eng. de Software III- Prof. Vítor- 2as e 4as (9h-11h)

Desenvolvimento Web e Web Semântica: Ao longo do curso são apresentadas as tecnologias que fazem parte da plataforma Jakarta EE (antiga Java EE). Os alunos podem, a seu critério, utilizar outras tecnologias de desenvolvimento Web nos projetos desenvolvidos ao longo da disciplina.

INF09377 - TÓPICOS ESPECIAIS EM INFORMÁTICA IV - Profa. Patricia - 6as (8h-12h)

Fundamentos de sistemas baseados em regras. Técnicas de desenvolvimento de sistemas baseados em regras. Arquiteturas e padrões de projeto e implementação. Linguagens de programação orientadas a regras. Plataformas de regras. Fundamentos de desenvolvimento de sistemas orientados a eventos. Processamento Complexo de Eventos. Operadores temporais de Allen. Ferramentas de implementação de sistemas baseados em eventos.

-------------------------------------------------------------------------------------------------------------------------------

2020/1

INF09323- Programação Inteira- Profa Maria Cristina Rangel - 6as. (8h-12)

Objetivos: DESENVOLVER OS ELEMENTOS BÁSICOS DE PROGRAMAÇÃO LINEAR INTEIRA, TRABALHANDO OS PROCEDIMENTOS DE PLANOS DE CORTE E DE ENUMERAÇÃO IMPLICITA. DESENVOLVER TAMBÉM OS PRINCÍPIOS BÁSICOS DA RELAXAÇÃO LAGRANGEANA COM O PROPÓSITO DE TRATAR PROBLEMAS MAIS GERAIS DE OTIMIZAÇÃO COMBINATÓRIA.

Pré-requisitos: "Programação Linear e Introdução à Otimização"

INF09371 - Tópicos Especiais em Engenharia de Software I - Prof. João Paulo - 5as (9h-13h)

Objetivos: Apresentar os conceitos básicos, aplicações e pesquisa na área de Desenvolvimento Orientado a Modelos (Model-Driven Design), abordadando diversas linguagens de modelagem e vários domínios e aspectos de modelagem. Ênfase é dada à transformação ou compilação de modelos.

Pré-requisitos: Engenharia de Software e Linguagens Formais e Autômatos

INF09396 - Tópicos Esp. em Lógica para Computação I - Profa. Rosane - 4as (8h-12h)

Objetivos: Apresentar tópicos que ilustrarão o uso da lógica como ferramenta na formalização de problemas, bem como apresentar  tópicos que contribuirão para uma melhor formação do aluno de computação quanto ao uso correto do raciocínio, integrando conhecimentos anteriormente estudados.

Pré-requisitos: Lógica para Computação I

INF09416 e INF09376 - Tópicos Especiais em Programação I/Tópicos Especiais em Informática I - Prof. Giovani - 2as. e 4as.(17h-19h)

Objetivos:  A disciplina tem como objetivo preparar os alunos para programar competitivamente. O aluno trabalha os conceitos de programação já assimilados em períodos anteriores focando na resolução de problemas típicos de competições de programação.

Pré-requisitos: Estruturas de dados I

INF009423- Tópicos especiais em Redes de Computadores - Prof. Vinicius - 2as. e 5as.(9h-11h)

Objetivos: Compreender o conceito de uma rede formada por objetos conectados, chamada Internet das coisas (IoT), seu ciclo de desenvolvimento e deployment, e analisar os desafios de cada etapa deste ciclo. Serão estudados as seguintes etapas do ciclo de desenvolvimento: i) tecnologias de identificação de objetos; ii) sensoriamento e desenvolvimento de protótipos usando System-On-Chips; iii) protocolos de comunicação na camada física e na camada aplicação; iv) Compreender os requisitos de armazenamento de dados e as plataformas de armazenamento de dados disponíveis; v) Modelos semânticos; e vi) Desenvolvimento de serviços tais como análise e visualização de dados.

Pré-requisitos: Redes de Computadores

 

******** DISCIPLINAS QUE ESTARÃO DISPONÍVEIS NA "3a. ETAPA" **********

EPR07936 Empreendedorismo - Prof. Miriam Magdala -  3as e 5as (18h às 20h)

Com abordagem mão na massa, nessa disciplina serão abordados os principais temas relacionados com a criação de uma startup: formação de equipes, identificação de problemas e validação, modelagem de soluções e validação, métricas, MVP, marketing digital, vendas B2B, customer  success e pitches.

Obs.: Esta disciplina será aberta com escopo 3 (para todos os alunos). O aluno solicitará a matrícula  como Eletiva. Uma vez aprovado na disciplina, o aluno deverá solicitar junto ao seu Colegiado de Curso aproveitamento de disciplina.

 

 

-------------------------------------------------------------------------------------------------------------------------------

2019/2

INF09373-Top. Esp. em Eng. de Software III- Prof. Vítor- 3as e 5as de 15h-17h

Desenvolvimento Web e Web Semântica

INF09377-Top. Esp. em Informática II-  Prof. Maria Cristina Rangel- 6as de 08h-12h

META-HEURÍSTICAS: Estudar as meta-heurísticas mais conhecidas como Algoritmos Genéticos, Colônia de Formigas, Busca Tabu, entre outras, e aplicar em problemas de Otimização. A dinâmica das aulas é apresentação de seminários dos princípios básicos das meta-heurísticas e seminários da implementação das meta-heurísticas em um problema de Otimização Combinatória (Caixeiro Viajante, Coloração de Grafos, Alocação de Facilidades, Partição de Grafos, Planejamento de Caminhos, entre outros). A explanação sobre várias meta-heurísticas tem o objetivo de fazer os alunos enxergarem as semelhanças e diferenças entre elas, tanto nos princípios básicos como nas implementações.

INF09417-Top. Esp. em Prog. II-  Prof. Roberta - 3as e 5as de 17h-19h

Introdução a Blockchains e Smart Contracts: O objetivo desta disciplina é apresentar uma introdução a Blockchains, tendo como foco sua aplicação em Smart Contracts. Primeiramente serão apresentados conceitos fundamentais de Computação que suportam o entendimento de Blockchains. Também serão apresentadas as aplicações desse tipo de tecnologia, como criptomoedas. Em seguida, será trabalhado o conceito de Smart Contracts, com a realização de atividades práticas tendo como base a plataforma Ethereum.

INF09424 - Tópicos Especiais em Redes de Computadores I - Prof. Eduardo Zambon - 2as e 4as de 9h-11h
(Segurança em Computação) Visão geral de segurança em computação: ameaças, políticas e mecanismos de segurança, aspectos operacionais e humanos. Criptografia: sistemas  clássicos, chaves públicas e privadas, gerência de chaves. Segurança em programação: prevenção de falhas de segurança em programas. Segurança em sistemas: prevenção de falhas de segurança em hardware e sistemas operacionais. Segurança em redes: prevenção de falhas de segurança em pilhas de protocolos de comunicação. Segurança na web: modelos de segurança, SSL e HTTPS, comunicação anônima. Segurança em dispositivos  móveis.

Pré-requisitos: Redes de Computadores e Compiladores.

EPR07936 Empreendedorismo - Prof. Miriam Magdala -  2as e 4as (18h às 20h)

Com abordagem mão na massa, nessa disciplina serão abordados os principais temas relacionados com a criação de uma startup: formação de equipes, identificação de problemas e validação, modelagem de soluções e validação, métricas, MVP, marketing digital, vendas B2B, customer  success e pitches.

Obs.: Esta disciplina será aberta com escopo 3 (para todos os alunos). O aluno solicitará a matrícula  como Eletiva. Uma vez aprovado na disciplina, o aluno deverá solicitar junto ao seu Colegiado de Curso aproveitamento de disciplina.

ELE08576 - Sistemas Embarcados II - Prof. Hans - 4as (15h-17h) e 6as (18h-19h)

A DEFINIR

******** DISCIPLINAS QUE ESTARÃO DISPONÍVEIS NA "2a. ETAPA" **********

INF09386-Top. Esp. em Inteligência Artificial- Prof. Ranick- 3as e 5as de 17h-19h

Fundamentos do aprendizado de máquina. Teoria básica de redes neurais. Teoria matemática  de redes neurais. Introdução a Deep Learning. Redes neurais convolucionais. Aplicações de Deep Learning. Atualização no Estado  da Arte em Deep Learning.

ELE08643 - Tópicos Especiais em Visão Computacional III - Prof. Jorge - 3as e 5as de 17h-19h

A DEFINIR

--------------------------------------------------------------------------------------------------

2019/1

INF09371 - Tópicos Especiais em Engenharia de Software I - Prof. João Paulo - 5as (9h-13h)
Objetivos: Apresentar os conceitos básicos, aplicações e pesquisa na área de Desenvolvimento Orientado a Modelos (Model-Driven Design), abordadando diversas linguagens de modelagem e vários domínios e aspectos de modelagem. Ênfase é dada à transformação ou compilação de modelos.
Pré-requisitos: Engenharia de Software e Linguagens Formais e Autômatos
 
INF09377 - Tópicos Especiais em Informática II: Reconhecimento de Padrões - Prof. Thomas - 4as. (8:30h-12:30h)
Objetivos: O objetivo da disciplina é a introdução às ferramentas matemáticas e computacionais que permitam a emulação de capacidades cognitivas humanas, a chamada Inteligência Artificial. O foco são técnicas numéricas, ou seja, em geral uma grande quantidade de dados é processada com o objetivo principal de classificar. Trabalha-se bastante com matrizes e vetores e derivadas de funções em uma ou mais dimensões. O gradiente de uma função tem um papel fundamental, pois guia o processo de otimização com o objetivo de realizar o aprendizado de máquina. Um campo preferido de aplicação será o diagnóstico de falhas em processos.
Pré-requisitos: Cálculo I, Álgebra Linear, Programação II
 
INF09378 - Tópicos Especiais em Informática III - Prof. Gabriel Miranda - 6as (13h-16h e 18h-19h)
Objetivos: Projetar uma arquitetura organizacional completa, a fim de descrever os diversos aspectos de uma organização: organizacional, objetivos, processos, aplicações e infraestrutura. Aplicar na prática técnicas de: (i) levantamento de requisitos; (ii) desenvolvimento de modelos corporativos (Archimate), de casos de uso e classes (UML) e de processos (BPM); e (iii) desenvolvimento de relatórios técnicos. 
Pré-requisitos: Engenharia de Software
 
INF09396 - Tópicos Esp. em Lógica para Computação I - Profa. Rosane - 2as (7h-11h)
Objetivos: Apresentar tópicos que ilustrarão o uso da lógica como ferramenta na formalização de problemas, bem como apresentar  tópicos que contribuirão para uma melhor formação do aluno de computação quanto ao uso correto do raciocínio, integrando conhecimentos anteriormente estudados.
Pré-requisitos: Lógica para Computação I e Lógica para Comp. II (ou cursando em 2019/1, lógica para Computação II);
 
INF09416 e INF09376 - Tópicos Especiais em Programação I/Tópicos Especiais em Informática I - Prof. Thiago - 2as. (17h-19h) e 4as.(17h-19h)
Objetivos:  A disciplina tem como objetivo preparar os alunos para programar competitivamente. O aluno trabalha os conceitos de programação já assimilados em períodos anteriores focando na resolução de problemas típicos de competições de programação.
Pré-requisitos: Estruturas de dados I
 
INF09423 - Tópicos Especiais em Redes I: Infraestrutura e aplicações de IoT - Prof. José Gonçalves - 4as. (8h-12h)
Objetivos: este é um curso de caráter teórico em grande parte, baseado fortemente na leitura e discussão de artigos de journals e conferências científicas. Serão explorados temas básicos do universo de Internet das Coisas (IoT), como também tópicos mais avançados. Trabalhos e projetos mais recentes, inclusive aqueles desenvolvidos ou em desenvolvimento no PPGI/DI (ex: LAURA, SSN, Node-Red, etc.), serão usados como base nas aulas práticas.
Pré-requisitos: Redes de computadores
 
EPR07936 Empreendedorismo - Prof. Miriam Magdala -  2as e 4as (18h às 20h)
Com abordagem mão na massa, nessa disciplina serão abordados os principais temas relacionados com a criação de uma startup: formação de equipes, identificação de problemas e validação, modelagem de soluções e validação, métricas, MVP, marketing digital, vendas B2B, customer  success e pitches.
Obs.: Esta disciplina será aberta com escopo 3 (para todos os alunos). O aluno solicitará a matrícula em 2a. etapa  e, se obtiver aprovação, cursará a disciplina como Eletiva. Uma vez aprovado na disciplina, o aluno deverá solicitar junto ao seu Colegiado de Curso aproveitamento de disciplina.
 
 
 
******** DISCIPLINAS COM MATRÍCULA APENAS EM "3a. ETAPA" **********
Obs: O ALUNO DEVERÁ FREQUENTAR AS AULAS SOLICITANDO REGISTRO DE PRESENÇA AO PROFESSOR (Mais instruções serão enviadas posteriormente)
 
ELE08648 - Visão Computacional I - Profa. Raquel - 2as e 4as (11h-13h)
Tópicos a serem abordados: Introdução aos conceitos básicos de Visão Computacional; Seleção de features; Calibração de câmeras; Reconstrução 3D.
Pré-requisito: 140 horas
 
ELE08643 Tópicos Especiais em Visão Computacional III - Prof. Jorge - 3as (13h-15h)
Descrição em breve!

 

Acesso à informação
Transparência Pública

© 2013 Universidade Federal do Espírito Santo. Todos os direitos reservados.
Av. Fernando Ferrari, 514 - Goiabeiras, Vitória - ES | CEP 29075-910