Programmation mIRC/Droits d'auteurs et autorisations

Les travaux placés dans ce wikibook sont, dans la mesure du possible, en respect avec les copyright référencés et autorisations de leurs auteurs. Néanmoins, n'étant pas des surhommes, nous pouvons faire des erreurs et corrigerons dès que possible.
Autorisations.
Revenir en page principale

Gallicismes en anglais
Français/Petits trucs
Le français est une langue difficile en de nombreux aspects, même pour ceux dont elle est la langue maternelle. Nous proposons ici quelques astuces pratiques et leur explication grammaticale permettant de distinguer certains homonymes.

Livre de cuisine/Purée aux brèdes mafanes

La purée aux brèdes mafanes est un plat d'accompagnement.

Topologie
Introduction.
La topologie est une branche des mathématiques où l'on approfondit la notion de distance, de continuité, de limite, bien que cet aspect géométrique ne soit pas évident au premier abord pour l'étudiant novice. La topologie permet aussi de faire de l'analyse dans des espaces plus abstraits que formula_1 comme des espaces fonctionnels. Il est remarquable de noter qu'aucune connaissance préalable n'est nécessaire à l'apprentissage de ce pan des mathématiques modernes, hormis la théorie des ensembles. Pour un tour d'horizon général de ce sujet, on pourra se reporter à l'article de Wikipédia.
Il serait bon, avant de s'attaquer à la topologie, d'être familiarisé avec certaines notions :

Méthode B
Méthode B/Concept de précondition
Soit la machine suivante :
 MACHINE
 Calculette
 OPERATIONS
 cc <-- plus (aa, bb) =
 " /* avec l'Atelier B, les noms des variables"
 " et des constantes doivent faire au moins" 
 " deux caractères */"
 PRE
 aa : NAT &
 bb : NAT &
 aa + bb : NAT
 THEN
 cc := aa + bb
 END;
 END
Exemple de la calculette :
Le concepteur du logiciel démontrera, une fois pour toute, que si la précondition est remplie, la calculette fonctionnera correctement.
ATTENTION :
 Bien différencier l'approche B (programmation offensive) de la programmation défensive !
Exemple de mon enrouleur de câble électrique :
J'ai un enrouleur de câble électrique qui porte l'étiquette suivante : « Puissance maximale sous 200 V = 2000 W avec le câble déroulé, 1000 W avec le câble enroulé. »
J'ai utilisé ma tondeuse électrique de 1500 W avec le câble enroulé.
Cette démonstration a été faite une fois pour toute en utilisant les lois de la physique.
Le vendeur ne m'a pas remboursé l'enrouleur.
C'est alors à l'utilisateur à ne faire appel à l'enrouleur qu'en respectant les conditions d'emploi.
Ces conditions d'emploi ne peuvent être vérifiées dans le « code » de l'opération.

Méthode B/Notation textuelle
Bien pratique pour les échanges sur Internet et pour saisir une machine B avec un clavier de monsieur tout le monde !
Prédicats sur les ensembles.
Code Libellé 
E : S Appartenance 
E /: S N'appartient pas 
S <: T Sous-ensemble (inclusion) 
S /<: T non inclus 
S «: T sous ensemble strict ⊂ 
Ensembles.
Code Libellé 
E |-> F Couple 
S * T Produit cartésien 
POW (S) Ensemble des parties de S 
S \/ T Union ∪ 
S /\ T Intersection ∩ 
S - T Différence 
Nombres.
Code Libellé 
NAT Les nombres naturels implantables 
NAT1 Les nombres naturels implantables non nuls 
card (S) Cardinal de S 
Relations.
Code Libellé 
S <-> T Relations quelconques 
dom (r) Domaine de r 
ran (r) Codomaine de r 
id (r) Identité de r 
S <| r Restriction de domaine 
S «| r Soustraction de domaine 
r |> T Restriction de codomaine 
r ~ Relation inverse de r 
r [S] Image de S par r (on dit aussi image relationnelle) 
r1 <+ r2 Ecrasement de r1 par r2 
Fonctions.
Code Libellé 
S +-> T ensemble des Fonctions partielles de S vers T 
S --> T ensemble des Fonctions totales de S vers T 
S >+> T ensemble des Injections 
S >-> T ensemble des Injections totales 
S +-» T ensemble des Surjections 
S --» T ensemble des Surjections totales 
S >-» T ensemble des Bijections 
f(E) Application de fonction 
Liste.
Code Libellé 
<> Suite vide 
seq (S) Ensemble des Suites de S 
iseq (S) Ensemble des Suites injectives 
j ^ k Concaténation 
E -> J Ajout en début 
J <- E Ajout en fin 
[E] Suite singleton 
size (J) Taille de la suite J 
first (J) Premier élément de la suite J 
last (J) Dernier élément de la suite J 
Substitutions.
Code Libellé 
x := E Substitution simple 
x,y := E,F Substitution multiple 
G;H Séquence 
skip Skip 
x :: S Choix indéterministe de x parmi les éléments de S 
x :(P) Choix par prédicat

Méthode B/Spécification algébrique
MACHINE 
 VARIABLE (VALEUR)
 VARIABLES
 vrb
 INVARIANT
 vrb : VALEUR
 OPERATIONS
 v <-- valeur =
 BEGIN
 v:= vrb
 END ;
 changer (v) =
 PRE
 v : VALEUR
 THEN
 vrb := v
 END
 END
En spécification algébrique, on écrit des AXIOMES :