Monoide: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Luckas-bot (discussão | contribs)
m r2.7.1) (Bot: Adicionando: ta:ஒற்றைக்குலம்
Linha 2:
Em [[álgebra abstrata]], um '''monoide''' é uma [[estrutura algébrica]] com uma única operação binária, associativa e com um elemento neutro<ref name="c++">[http://www.cs.brown.edu/~jwicks/boost/libs/graph/doc/Monoid.html Monoid], no ''site'' C++ Boost</ref>.
 
Monoides ocorrem em alguns ramos da [[matemática]]. Em [[geometria]], um monoide captura a idéia[[ideia]] de composição de função. Essa noção é abstraída da [[teoria das categorias]], no qual o monoide é uma categoria com um objeto. Os monoides são usados comumente para fornecer fundações algébricas à [[ciência da computação]]. Nesse caso, alguns tipos de monoides são usados para descrever uma [[máquina de estado finito]].
 
== Definição formal ==