Informatique Théorique: Cours et Exercices Corrigés
- Logique Mathématique - Théorie des Graphes - Théorie des Langages - Compilation
Résumé: La Logique Mathématique, la Théorie des Graphes, la Théorie des Langages et la Compilation sont quatre branches puissantes et fondamentales de l'Informatique Théorique.
La première, la Logique Mathématique, se divise en plusieurs sous-domaines.
Chaque sous-domaine est une théorie qui présente une modélisation mathématique profitant des nouveautés Informatique.
Elle nous offre une modélisation et une formalisation mathématiques puissantes et riches profitant des systèmes logiques.
La seconde, la Théorie des Graphes, permet de modéliser et résoudre des problèmes dans tous les domaines en proposant des solutions algorithmiques.
La troisième, la Théorie des Langages, propose des solutions algorithmiques pour résoudre des questions comme: Y a-t-il une solution algorithmique permettant de vérifier si un mot appartient à un Langage? Y a-t-il une solution algorithmique permettant de vérifier si une phrase respecte les règles de grammaire? La quatrième, la Compilation, est définie comme la transformation d'un langage source en langage machine.
Nous présentons des solutions algorithmiques afin de mettre en oeuvre un compilateur à travers ces phases de compilation.
Dr.
Maher Helaoui est Maitre-Assistant à l'Institut Supérieur d'Administration des Entreprises de Gafsa, Université de Gafsa, TUNISIE.
Il est actuellement chercheur en Optimisation Combinatoire & en Intelligence Artificielle.
Fiche technique
- Auteur
- Maher Helaoui
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pages
- 552
- Pays
- Tunisie
30 autres produits dans la même catégorie :
Voir toutConception et réalisation d’une base de données pour la gestion
- Nouveau
Les Systèmes de Recommandation à Base de Filtrage Collaboratif
- Nouveau
Déploiement d’une base de données couplée à un système web pour la gestion de crédit dans un établissement de microfinance
- Nouveau
Conception et réalisation d'une application de gestion des palmarès
- Nouveau
Mise en place d'un réseau informatique local avec connexion internet
- Nouveau
Structures de Données en C: Ressources d’Apprentissage Intégrées
- Nouveau
Répartition simultanée des nœuds dans un réseau de radio cognitive
- Nouveau
Prenez le Contrôle de FET, Logiciel GRATUIT de Confection des HORAIRES
- Nouveau
Vers une approche de monitoring des applications orientées services
- Nouveau
Familiarisez-vous avec ASC TIMETABLES pour Gérer vos EMPLOIS DU TEMPS
- Nouveau
Le traitement des classes déséquilibrées par les méthodes ensemblistes
- Nouveau
Conformité aux normes de sécurité des systèmes d’information
- Nouveau
De la Santé au Code : l'Épopée d'un Innovateur dans la eSanté
- Nouveau