O professor Paulo M. Tasinaffo obteve seu título de doutor em 2003 pelo Instituto Nacional de Pesquisas Espaciais (INPE) na ênfase Mecânica Espacial e Controle. Atualmente é professor adjunto do ITA – Instituto Tecnológico de Aeronáutica na Divisão de Engenharia da Computação e leciona disciplinas relacionadas com Inteligência Artificial.

O conteúdo programático de cada uma destas disciplinas pode ser obtido nos links abaixo:

• Matérias da Graduação:
>>CTC-10 Lógica Matemática (22/02/2013).
>>Atualização da Lista 4 (20/03/2013).
>>Erratas das Transparências 2 (20/03/2013).

• Matérias da Pós-Graduação:
>>CT-200 Autômatos e Ling. Formais (22/02/2013).

www.ita.br