Lógica Computacional

Apresentar uma introdução aos fundamentos matemáticos da Ciência da Computação, com ênfase em linguagens, reconhecedores (autômatos) e geradores (gramáticas). Enfatiza-se o estudo de dois tipos de questões no nível teórico: (i) Quais computações podem ser feitas em um computador? (ii) Quão eficientemente podem ser realizadas?