Course Overview

Watch this welcome video from your instructor:

Course Description

Is this statement true? why?

The course will revolve heavily around this recurring question. Across different mathematical topics, students will be faced with new statements to grapple with, and the techniques needed to tackle them.

This aims to be a contextualized course. We will write code on occasion, and introduce high-level mathematical challenges in computer science.

This course will help you develop the ability to think logically and mathematically, with an emphasis on logical reasoning and communicating using mathematics. In the unit on logic and proofs, you'll learn to identify, evaluate, and make convincing mathematical arguments.

You'll review number systems, and their relevance to digital computers. You'll discuss and practice algebraic operations and concepts fundamental to Computer Science. The course also includes an introduction to counting and probability. You'll also explore how all of these methods are used in real-world computational problems.

Learning Outcomes

By the end of the course, you will be able to:

  • Evaluate arguments, and identify the premises and conclusion of a mathematical argument
  • Create diagrams to graphically depict the structure of an argument
  • Decompose a given problem into smaller problems using recursion and induction
  • Apply probability rules to determine the likelihood of an event

Instructor

Please reach out by email with “[Mathematical Thinking]” in the subject, using your Kibo email address.

This course also has a Teaching Assistant, who will have their own office hours and who you can reach out to for additional assistance.
The Teaching Assistant and their contact information is:

Live Class Time

Note: all times are shown in GMT.

  • Thursdays at 3:00 PM - 4:30 PM GMT

The following week’s lessons will be released every Sunday.

Office Hours

  • Instructor: Thursdays at 5:00 PM - 6:00 PM GMT
  • Teaching Assistant: Fridays at 7:00 PM GMT to 8:00 PM GMT