monadicの例文

例文

もっと例文:   1  2  3  4  5  6  7  8  9  10

1. Beck's monadicity theorem gives a characterization of monadic functors.
2. Monadic Boolean algebras also have an important connection to modal logic.
3. In 1922 Behmann proved that the monadic predicate calculus is decidable.
4. What can be affirmed is that he is unique and monadic.
5. The validities of monadic predicate calculus with identity are decidable, however.