A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Teoria da Computação: uma Introdução à Complexidade e à Lógica Computacional
[chapter]
2016
Jornadas de Atualização em Informática 2016
Computing theory is an abstract and mathematical research area, motivated by the challenges of computer science practice. Perhaps the main objective of theoretical computer science is to explore and understand the nature of computing, contributing to development of efficient and effective methodologies. This course introduces the basics of two fundamental subareas of theoretical computer science: computational complexity and computational logic. Such areas have significantly contributed to the
doi:10.5753/sbc.6.3
fatcat:2ds5kebkvrdu3lblmi7ielkzxy