UeduGPTs
Jupyters
Local AI
Memory Usage
CPU Usage
Disk Usage
Daily Traffic
Show a desktop notification when the AI TA finishes replying
Notify me when classmates post messages in the forum
Play an alert sound whenever there is a new notification
以集合與命題邏輯，搭起數學推理的地基。
從子集、冪集到迪摩根定律與量詞否定，看數學如何把「真假」與「一群東西」變成可演算的對象
從羅素悖論到 ZFC、康托爾對角線與哥德爾不完備——進階篇帶你看穿自我指涉如何貫穿二十世紀邏輯學的命脈
