شهید اول یکی از فقهای بزرگ قرن هشتم هجری قمری است که آثار او هنوز به عنوان کتاب درسی در حوزه‌های علمیه تدریس می‌شود. وی در کتاب غایة المراد در ضمن مبحث نماز قضاء به یکی از مباحث ریاضیات گسسته اشاره می‌کند. در نماز ...