Ocena brak

RACHUNEK

Autor /truchtacz Dodano /12.11.2012

 

RACHUNEK łc. calculus; ang. calculus; fr. calcul; nm. Kalkiil

log. System symboli oraz reguł określa­jących działania na tych symbolach, przy czym reguły odwołują się wyłącznie do kształtu wyrażeń, a nie do ich znaczenia. W przypadku, gdy wszystkie symbole są terminami logicznymi, system taki nazy­wa się rachunkiem logicznym.

RACHUNEK FUNKCYJNY ang. functional calculus log. syn.^ Rachunek kwantyfikatorów.

RACHUNEK KLAS ang. calculus of classes; nm. Klassenkalkul, Klassenlogik log. syn.^ Rachunek zbiorów.

 

RACHUNEK UNIWERSALNY ang. universal calculus syn.—> Mathesis universalis.

Podobne prace

Do góry