Sugestões para Melhoria do Currículo da Engenharia da Computação

De wikITA

(Diferença entre revisões)
(Sugestões Específicas para Disciplinas)
Linha 22: Linha 22:
???
???
 +
 +
== CTC-10 - Logica Matematica ==
 +
 +
Os seguinte topicos importantes pra ciencia da computacao poderiam ser adicionados a ementa: logica intuicionista, natural deduction, curry-howard isomorphism, introducao a type theory, sequent calculus... Para compensar, outros topicos menos importantes ou menos relacionados a logica (e.g. logica modal, teoria de numeros, grupos) poderiam ser retirados da ementa.
 +
 +
 +
== CTC-15 - Inteligencia Artificial ==
 +
 +
Lisp poderia ser substituida por alguma outra linguagem funcional mais usada atualmente (e.g. Scala, Haskell, OCaml).
 +
 +
Topicos relacionados a engenharia de ferramentas de deducao automatica (sat-solvers, SMT-solvers, resolution theorem provers, interactive theorem provers (Coq, Isabelle) ) poderiam ser adicionados, substituindo topicos como regras de producao, redes semanticas e frames...
 +
 +
 +
== CES-22 - Programacao Orientada a Objetos ==
 +
 +
A ementa poderia ser atualizada de forma a levar em conta a tendencia de integrar programacao orientada a objetos com programacao funcional. Um exemplo dessa tendencia e a linguagem Scala, que e compativel com Java, mas introduz varios conceitos relativamente novos: imutabilidade, pattern matching, traits, actors, type parameters e type variance, implicits, closures,...
 +
 +
----
----
[[AEITA Europa]]
[[AEITA Europa]]

Edição de 16h22min de 15 de maio de 2012

Tabela de conteúdo

Situação do Currículo (2011)

Grade Curricular

Grade Curricular da COMP

Ementas

Ementas das matérias do ITA

Laboratórios

Laboratórios da COMP

Carga Horária

Sugestões Gerais

Sugestões Específicas para Disciplinas

CES-63 - Sistemas Embarcados

???

CTC-10 - Logica Matematica

Os seguinte topicos importantes pra ciencia da computacao poderiam ser adicionados a ementa: logica intuicionista, natural deduction, curry-howard isomorphism, introducao a type theory, sequent calculus... Para compensar, outros topicos menos importantes ou menos relacionados a logica (e.g. logica modal, teoria de numeros, grupos) poderiam ser retirados da ementa.


CTC-15 - Inteligencia Artificial

Lisp poderia ser substituida por alguma outra linguagem funcional mais usada atualmente (e.g. Scala, Haskell, OCaml).

Topicos relacionados a engenharia de ferramentas de deducao automatica (sat-solvers, SMT-solvers, resolution theorem provers, interactive theorem provers (Coq, Isabelle) ) poderiam ser adicionados, substituindo topicos como regras de producao, redes semanticas e frames...


CES-22 - Programacao Orientada a Objetos

A ementa poderia ser atualizada de forma a levar em conta a tendencia de integrar programacao orientada a objetos com programacao funcional. Um exemplo dessa tendencia e a linguagem Scala, que e compativel com Java, mas introduz varios conceitos relativamente novos: imutabilidade, pattern matching, traits, actors, type parameters e type variance, implicits, closures,...



AEITA Europa

Ferramentas pessoais