Séance de cours
Cette séance de cours couvre les bases du calcul prédicat, y compris les propositions, les formules, les termes, l'égalité, les quantificateurs, la substitution, l'interprétation et l'évaluation sémantique. Elle touche également aux théories, à l'incomplétude et au travail de Kurt Gödel en 1931.