理论计算机科学基础 | Introduction to Theoretical Computer Science

This course is offered through edX — you can add it to your Accredible profile to organize your learning, find others learning the same thing and to showcase evidence of your learning on your CV with Accredible's export features.


Course Date: 15 September 2014 to 17 November 2014 (9 weeks)

Price: free

Course Summary

本课程内容涵盖了形式语言与自动机理论、可计算性理论、计算复杂性理论等最基本的那部分内容。 This course covers the most basic parts of formal language and automata theory, computability theory and computational complexity theory.

Course Instructors

刘 田

Course Description

答:本课程将告诉你计算机不可能做到的一些事情。

FAQ

本课程需要哪些资源才能进行学习? 答:一台联网的电脑,纸和笔,以及最重要的好奇心。 本课程最有趣的内容是什么? 答:本课程将告诉你计算机不可能做到的一些事情。 本课程需要什么先修课程? 答:离散数学的基础知识,包括集合、关系、函数、逻辑、图等。

Course Prerequisites

答:一台联网的电脑,纸和笔,以及最重要的好奇心。

Review course:

Please sign in to review this course.

Similar Courses


{{ course.name }} {{ course.name }}

{{ course.name}}

{{course.start_date | date:'MMM d'}} — {{ course.end_date | date:'MMM d'}}   ({{ course.time_until_course_starts }} ,   length: {{ course.length_in_weeks }} weeks) Self-paced — no deadlines    
${{ course.price }} p/mfree
TO-LEARN
TO-LEARN
ADDED!

REMOVE
FROM
LIST
ON PROFILE

Course Activity & Community

Be the first Accredible user to join this course!





uploaded {{ feed_item.model.caption || feed_item.model.url || feed_item.model.file_file_name }} for the course {{ feed_item.course.name }} — {{ feed_item.time_ago }}

{{ comment.user.name }} {{ comment.text | truncate: (comment.length || comment_display_length) }}   read more hide

{{ comment.time_ago }}

started the course {{ feed_item.course.name }} — {{ feed_item.time_ago }}
followed {{ feed_item.model.name }} — {{ feed_item.time_ago }}
followed thier friend {{ feed_item.model.name }} — {{ feed_item.time_ago }}
{{ feed_item.model.text }} (on the course {{ feed_item.course.name }}) — {{ feed_item.time_ago }}

{{ comment.user.name }} {{ comment.text | truncate: (comment.length || comment_display_length) }}   read more hide

{{ comment.time_ago }}