Documentation en Sémantique formelle...

Fermé
samirsiari Messages postés 1 Date d'inscription vendredi 11 avril 2003 Statut Membre Dernière intervention 24 décembre 2003 - 24 déc. 2003 à 20:22
 imen - 6 nov. 2008 à 13:01
J'ai besoin d'une documentation en "Sémantique Formelle des Langages de programmation" (Cours, Exercices, Examens…)
Ce module du "4ème année informatique" contient les éléments suivants:

1ère partie:
1)Induction Structurelle
2)Langage Impératif Simple:
* Commandes, Etats
* Expressions et commandes (syntaxe, sémantique)
* Equations sémantiques du langage impératif
* Commande d'affectation
* Boucle indéfinie
* Les programmes
2ème partie:
(Langages Opérationnels)--->je ne l'ai pas besoin pour le moment

je serai content à remercier tout qui veut m'aider à obtenir cette documentation.
Et merci préalablement...

8 réponses

choubaka Messages postés 39153 Date d'inscription jeudi 4 avril 2002 Statut Modérateur Dernière intervention 24 mars 2023 2 099
20 nov. 2004 à 09:45
salut

aller faire un tour dans la doc CCM, il y peut être ce que vous cherchez

Chouba,
Pochard d'assaut .. 
2
bonjour à vous :
voila je me présente je suis une etudiante en 4 année informatique et je voudrrai bien recevoir les cours que vous donner sur la semantique formelle si c'est possible,
merci
1
Bonjour
J'ai un cours sur la semantique formelle et quelques documents.
1
bonjour raouf,
ça fait longtemps que je cherche une documentation sur le module de la semantique formelle ,et je vous en serai reconnaissant si vous me fait partager les doc et le cours que vous possedez.Merci
0
medamroune Messages postés 1 Date d'inscription mercredi 9 janvier 2008 Statut Membre Dernière intervention 9 janvier 2008
9 janv. 2008 à 14:37
je serai trés reconnaissant si vous pouvez m'envoyer la doc de "Sémantique formelle" ou de m'indiquer des liens utiles
merci pour votre collaboration
0
merci de bien vouloire (si ce n'est pas trop vous demander);de m'envoyer ce que vous avez sur ce module.
pour ne pas etre impolie je me présente:Melle boubrit katia,étudiante e 4 année informatique à l'université de mouloud mammeri de tizi ouzou,algerie.
dans l'attente de ces document je vous did bonne journnée.
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
cher mr bonjour
je vous prie de m'envoyer par email la doc que vous disposée relatives au module de sémantique formelle
merci et bon courage
0
saidkamel Messages postés 1 Date d'inscription jeudi 8 mai 2008 Statut Membre Dernière intervention 27 juin 2008
27 juin 2008 à 18:39
je veux avoir des cours sur la creation des site web dynamique avec du php est html
0
saha a sa
0
J'ai besoin d'une documentation en "Sémantique Formelle des Langages de programmation" (Cours, Exercices, Examens…)
Ce module du "4ème année informatique" contient les éléments suivants:

1ère partie:
1)Induction Structurelle
2)Langage Impératif Simple:
* Commandes, Etats
* Expressions et commandes (syntaxe, sémantique)
* Equations sémantiques du langage impératif
* Commande d'affectation
* Boucle indéfinie
* Les programmes
2ème partie:
(Langages Opérationnels)--->je ne l'ai pas besoin pour le moment

je serai content à remercier tout qui veut m'aider à obtenir cette documentation.
Et merci préalablement...
0