càlcul - Diccionari de lingüística
Manuel Pérez Saldanya; Rosanna Mestre; Ofèlia Sanmartín
càlcul
càlcul
- ca càlcul, n m
- es cálculo
- fr calcul
- en calculus
Definition
Sistema de signes no interpretats, en el qual els enunciats són tractats algorísmicament i les formacions i les operacions s'efectuen d'acord amb unes regles explícites.
Note
- El càlcul és objecte de la sintaxi lògica i opera amb esquemes formals, independentment de tota significació o contingut, per tal d'evitar les ambigüitats i les impropietats del llenguatge ordinari. Consta d'un conjunt de símbols elementals, d'unes regles de formació i combinació de símbols i d'unes regles transformacionals. Per a ser vàlid, el càlcul ha de ser consistent, complet i decidible.
