Mathematical Foundations of Computing

Mathematical Foundations of Computing

Description

Mathematics provides many powerful insights for current and future fundamental principles of computer science. Learn how to model problems mathematically, reason about them abstractly and then apply techniques to explore their properties. This broad introduction to mathematical applications will prepare you to move forward and solve today’s most important problems within the computer science field.

Prerequisites

Programming Abstractions (Stanford Course CS106B) or equivalent

Topics include

  • Formal language theory such as finite automata, Turing machines and NP-completeness
  • Induction, sets, functions and relations
  • Proof techniques and applications
  • Propositional predicate logic

Course Availability

The course schedule is displayed for planning purposes – courses can be modified, changed, or cancelled. Course availability will be considered finalized on the first day of open enrollment. For quarterly enrollment dates, please refer to our graduate education section.


Course Archived

Delivery
Online
Date
Winter 2021-22
School
Stanford School of Engineering
Language
English