Monoide: diferenças entre revisões

3 bytes adicionados ,  21 de maio de 2011
sem resumo de edição
m (r2.7.1) (Bot: Adicionando: ta:ஒற்றைக்குலம்)
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 ==
Utilizador anónimo