آشنایی دانشجویان با شاخه ای از ریاضیات که تمام ساختارهای ریاضی را در یک زبان واحد مورد مطالعه قرار میدهد