Sur quelques commandes latex pour B

|-> \mapsto
+-> \pfun (fonction partielle)

>< \otimes (produit direct)

|>> \rres
<<|
+->> \

>+> \pinj (injection partielle)

+->
+>  \ecrasement c'est une cde que vous trouvez en début de mes textes latex

il y a aussi
\pbij bijective partielle
\bij bijective totale

je rajoute
POW  \partition set

La surjection totale n'a pas de symbole dans B (un oubli de JR A !)
on doit la spécifier ainsi S \fun T & \land  ran(R) = T


Un message échangé avec étudiants il y a deux ans.


Avez-vous pris en compte les \newcommand que l'auteur d'un texte en latex a pu définir (ce sont des macros)

et les packages déclarés

par ex. Dans des textes portant du B, on utilise
le package b-eves où sont définis les symboles propres à Z et B

Pointeurs sur la toile

Sur des logiciels de conversion
http://www.docsdunet.com/cours/faq-tex-french.html#23.5

Consignes à suivre (de manière intelligente, à adapter au projet)

http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/deroulementProjets.html
http://www.iut-nantes.univ-nantes.fr/~habrias/dessGledn/ConsignesRapportStage.html

Vos coordonnées SVP

Suite à votre venue dans mon bureau à l'instant...je vous rappelle ce que je vous ai dit oralement :


1) me fournir vos adresses de courriel
2) préparer un planning de projet avec microsoft project
3) s'informer sur les règles de développement de logiciel libre
4) étude "toilographique" sur des logiciels à fonction équivalente
5) récupérer le style latex de B (voir site B Grenoble)
6) voir le source latex que je vais vous communiquer
7) Réfléchir à la structure de votre logiciel, au langage à utiliser
8) à son interface avec l'utilisateur

Travailler en parallèle. Pendant que l'un fait telle tâche l'autre fait....

Objectif du logiciel à développer

Il s'agit de faire un logiciel qui sera "un logiciel libre" donc dont le code source sera accessible à tous.
Qui prend en entrée un texte de spécification B écrit en Latex et qui donne en sortie un texte écrit en notation B ASCII.
Le choix du langage fait partie du travail.

Ce blog pourquoi faire ?

- pour vous communiquer des consignes
- pour que vous me communiquiez vos questions, demandes de rdv, etc.
- pour que je réponde à vos questions
- pour conserver trace de ces échanges