- Paradigma de programação
- Circuitos digitais
- Complexidade computacional — definição de limites computacionais (sobretudo relativo a espaço e tempo) fundamentais em classes de computação
- Criptografia — aplicação da complexidade computacional, da probabilidade e da teoria de números para a criação ou quebra de códigos
- Estrutura de dados — a organização e as regras para a manipulação de informação
- Linguagens formais — estudo de modelos para especificar e reconhecer linguagens de forma geral
- Métodos formais — o uso de abordagens matemáticas para descrever e formalizar padrões de desenvolvimento de software
- Pesquisa e ordenação
- Projeto e análise de algoritmos — complexidade computacional aplicada aos algoritmos
- Robótica — o controle do comportamento de robôs
- Semântica formal — estudo da especificação do significado (ou comportamento) de programas de computador e partes de hardware
- Teoria da computabilidade — definição do que é computável utilizando-se os modelos atuais, definindo as possibilidades teóricas da computação
- Teoria da computação
- Teoria dos algoritmos de informação
- Teoria dos autômatos
fonte: http://pt.wikipedia.org/wiki/Ci%C3%AAncia_da_computa%C3%A7%C3%A3o acessado em: 03/11/14.
Nenhum comentário:
Postar um comentário