Programme master glsd 1 III - Programme détaillé par matière ?che détaillée par matière Etablissement Université de Khenchela Intitulé du master Génie logiciel et Systèmes distribués Page Année universitaire CIntitulé du Master Génie logiciel et Systèmes
III - Programme détaillé par matière ?che détaillée par matière Etablissement Université de Khenchela Intitulé du master Génie logiciel et Systèmes distribués Page Année universitaire CIntitulé du Master Génie logiciel et Systèmes distribués Semestre Intitulé de l ? UE UEF Intitulé de la matière Calculabilité et Complexité Crédits Coe ?cients Objectifs de l ? enseignement Assimiler les notions de décidabilité d'un problème et de classes de complexité Cerner les limites des machines Peut-on résoudre tous les problèmes avec un ordinateur Peut-on calculer toutes les fonctions avec un ordinateur Combien de temps faut-il pour résoudre un problème Trouvera-t-on un jour des algorithmes radicalement plus e ?caces Connaissances préalables recommandées Langages et automates algorithmique des graphes logique propositionnelle Contenu de la matière Calculabilité o Problème de décision et de calcul o Machines de Turing MT dé ?nitions programmation variantes complexités en temps et en espace non déterminisme énumération o Thèse de Church-Turing o Machines RAM dé ?nitions équivalence avec les MT complexité o Fonctions récursives Décidabilité et indécidabilité o Propriétés des langages R et RE o MT universelles o Réduction o Problèmes indécidables Complexité o Comparaison des classes de complexité temps espace déterministe et non déterministe o Exemples de problèmes satisfaisabilité circuits booléens graphes o Réduction et complétude o Exemples de problèmes P-complets NP-complets PSPACE- complets o Calcul parallèle classe NC Mode d ? évaluation Examen ?nal Contrôle continu Références Pierre Wolper Introduction à la calculabilité InterEditions Christos H Etablissement Université de Khenchela Intitulé du master Génie logiciel et Systèmes distribués Page Année universitaire C Papadimitriou Computational Complexity Addison Wesley J E Hopcroft and J D Ullman Introduction to Automata Theory Languages and Computation Addison Wesley M Sipser Introduction to the Theory of Computation PWS publishing Company Etablissement Université de Khenchela Intitulé du master Génie logiciel et Systèmes distribués Page Année universitaire CIntitulé du Master Génie logiciel et Systèmes distribués Semestre Intitulé de l ? UE UEF Intitulé de la matière Développement d'Applications réparties Crédits Coe ?cients Objectifs de l ? enseignement Un système réparti est un ensemble de machines autonomes connectées par un réseau et équipées d ? un logiciel dédié à la coordination des activités du système ainsi qu ? au partage de ses ressources L'objectif de cette matière est de double Premièrement donner aux étudiants les concepts de base des systèmes répartis et deuxièmement leur donner les Fondements du développement d'applications réparties à travers l'étude des Modèles de programmation l'Architecture logicielle des applications et du middleware Ceci permettra aux futurs diplômés de cette spécialité de maitriser les principales solutions techniques existantes telles que les patrons de conception etc ? Connaissances préalables recommandées Notions sur la répartition dans les langages de programmation à savoir Java Contenu de la matière Partie Principes généraux sur les systèmes répartis Paradigmes et services de communication Principaux problèmes de coordination et de cohérence de donnée Partie Introduction et principes de base Architectures applicatives Schéma de conception Intergiciels Dé ?s majeurs désignation transmission de données gestion des pannes Intergiciels dé ?nition caractérisation historique Invocations de méthodes
Documents similaires
-
25
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Aoû 18, 2021
- Catégorie Industry / Industr...
- Langue French
- Taille du fichier 82.4kB