Disciplina

Detalhes de disciplina ofertada

Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG

O Departamento de Ciência da Computação (DCC) da UFMG irá oferecer, no segundo semestre de 2024, um curso de Verificação Formal de Hardware ministrado por profissionais da empresa Cadence Design Systems. O curso irá introduzir os alunos aos conceitos e técnicas fundamentais utilizados para garantir a correção e a confiabilidade dos projetos de hardware. Este […]

Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG Read More »

O Departamento de Ciência da Computação (DCC) da UFMG irá oferecer, no segundo semestre de 2024, um curso de Verificação Formal de Hardware ministrado por profissionais da empresa Cadence Design Systems. O curso irá introduzir os alunos aos conceitos e técnicas fundamentais utilizados para garantir a correção e a confiabilidade dos projetos de hardware. Este

Modelagem e Resolução de Problemas de Otimização Combinatória

Público: Alunos de Graduação em Ciência da Computação, Matemática Computacional, e Engenharias, interessados em modelar e resolver problemas de Otimização. Pré-requisitos: Geometria Analítica e Álgebra Linear, Programação de computadores em nível equivalente a PDS1, conhecimento de linguagem Python. Não é necessária formação prévia em Otimização. Ementa: Classes de problemas de Otimização. Problemas de Programação Matemática.

Modelagem e Resolução de Problemas de Otimização Combinatória Read More »

Público: Alunos de Graduação em Ciência da Computação, Matemática Computacional, e Engenharias, interessados em modelar e resolver problemas de Otimização. Pré-requisitos: Geometria Analítica e Álgebra Linear, Programação de computadores em nível equivalente a PDS1, conhecimento de linguagem Python. Não é necessária formação prévia em Otimização. Ementa: Classes de problemas de Otimização. Problemas de Programação Matemática.

Acesso por PERFIL

Pular para o conteúdo