Site des Oraux |
| Langages de programmation de la robotique et intelligence artificielle 2008 (1) ::
post Années :: 2006 :: Toutes |
| Post nº1 (id3611) envoyé par Titi le 16 Jun 2008, 17:26 Ce matin, tout le monde a eut inférence en logique des prédicats. On a tous eut 5 théorèmes à démontrer dont celui du chat (les autres pour ma part c'était tous par réfutation et pas super compliqué). Ensuite une dernière question qui était soit interpréter P(a,f(b,c)) ou "Si {P,Q}=>R, alors {P}=>(Q->R)" (les réponses à ces questions se trouvent sur oraux.be-4°-info donc...rien à rajouter:)). |
oraux.pnzone.net - infos - 53ms |