Web log de Serge Boisse
On line depuis 1992 !
types : voir [[@ types et statut]]
Auteur : Kenneth Iverson
Voir aussi: mettre ici des liens entre vers des sujets voisins
le crochet d'Iverson, [ ] du nom de Kenneth Iverson, le créateur du language APL, est une notation qui renvoie un nombre qui est 1 si une condition P est vérifiée et 0 sinon. Plus précisément
[P] = 1 si P est vrai, 0 sinon
Appartenance (Indicatrice) :
Le symbole de Kronecker est un cas particulier de la notation d'Iverson quand la condition est une égalité. C'est :
En ce sens le crochet d'Iverson est "plus puissant" (ou expressif) que le symbole ?:
que l'on trouve dans les langages de programmation C, javascript, gnuplot...
Trichotomie des réels (ou d'un ensemble totalement ordonné) :
Commentaires (0) :
Page :Ajouter un commentaire (pas besoin de s'enregistrer)
En cliquant sur le bouton "Envoyer" vous acceptez les conditions suivantes : Ne pas poster de message injurieux, obscène ou contraire à la loi, ni de liens vers de tels sites. Respecter la "netiquette", ne pas usurper le pseudo d'une autre personne, respecter les posts faits par les autres. L'auteur du site se réserve le droit de supprimer un ou plusieurs posts à tout moment. Merci !Ah oui : le bbcode et le html genre <br>, <a href=...>, <b>b etc. ne fonctionnent pas dans les commentaires. C'est voulu.