(kalkül)
hesaplamada başvurulan işaret ve kurallar sistemine; mantıksal problemleri çözmek için geliştirilen formel sisteme verilen addır. bir konudaki akıl yürütmeyi yöneten ilkeler bütünü için kullanılan deyim ve bir anlamıyla da çıkarım kurallarına ve mantıksal işlem yöntemlerine göre, semboller kullanılarak çıkarım yapılan formel işlem.
buna göre cebirsel kalkül, aritmatiksel işlemleri kendisine temel almak ve onu bir model olarak kullanmak suretiyle geliştirdiğimiz bir soyut semboller topluluğu ve bir yapma dildir.
örneğin; 3 ile 2'nin toplamlarının karesinin 25 edeceğini göstermek için,
(a+b)^2=a^2* + 2ab +b^2* gibi bir cebir kuralını ve formülünü uygulamak yeterlidir. bu formül, yalnız 3 ve 2 sayıları için değil herhangi iki sayının toplamlarının kareleri için ve dolayısıyla sayılardan bağımsız olarak geçerlidir. cebirsel kalkül, içerikten ya da sayılardan bağımsız olarak tüm sayılar evreni için başvurmamız gereken işaretleri ve harfleri içeren bir sistem sağlar. böyle bir kalkül geliştirildikten sonra, söz konusu içeriksiz yapıyı belli bir içeriğe uygulamak ve sayılar evrenindeki ilişkileri denetlemek mümkün hale gelir.
