Розмір відео: 1280 X 720853 X 480640 X 360
Показувати елементи керування програвачем
Автоматичне відтворення
Автоповтор
J'ai oublié un détail pour l'incrémentation : Pour C = A⭡{+1}B, l'incrémentation fonctionne uniquement si B est un entier. Donc (A⭡{+1}n)⭡(A⭡{+1}B) = A⭡{+1}(B+n) uniquement si B est un entier et n appartient à l'intervalle ]0;1]
![Les Modules OP [#2] : filtres, logique du premier ordre et ultraproduit](http://i.ytimg.com/vi/9eEhxT-vswE/mqdefault.jpg)
![Les Modules OP [#2] : filtres, logique du premier ordre et ultraproduit](/img/tr.png)
J'ai oublié un détail pour l'incrémentation : Pour C = A⭡{+1}B, l'incrémentation fonctionne uniquement si B est un entier. Donc (A⭡{+1}n)⭡(A⭡{+1}B) =
A⭡{+1}(B+n) uniquement si B est un entier et n appartient à l'intervalle ]0;1]