Úvod do inteligentního kalkulu

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 autor shromažďoval desítky let, dle jeho zkušeností poskytuje matematická analýza mnoho příležitostí, jak se správnému logickému uvažování učit. Kromě standardních příkladů je zde řada takových, které umožní co nejvšestranněji zvládnout příslušnou látku. Jinak je sbírka určená těm studentům, kteří chtějí od matematické analýzy hlubší pochopení principů. Učí správně užívat alternativy, konjunkce, implikace a ekvivalence spolu s jejich negacemi.