UeduGPTs
Jupyters
Memory Usage
CPU Usage
Disk Usage
Daily Traffic
AI 助教回覆完成時顯示桌面通知
同學在討論區發送訊息時通知
每當有新通知時播放提示音
以集合與命題邏輯,搭起數學推理的地基。
從子集、冪集到迪摩根定律與量詞否定,看數學如何把「真假」與「一群東西」變成可演算的對象
從羅素悖論到 ZFC、康托爾對角線與哥德爾不完備——進階篇帶你看穿自我指涉如何貫穿二十世紀邏輯學的命脈