/* * These styles apply ONLY to the header and footer assets. */ * { padding: 0; margin: 0; box-sizing: border-box; } .footer { background: #f5f5f6; color: #555a62; font-size: 14px; line-height: 1.5; padding: 18px 0; } .footer-wrap { padding-left: 18px; padding-right: 18px; max-width: 1236px; margin: 0 auto; } .footer a { color: #0291db; } .footer a:hover { color: #0276b3; } .footer-row { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; margin: -3px; } .footer-col { padding: 0 3px; } .footer-col-copyRight { justify-content: flex-start; } .footer-col-logo { justify-content: flex-end; } .footer-col-copyRight, .footer-col-logo { flex: 1; display: flex; } .logo { width: 120px; height: 28px; opacity: 0.6; } @media screen and (max-width: 768px) { .footer-row { display: block; } .footer-col { width: 100%; text-align: center; margin: 6px 0; } .footer-col:first-child { margin-top: 0; } .footer-col:last-child { margin-bottom: 0; } .footer-col-copyRight, .footer-col-logo { justify-content: center; } .logo { margin: 0 auto; } } /*# sourceMappingURL=styles.css.map */

Logique sur des monoïdes

Apollonius

Apollonius

January 2019 dans Shtam

Bonjour,
je propose des méthodes monoïdales en logique pour structurer les opérations logiques.
Merci pour vos commentaires,
Apollonius

Réponses

Poirot

January 2019

Mon commentaire : comme d'habitude, des définitions sans aucune motivation à part "j'ai envie de généraliser tel truc, même si ça n'existe pas/ne sert à rien".

Cf. http://www.les-mathematiques.net/phorum/read.php?4,1677538,1677538#msg-1677538 http://www.les-mathematiques.net/phorum/read.php?3,1663320,1663320#msg-1663320 http://www.les-mathematiques.net/phorum/read.php?3,1659950,1659950#msg-1659950 http://www.les-mathematiques.net/phorum/read.php?3,1645086,1645086#msg-1645086 http://www.les-mathematiques.net/phorum/read.php?3,1637116,1637116#msg-1637116 http://www.les-mathematiques.net/phorum/read.php?3,1598234,1598234#msg-1598234 http://www.les-mathematiques.net/phorum/read.php?5,1516766,1516766#msg-1516766 http://www.les-mathematiques.net/phorum/read.php?4,1516792,1516792#msg-1516792 http://www.les-mathematiques.net/phorum/read.php?14,1720992,1720992#msg-1720992 http://www.les-mathematiques.net/phorum/read.php?8,1713770,1713770#msg-1713770 http://www.les-mathematiques.net/phorum/read.php?3,1712008,1712008#msg-1712008 http://www.les-mathematiques.net/phorum/read.php?44,1722980,1723724#msg-1723724
Apollonius

January 2019

Message modéré. Insultes.
Maxtimax

January 2019

Quelles sont ces fameuses "méthodes monoïdales" ? Je ne vois qu'une définition d'un certain monoïde muni d'une involution
Apollonius

January 2019

Message modéré. Insultes.

Cette discussion a été fermée.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

In this Discussion

Qui est en ligne 25

Bouzar

JLT

Rescassol

biguine_equation

parisse

+20 Invités

/* * These styles apply ONLY to the header and footer assets. */ * { padding: 0; margin: 0; box-sizing: border-box; } .footer { background: #f5f5f6; color: #555a62; font-size: 14px; line-height: 1.5; padding: 18px 0; } .footer-wrap { padding-left: 18px; padding-right: 18px; max-width: 1236px; margin: 0 auto; } .footer a { color: #0291db; } .footer a:hover { color: #0276b3; } .footer-row { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; margin: -3px; } .footer-col { padding: 0 3px; } .footer-col-copyRight { justify-content: flex-start; } .footer-col-logo { justify-content: flex-end; } .footer-col-copyRight, .footer-col-logo { flex: 1; display: flex; } .logo { width: 120px; height: 28px; opacity: 0.6; } @media screen and (max-width: 768px) { .footer-row { display: block; } .footer-col { width: 100%; text-align: center; margin: 6px 0; } .footer-col:first-child { margin-top: 0; } .footer-col:last-child { margin-bottom: 0; } .footer-col-copyRight, .footer-col-logo { justify-content: center; } .logo { margin: 0 auto; } } /*# sourceMappingURL=styles.css.map */