Documentation en Sémantique formelle...

samirsiari Messages postés 1 Statut Membre -  
 imen -
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

  1. choubaka Messages postés 5535 Date d'inscription   Statut Modérateur Dernière intervention   2 113
     
    salut

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

    Chouba,
    Pochard d'assaut .. 
    2
  2. abalache
     
    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
  3. raouf
     
    Bonjour
    J'ai un cours sur la semantique formelle et quelques documents.
    1
    1. arif
       
      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
    2. medamroune Messages postés 1 Statut Membre
       
      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
  4. katy
     
    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
  5. Vous n’avez pas trouvé la réponse que vous recherchez ?

    Posez votre question
  6. med
     
    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
  7. saidkamel Messages postés 1 Statut Membre
     
    je veux avoir des cours sur la creation des site web dynamique avec du php est html
    0
  8. imen
     
    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