Topic outline

    • Faculté : Mathématiques et de l'Informatique
    • Département : Mathématiques
    • Public cible : 2ème année Master AMD,
    • Intitulé du cours :Logiques Algèbriques
    • Crédit :06
    • Coefficient :04
    • Durée :
    • Horaire :
    • Enseignant : Pr Abdelaziz Amroune
    • Contact :  abdelaziz.amroune@univ-msila.dz
    • Mode d’évaluation : Contrôle continu, examen.



  • Connaissances préalables recommandées

    Algèbres de Boole, ordres et treillis

  • Objectifs de l'enseignement

    Les modèles multivalents fournissent une interprétation naturelle et sémantique pour plusieurs
    logiques non classiques, en plus ils constituent un outil très pointu pour étudier et comprendre les propriétés métalogiques en général. Après avoir suivi ce cours l’étudiant apprend à raisonner dans un environnement incertain.




  • Chapitre 01

  • Chapitre 02

  • Chapitre 03

  • Chapitre 04

  • Chapitre 05

  • Chapitre 06

  • Chapitre 07

  • Topic 10

    1. Merrie Bergmann, An introduction to Many-Valued and Fuzzy Logic.
    2. Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici, Algebraic Foundations of Many-Valued Reasoning.
    3. Leonard Bole Piotr Borowik, Many-Valued Logics.
    4. An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems.