Notation pour définir une fonction : ≡ ou ≡ surmonté de "def" ?

[unobservable]

Bonjour,

Lorsque l'on définit une fonction quand utilise-t-on le symbole ;) surmonté de "def." et quand utilise-ton juste le symbole ;) ?

D'avance merci.

[Ben314]

Personellement, je n'utilise ni l'un ni l'autre...
Je ne sais plus qui a dit que "les mathématiques sont invariantes à changement de notations prés".
Je pense aussi que, une fois dans l'enseignement supérieur, il faut commencer à voir que la même notion peut se noter de différentes façons : en particulier les différents profs. et auteurs de bouquins ont leurs petites manies concernant les notations. A toi de voir lesquelles te sembles judicieuses est lesquelles te paraissent "con-con".

En particulier, personellement, j'utilise le symbole "" pour des tas de choses trés différentes les unes des autres, mais pas pour définir une fonction où, lorsque je veut insister sur le fait que c'est une définition, j'utilise le symbole ":=" tiré du langage Pascal et que je trouve plus malin car il est disymétrique et me permet d'écrire "f(x):=x^2+x+1" ou bien , à la fin d'un calcul, "....=x^2+x+1=:f(x)"

[switch_df]

Je suis assez d'accord sur la notation ":=". Elle est agréable car non symétrique. J'utilise plutôt les 3 barres pour "identiquement égal à". Comme l'a dit Ben c'est franchement une question de goût!

[unobservable]

Merci beaucoup.