Error occured ! We are notified and will try and resolve this as soon as possible.
WARNING! [2] file_put_contents(/home/myedu/domains/myeducationpath.com/app/../html/cache/memory/course_6777_0_e086762d743c0218beb85ea6e1b456cae.txt): Failed to open stream: No such file or directory . Line 75 in file /home/myedu/domains/myeducationpath.com/html/include/class.cache.php. Continue execution. 3461737; index.php; 35.153.170.189; GET; url=courses/6777/ma201-mathematical-logic-and-theory-of-computation.htm&; ; claudebot; ; Executon time: 0

MA201: Mathematical Logic and Theory of Computation

1 votes
Free Closed [?]
MA201: Mathematical Logic and Theory of Computation

Mathematics is about structure, about reasoning, and about modeling.  This course braids these three threads together.  Mathematical logic began as the study of the reasoning used in mathematics, but it turns out to be useful in describing the mathematical concept of structure and in modeling automated reasoningthat is, modeling computation. The logical approach to structure gives an alternate perspective on such other mathematical subjects as combinatorics and abstract algebra.  This, for the most part, is described by the area of model theory, which is the focus of Unit 1. In Unit 2, we will look at modeling computation.  The central fact of these models, from a logical standpoint, is that once we can handle a computation as a definable mathematical object, we can prove that certain computations are impossible.  The most famous such proof is Gödel’s Incompleteness Theorem, showing that it is impossible to compute truth in a system sufficiently strong to describe natural number arithmetic.

Categories: Mathematics

Comments

Alternatives

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Paths

  • Applied Mathematics

    Applied Mathematics degree

  • Mathematics

    This is the path to get alternative degree in Mathematics with MOOCs and other online courses

  • Physics

    Physics education path.



See all Education Paths

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Students

People who learned this course or plan to learn. These people added the course to their Education Passport or their Personal Education Path.

Alberto Mesa Andrey Kirillov Daniel Pastushchak