记录：关于一种计算给定日期是星期几的数学公式-蔡勒公式

蔡勒公式（Zeller's Congruence）是一种计算给定日期是星期几的数学公式。它由德国数学家蔡勒（Christian Zeller）在19世纪提出。该公式适用于公历和儒略历，能够直接计算某年某月某日是星期几。

公式描述

对于公历（即当前通用的日历），蔡勒公式如下：

其中：

• w 是星期几的结果，0代表星期六，1代表星期天，2代表星期一，依此类推。
• d 是日期（即日）。
• m 是月份。如果是1月或2月，将其分别视为前一年的13月或14月。例如，1月被视为前一年的13月，2月被视为前一年的14月。
• K 是年份的后两位（即年数模100）。
• J 是年份的前两位（即年数除以100取整）。
• mod 是模运算的符号，代表取余操作。具体来说，模运算会将一个数除以另一个数，然后取商数之外的余数。

使用步骤

1. 如果月份是1月或2月，按上述方式调整月份和年份。
2. 代入公式计算w。
3. 结果w表示星期几。

示例

假设要计算2024年8月13日是星期几：

1. 设定 d