جبر مجرد و ساختارهای جبری در علوم رایانه