Production
Réseaux sociaux
Lettre d'information
Pour avoir des nouvelles de ce site, inscrivez-vous à notre Newsletter.
L6KG
Recopier le code :
4 Abonnés
Nous contacter
rss Cet article est disponible en format standard RSS pour publication sur votre site web :
http://icosi.dzportal.net/data/fr-articles.xml

Equipe 4 : Modèles, Calcul, Algorithmes et Preuve

Problématique de recherche

Les axes de recherche principaux de l'équipe font partie de domaines de recherche fondamentale de l'informatique théorique. Le but principal des recherches est de mieux comprendre et de mieux développer des objets théoriques d'informatique reliés plus ou moins à la notion de calcul : construction et analyse d'algorithmes, modèles de calcul, sémantique de programmes et preuve (démonstration automatique).

Objectifs, missions et activités attendus

Le premier but de cette thématique variée est d’étudier la puissance des modèles de calcul classique (Machines de Turing, Fonctions récursives, Lambda-Calcul …) et certains modèles non classiques comme les automates cellulaires et les systèmes de réécriture ou d’autres modèles issus de la physique. L'une des questions les plus naturelles qui se posent est la question de calculabilité et de décidabilité, et une autre fondamentale, est de savoir si un modèle de calcul est adapté à la modélisation de systèmes. On parle alors d'expressivité. Dans ce contexte, deux domaines d’investigation privilégiés sont à étudier: l’algorithmique et la preuve.

Liste des membres (le chef d'équipe en premier, ordre décroissant du grade, ensuite alphabétique)

1 Badis Abdelhafid 
2 Maarouk Toufik Messaoud  
3 Siam Abderrahim
4 Slama Sofiane
5 Tioura Abdelhamid

Catégorie : Equipes de Recherche -
Précédent  


Calendrier
Préférences

Se reconnecter :
Votre nom (ou pseudo) :
Votre mot de passe
L6KG
Recopier le code :


  21528 visiteurs
  1 visiteur en ligne

  Nombre de membres 2 membres
Connectés :
( personne )
Snif !!!
Pays des visiteurs

Flag Counter

Vous êtes ici :   Accueil » Equipe 4 : MCAP
 
Partenaires

formatic.png   ukhenchela.png    dgrsdt.pngelabweb.gifalqies.png