معلومات المقرر

Ce cours permet d'introduire le langage propositionnel (syntaxe, sémantique et déduction) ainsi que le calcul du premier ordre (syntaxe et sémantique)