Те красивые штуки - это уже сугубо программистский "матан" (не матан, конечно, а вовсе даже дискра, ибо имеют дело с сущностями сугубо дискретными и конечными). И на мой взгляд - весело :)