Mathematics for Computer Science

Course details「コースの詳細」

• Course number「科目番号」 GB13604
• Term: Spring AB「学期 春AB」
• Classroom「教室」3B203
• Hours: Wednesdays, class periods 5 & 6 「時限 水5,6」15:15 → 18:00
• Lecture language: English「言語 英語」
• Manaba registration key: 3599591

Course content「授業内容」

• Wednesday, April 15, 2015: "Logic" by Prof. RUTKOWSKI
  • PDF of lecture notes
• Wednesday, April 22, 2015: "Proofs and Sets" by Prof. RUTKOWSKI
  • PDF of lecture notes
• Friday, May 8, 2015: "Induction" by Prof. RUTKOWSKI
  • PDF of lecture notes
• Wednesday, May 13, 2015: "Number Theory" by Prof. ARANHA
  • PDF of lecture notes
• Wednesday, May 20, 2015: "Graph Theory" by Prof. RUTKOWSKI
  • PDF of lecture notes
  • Octave's Network and Graph Theory Toolbox
• Wednesday, May 27, 2015: "Counting" by Prof. RUTKOWSKI
  • PDF of lecture notes
• Wednesday, June 3, 2015: "Recurrences" by Prof. ARANHA
• Wednesday, June 10, 2015: "Generating Functions" by Prof. ARANHA
• Wednesday, June 17, 2015: "Probability" by Prof. ARANHA
• Wednesday, June 24, 2015: "Random Variables" by Prof. ARANHA

Software for assignments 「ソフトウェア」

• Octave for Mac OSX
• Octave for Windows
• Octave for Android
• Octave for Linux

References

• Mathematics for Computer Science - As taught at MIT in: Fall 2010
• Mathematics for Computer Science - As taught at MIT in: Fall 2005