Este livro surgiu de uma dissertação de mestrado do primeiro autor, sob a orientação do segundo, no Instituto de matemática e Estatística da USP. Ele traz uma introdução a Teoria de bases de Gröbner para álgebras associaticas, em um cenário não necessariamente. As bases de Gröbner estão cada vez mais presentes em trabalhos matemáticos atuais e a literatura é rica em introduções ao assunto no contexto de anéis de polinômios comutativos. O cenário não comutativo, contudo, não dispõe de material equivalente. Este foi um dos principais motivadores para a criação deste livro. O livro procura trazer um introdução abrangente ao assunto, tratando os resultados algébricos da teoria com profundidade. Em particular, as relações com Álgebra de Caminhos e com o Lema do Diamante são expostas em detalhes. O texto é bastante autocontido.