Bonjour à tous !
Ce post est une bouteille à la mer...
J’ai un DM à boucler au plus tôt (idéalement avant lundi) dont l’évaluation me permettra (ou pas) de valider mon semestre et donc poursuivre mes études.
Autant vous dire que la pression est grande !
Sauf que je bloque sur pas mal de points et j’ai beau tourner dans tous les sens je ne m’en sors pas...
Impossible de tout vous mettre ici mais pour résumer :
J’ai un énorme souci pour mettre une formule en forme DNF
J’ai un souci d’incohérence entre méthode DPLL et résolution
J’aimerais une relecture de ma mise en forme propositionnelle de différentes assertions
J’aimerais une relecture de ma table de vérité
Et je bloque sur les valeurs de vérité de mes prédicats
Bref, sur 6 exercices il n’y en a pas un ou je suis à peu près sûre de moi !!! :’( :’( :’(
Si une âme charitable un tantinet douée en logique voulait bien se faire une conf call ou truc du genre en mode cours particulier ça serait inespéré !
Malheureusement l’isolement du au confinement et l’approche des examens de fin d’année font qu’aucun de mes camarades n’est dispo pour me filer un coup de main... (d’autant qu’il s’agit d’un devoir de rattrapage et que je suis la seule concernée).
A votre bon cœur
Partager