Disciplinas Optativas
Informações adicionais sobre algumas disciplinas optativas ofertadas:
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
- https://engenhariaeletrica.ufes.br/pt-br/oferta-202201-especial
- Clicar em "Descrição das Optativas"
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)
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
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.
