Bem-vindos à disciplina "Introdução à Lógica de Computação"! Aqui exploraremos inicialmente conceitos da lógica informal, da lógica formal proposicional e da lógica de predicados. Além disso, analisaremos as bases da lógica até as nuances das lógicas não clássicas.

Vamos começar entendendo como argumentos informais se desenrolam e, em seguida, nos aprofundaremos nos segredos das regras de inferência, fórmulas bem formadas e métodos de prova.

Não se preocupe se Prolog ainda soa como uma linguagem extraterrestre para você - teremos tempo para analisar sua sintaxe e semântica. Iremos desmistificar cada aspecto da linguagem para que você se torne um mestre em sua manipulação e possa utilizar os conceitos para criar algoritmos cada vez melhores.

A ementa formal do curso é a seguinte:

Conceitos da lógica informal. Conceitos básicos e elementos de lógica formal proposicional, regras de inferência, fórmulas bem formadas, métodos de prova, lógica de predicados (ou de primeira ordem), sintaxe e semântica de Prolog. Noções de lógicas não-clássicas.

Bons estudos!