Course info
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)
- Teacher: FT S2 Transversale
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)