بعض دروس الماستر اعلام الي

achraf.mouni

  • Hero Member
  • *****
    • مشاركة: 2439
    • مشاهدة الملف الشخصي
    • البريد الالكتروني
في: تشرين الأول 26, 2010, 10:09:11 صباحاً
Logique

  Définition
La logique est  la base des démonstrations en mathématique. Bien qu'elle apparaisse de  manière cachée dans toute l'argumentation mathématique, elle est                 indispensable à la compréhension de théorème. Elle se  formalise sous forme de table de vérité dans l'algèbre de Boole
               


Logique.pdf
            Document Adobe Acrobat [370.6 KB]
            Télécharger                    
INTRODUCTION À LA LOGIQUE

La logique de floue

Définition :

    [FONT="]Logique  dans     laquelle la véracité d'une proposition est un nombre réel de  l'intervalle [0,1]. Le faux booléen est à un bout (0), le vrai booléen à  l'autre (1).[/FONT]
                                   


LogiqueFloue.pdf
            Document Adobe Acrobat [1'017.5 KB]
            Télécharger                    

                    GB_Fuzzy.pdf

                         
            Document Adobe Acrobat [220.0 KB]
            Télécharger

                   
     [FONT="]http://www.infotheque.info/ressource/4178.html[/FONT]
Logique formelle

                                                         
                    Logique formelle et mod
                                              logique-pdf.pdf

            Document Adobe Acrobat [358.3 KB]
            Télécharger                    

                                                         
                    Petit précis de logique formelle

                                              cahier38.pdf
            Document Adobe Acrobat [163.1 KB]

            Télécharger                    

                                                         
                    Logique formelle & Programmation logique

                                              lectureall.pdf

            Document Adobe Acrobat [117.9 KB]
            Télécharger

                   
Logique propositionnelle

                                 
                                                             Logique propositionnelle.pdf

            Document Adobe Acrobat [438.1 KB]
            Télécharger                    


                                                                                                       
Logique propositionnelle2.pdf

            Document Adobe Acrobat [226.6 KB]
            Télécharger                    


                                 
                                                             Logique propositionnelle3.pdf

            Document Adobe Acrobat [81.2 KB]
            Télécharger                    

                                                                                                       
les tables de vérité.pdf

            Document Adobe Acrobat [47.7 KB]
            Télécharger

                   
Autre sites:

Introduction à la logique:
 
 
     Logique propositionnelle classique

 



 


achraf.mouni

  • Hero Member
  • *****
    • مشاركة: 2439
    • مشاهدة الملف الشخصي
    • البريد الالكتروني
رد #1 في: تشرين الأول 26, 2010, 10:16:37 صباحاً

*Algorithme et système distribuée





Définition [Tanenbaum]:


Un ensemble

 d’ordinateurs indépendants qui apparaît à un utilisateur comme un système unique et cohérent
 
  • Les machines sont autonomes

  • Les utilisateurs ont l’impression d’utiliserun seul système.
Définition [Lamport] :

A distributed system is one on which I can’t do my work some computer has failed that I never heard of.

 Un système réparti est un système qui vous empêche de travailler quand une machine dont vous n’avez jamais entendu parler tombe en panne.
 
 Définition (pour ce cours)
 
  • Un système distribué est un ensemble d’entités autonomes de calcul (ordinateurs, PDA, processeurs, processus, processus léger etc.) interconnectées et qui peuvent communiquer.
  • Exemples:
  • [/B][/COLOR]
     _ réseau physique de machines
       _ Un logiciel avec plusieurs processus sur une même machine.
 

Des cours :


                                                 
                               Algorithmique distribuée
                                              Algorithmique distribuée.docx
            Document Microsoft Word [12.8 KB]
Télécharger                          
     
 
                                                 
                               Architecture mainframe
                                              Architecture mainframe.docx
            Document Microsoft Word [24.4 KB]
Télécharger                          
     
 
                                                 
                               Modèles et Approches Formels pour
                                     • Les réseaux d’ordinateurs sont partout !!!
– Internet, réseaux de téléphones mobiles, réseaux
locaux, etc.
• Les progrès technologiques des ordinateurs et
le haut débit permettent aux
                             cours1.pdf
            Document Adobe Acrobat [97.8 KB]
Télécharger                          
     
 
                                                 
                               Modélisation conceptuelle des
                                     Système distribué en opposition à système
centralisé
 Système centralisé : tout est localisé sur la même
machine et accessible par le programme
 Système logiciel s'exécutant sur une s
                             cours-modele-sd.pdf
            Document Adobe Acrobat [119.8 KB]
Télécharger                          
     
 
                                                 
                               Algorithmique distribuée
                                     Exclusion mutuelle
 Contexte de plusieurs processus s'exécutant en parallèle
 Accès à une ressource partagée par un seul processus à la fois
 Exclusion mutuelle en distribué
 Accès
                             cours-mutex.pdf
            Document Adobe Acrobat [114.1 KB]
Télécharger                          
     
 
                                                 
                               Cours Systèmes (Distribués) Répartis
                                              intro.pdf
            Document Adobe Acrobat [100.4 KB]
Télécharger                          
     
 
                                                 
                               Techniques de Programmation Orientée Objet
                                     Quelques techniques importantes de programmation orientée objet
L’utilisation de l’héritage multiple C’est aussi un exemple de polymorphisme Les diagrammes de classe UML.Un outil pour voir la
                             Techniques de Programmation Orientée Obj
            Présentation Microsoft Power Point [153.5 KB]

Télécharger                          
     
 
                                                 
                               Informatique 2:Concurrence et Systèmes Multi-Agents
                                     La programmation concurrente Motivation L’exécution  dataflow Les threads Les flots de données Les systèmes multi-agents  Producteur/consommateur Pipeline (comme dans Unix!) Quelques réflections  s
                             Concurrence etSystèmes Multi-Agents.pps

Présentation Microsoft Power Point [1.1 MB]

Télécharger                          
     
 
Sujets des controles :


                                                 
                               Controle coursPGse2004
                                              ConcoursPGse2004.doc
            Document Microsoft Word [38.5 KB]

Télécharger                          
     
 
                                                 
                                                         CorrigéCocoursPG2004.doc
            Document Microsoft Word [39.5 KB]

Télécharger                          
     
 
                                                 
                                                         Cont-AlgoDist-20072008.doc
            Document Microsoft Word [42.0 KB]

Télécharger                          
     
 
                                                 
                                                         Cont-Ratt-AlgoDist-20072008.docx
            Document Microsoft Word [18.1 KB


Télécharger





سفير الاسلام

  • Hero Member
  • *****
    • مشاركة: 1935
    • مشاهدة الملف الشخصي
    • http://www.ingdz.com
    • البريد الالكتروني
رد #2 في: تشرين الأول 11, 2015, 06:40:03 مسائاً
بارك الله فيك