Production
Social Networks
Newsletter
To receive news about this website, consider subscribing to our Newsletter.
ZA4K
copy the code :
5 Subscribers
To contact us
Visits

 29772 visitors

 2 visitors online

rss This article is available in the standard RSS format for publication on your website :
http://icosi.dzportal.net/data/en-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


Temps à Khenchela
Calendar
Preferences

Connect again :
Your user name :
Your password
ZA4K
copy the code :


  29772 visitors
  2 visitors online

  Count of members 4 members
Connected :
(nobody)
Snif !!!
Visitors Countries

Flag Counter

You are here :   Home » Equipe 4 : MCAP
 
Parteners

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