Ementa/Descrição: |
Estudo da computabilidade e eficiência de soluções algorítmicas para situações-problema
concretas e fictícias. Os seguintes conceitos serão abordados a seu tempo (ou de forma
transversal), de acordo a(s) situação(ões)-problema estudada(s), quando apropriado,
considerando computação desplugada e contexto(s) sócio-histórico-cultural. Correção.
Problemas de busca e decisão. Funções recursivas. Análise de complexidade e notação
assintótica. Tratabilidade. Diversidade de técnicas de projeto de algoritmos - tentativa e erro,
divisão e conquista, algoritmos gulosos, programação dinâmica, entre outros. Perspectivas
em outros paradigmas de computação (paralela, não determinística, quântica, entre outros).
Noções de NP-completude e redutibilidade.
|