Please use this identifier to cite or link to this item:
https://dspace.univ-ouargla.dz/jspui/handle/123456789/31149
Title: | Environnement propositionnel basé systèmes de preuve |
Authors: | CHAMA, Wafa HATHAT, Mohamed MILOUDI, Wiaam |
Keywords: | logique propositionnelle formule satisfiabilité validité compatibilité conséquence |
Issue Date: | 2022 |
Publisher: | UNIVERSITY OF KASDI MERBAH OUARGLA |
Abstract: | L’utilisation de l’outil informatique dans tous les domaines joue un rôle très important surtout pour ceux qui se basent sur l’exactitude. Ce projet représente la mise en oeuvre d’un logiciel d’analyse sémantique pour les formules propositionnelles. Ce projet de fin d’étude propose quelles que techniques idéales afin d’étudier les propriétés des formules logiques, où un outil a été développé basé sur trois méthodes de preuve, la méthode de résolution par réfutation, la méthode des tableaux sémantiques et le diagramme de Quine. Notre objectif d’une part est de détailler chaque méthode en l’implémentant afin de faciliter leur mise en oeuvre et d’autre part de faciliter leur utilisation en proposant des techniques d’optimisation. |
Description: | Informatique Fondamentale |
URI: | https://dspace.univ-ouargla.dz/jspui/handle/123456789/31149 |
Appears in Collections: | Département d'informatique et technologie de l'information - Master |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
HATHAT-MILOUDI.pdf | Informatique Fondamentale | 1,45 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.