Discussion :

[shawky7287]

slt, j'ai à réaliser un prouveur automatique en utilisant la méthode de résolution de robinson.
comme entrée: la saisie de la formule à prouver.
L’exécution de la méthode de résolution sur la formule. cette étape doit etre visible graphiquement

merci de m'aider!

[Uther]

Heu!
La je vrois pas trop comment ont pourrait t'aider à développer tout un programme. Si tu as un problème sur un point précis on pourait t'aider, mais on peut rien faire avec une description aussi vague.

Il faudrait que tu explique précisément ce qui te pose problème.

[shawky7287]

bon, pour commencer, comment faire en Java pour demander graphiquement à l'utilisateur d'introduire la formule à prouver ulterieurement?

[Balbuzard]

Salut,

Une simple recherche sur ce site avec le mot clef "interface graphique en java" donne pas mal de liens, voici l'un d'entre eux :

ICI

Le premier conseil que je peux donner à un développeur débutant est de retrousser ses petites manches et de chercher un petit peu.

D'ailleurs, en allant voir , il te montrera un tas de sites qui expliquent ce genre de chose.

Si tu veux de l'aide, il faut que tu montres que tu as cherché un peu, sinon, on sera pas plus motivés que toi