Science & Social Sciences
Hands on Training icon
Hands On Training
Hands on Training icon

Mathematical Thinking in Computer Science

Course Cover

5

(4)

compare button icon

Course Features

icon

Duration

42 hours

icon

Delivery Method

Online

icon

Available on

Limited Access

icon

Accessibility

Mobile, Desktop, Laptop

icon

Language

English

icon

Subtitles

English

icon

Level

Beginner

icon

Teaching Type

Self Paced

icon

Video Content

42 hours

Course Description

In all areas of computer science, mathematical thinking is essential: algorithms, bioinformatics and machine learning. This course will teach you the most important tools in discrete mathematics, including induction, logic, recursion and logic. These tools will be used to answer common programming questions such as: How can you know if a solution exists? Can I be sure that my program calculates the best answer? Are these objects in line with the requirements?

Course Overview

projects-img

Post Course Interactions

projects-img

Hands-On Training,Instructor-Moderated Discussions

projects-img

Case Studies, Captstone Projects

Skills You Will Gain

What You Will Learn

You will gain knowledge on Mathematical Induction

You will gain knowledge on Proof Theory

You will gain knowledge on Discrete Mathematics

You will gain knowledge on Mathematical Logic

Course Instructors

Author Image

Alexander S. Kulikov

Department of Mathematics and Computer Science

Alexander Kulikov is a senior research fellow at St. Petersburg Department of Steklov Mathematical Institute, a professor at St. Petersburg State University, educational projects coordinator at JetBr...
Author Image

Michael Levin

Computer Science

Michael Levin is the instructor for this course
Author Image

Владимир Подольский

Факультет компьютерных наук НИУ ВШЭ

Владимир Подольский is the instructor for this course

Course Reviews

Average Rating Based on 4 reviews

4.8

75%

25%

Course Cover