Implémentation D’un Outil De Raisonnement Propositionnel Basé Sur La Méthode De Résolution Par Réfutation
Résumé: Mathematical logic is a language for representing information in order to arrive at results and conclusions. It is the science that studies the general rules of correct reasoning. Logic contains many different types, propositional calculus is the simplest, and it is used in all areas of computer science. Logic occupies a large place in the development of computer hardware and the construction of its applications; all programming languages use logical connectors. This end-of-study project offers an ideal approach to study the properties of logical formulas, where a tool has been developed based on one of the proof methods, the resolution method with refutation. Our goal is to provide accurate, unambiguous results, reducing the effort and time required by truth tables.
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".
