Перейти до вмісту

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

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

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

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