diskrétní matematika odpovídají oblasti matematiky, která je zodpovědná za studium souboru přirozených čísel; to znamená množinu konečných a nekonečných spočítatelných čísel,...
matematická logika nebo symbolická logika je matematický jazyk, který obsahuje nezbytné nástroje, pomocí kterých lze matematické uvažování potvrdit nebo popřít....