Please use this identifier to cite or link to this item:
https://dspace.univ-ouargla.dz/jspui/handle/123456789/29092
Title: | Implémentation d’un Outil de Raisonnement Propositionnel basé sur La Méthode de Résolution par Réfutation |
Authors: | Toumi, Chahrazed Ghoula, Meriem Chiba, Raouia |
Keywords: | logique propositionnelle formule méthodes de preuve méthode de résolution |
Issue Date: | 21-Jul-2021 |
Publisher: | UNIVERSITE KASDI MERBAH OUARGLA |
Abstract: | La logique mathématique est un langage de représentation de l'information pour aboutir des résultats et des conclusions. C’est la science qui étudie les règles générales du raisonnement correct. La logique contient de nombreux types différents, le calcul propositionnel est la plus simple, il est utilisé dans tous les domaines de l'informatique. La logique occupe une grande place dans le développement de matériel informatique et la construction de ses applications, tous les langages de programmation utilisent les connecteurs logiques.
Ce projet de fin d’étude propose une approche idéale afin d’étudier les propriétés des formules logiques, où un outil a été développé basé sur l’une des méthodes de preuve, la méthode de résolution par réfutation. Notre objectif est de fournir des résultats précis, non ambigus, réduire l'effort et le temps requis par les tables de vérité. 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. |
URI: | http://dspace.univ-ouargla.dz/jspui/handle/123456789/29092 |
Appears in Collections: | Département d'informatique et technologie de l'information - Master |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Chiba-Ghoula.pdf | Administration et Sécurité des Réseaux | 3,16 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.