Mathematics for Computer Scienceという無料公開されている教科書のことを以前紹介しました(末尾のリンク参照）。この教科書を使った講義(2024年分）が公開されています。
シラバスはこちら。
https://ocw.mit.edu/courses/6-1200j-mathematics-for-computer-science-spring-2024/pages/syllabus/
この教科書へのリンクや
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
講義の演習問題、講義資料、講義動画へのリンクなどが掲載されています。
動画を一つ例として埋め込んでおきます。YouTubeの動画を埋め込んでおきますが、上のシラバスからたどれる動画はダウンロード可能です。ダウンロードボタン↓をおしてDownload Videoとでてくる部分を右クリックしてリンク先を保存とすると、ダウンロードできます。Download Scriptの方を選べば、字幕がダウロードできるのもいいですね。
Lecture 1: Predicates, Sets, and Proofs
https://youtu.be/sbpCTjmw85g?
MITのOpen CoursewareでMathematics for Computer Scienceという教科書をダウンロードしたり、有名なStrang先生の微積分入門講義が学べます！