Inteligentní verze kalkulu definuje pojmy, jednotlivé početní metody jsou založeny na přesně formulovaných větách; během počítání se stále kontroluje, za jakých podmínek a ve kterém oboru jsou splněny potřebné předpoklady. Příklady do této sbírky...