Teoria da Computação: uma Introdução à Complexidade e à Lógica Computacional [chapter]

Celina de Figueiredo, Luis Lamb
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
more » ... evelopment of computer science, not only from a foundational, but also from an applied perspective. Resumo A teoria da computação é uma área de pesquisa abstrata e matemática, e é motivada pelos desafios da prática da computação. O objetivo da teoria da computação é explorar e entender a natureza da computação, de modo a oferecer metodologias eficientes e corretas. Este curso apresenta uma introdução à duas subáreas fundamentais da teoria da computação: complexidade e lógica computacional. Estas duas áreas têm contribuído significativamente para o desenvolvimento da Ciência da Computação, não somente do ponto de vista fundamental, mas também sob uma perspectiva de aplicações.
doi:10.5753/sbc.6.3 fatcat:2ds5kebkvrdu3lblmi7ielkzxy