Числення (значення)

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

У математиці терміном числення позначаються різні галузі знань, а також формальні теорії (множини формул, отриманих з аксіом за допомогою правил виводу).

Обчислення в математичній логіці: