Mathematical Thinking in Computer Science

开始时间: 04/22/2022 持续时间: Unknown

所在平台: CourseraArchive

课程类别: 计算机科学

大学或机构: CourseraNew

课程主页: https://www.coursera.org/archive/what-is-a-proof

课程评论:没有评论

第一个写评论        关注课程

课程简介

University of California, San Diego, Higher School of Economics

课程大纲

What is a proof? Why do we care about proofs? Are the boring long tedious arguments usually known as `mathematical proofs' really needed outside the tiny circle of useless theoreticians that pray something called `mathematical rigor'? In this course we will try to show that proofs can be simple, elegant, convincing, useful and (don't laugh) exciting. Later we will try to show different proof techniques and tools, but first of all we should break the barrier and see that yes, one can understand a proof and one can enjoy the proof. We start with simple puzzles where one small remark can disclose "what really happens there" and then the proof becomes almost obvious.

课程评论(0条)

课程详情

There is a perceived barrier to mathematics: proofs. In this course we will try to convince you that this barrier is more frightening than prohibitive: most proofs are easy to understand if explained correctly, and often they are even fun.

课程标签

数学基础 离散数学 计算机科学 离散数学课程 离散数学公开课 数学 课程标签 证明 什么是证明

0人关注该课程

主题相关的课程