# Difference between revisions of "Theory/spring2020"

From Maryville College CS Wiki

< Theory

Robert.lowe (talk | contribs) (→Homework) |
Robert.lowe (talk | contribs) (→Readings) |
||

Line 20: | Line 20: | ||

## [https://archive.org/details/PrincipiaMathematicaVol3 Volume 3] | ## [https://archive.org/details/PrincipiaMathematicaVol3 Volume 3] | ||

# [http://www.jamesrmeyer.com/pdfs/godel-original-english.pdf On Formally Undecidable Propositions of Principia Mathematica]. Kurt Godel 1931. Translated by Meltzer. | # [http://www.jamesrmeyer.com/pdfs/godel-original-english.pdf On Formally Undecidable Propositions of Principia Mathematica]. Kurt Godel 1931. Translated by Meltzer. | ||

− | ## [http:// | + | ## [http://hirzels.com/martin/papers/canon00-goedel.pdf Alternate translation of Sections 1 and 2]. Kurt Godel 1931. Translated by Martin Hirzel. |

== Homework == | == Homework == |

## Revision as of 10:50, 3 February 2020

## Course Information

Code |
CSC3810 |

Name |
Theory of Computation |

Credit(s) |
3 |

Prerequisites |
CSC2310 |

Offered |
Fall of every odd numbered year. (2015, 2017, etc.) or sometimes the Spring of an even numbered year (like 2020). |

Catalog Description |
A study of theoretical models of computing, including finite state machines, pushdown automata, context-free grammars, and Turing machines. The concepts of decidability, complexity theory, and NP-Completeness will be studied in depth. |

Syllabus |
Spring 2020 Syllabus |

Other Offerings |
Theory/offerings |

## Readings

- On an Elementary Question in the Theory of Manifolds. Georg Cantor 1891. Translated by Peter P Jones (2019)
- The Crisis in the Foundation of Mathematics by Jose Ferreiros. Chapter II.7 of
*Princeton Companion to Mathematics*. Princeton University Press. 2008 - Principia Mathematica by A. N. Whitehead and Bertrand Russell
- On Formally Undecidable Propositions of Principia Mathematica. Kurt Godel 1931. Translated by Meltzer.
- Alternate translation of Sections 1 and 2. Kurt Godel 1931. Translated by Martin Hirzel.