Conception Et Implémentation D'un Outil De Preuve Basé Sur La Méthode Des Tableaux Sémantiques
Résumé: Abstract Nowadays, technology plays an important role in all fields. The use of the computer science to implement a proof system for mathematicians and computer scientists solves complexity problems, efficiency, and correctness. In this thesis, we propose to automate one of the decision methods, semantic tables’ method for propositional logic using Java language. Our tool allows not only formulas’ proof, but also provides all true interpretations.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
