Difference between revisions of "Theory/spring2020"

From Maryville College CS Wiki
Jump to: navigation, search
(Homework)
(Readings)
Line 19: Line 19:
 
## [https://archive.org/details/PrincipiaMathematicaVol2 Volume 2]
 
## [https://archive.org/details/PrincipiaMathematicaVol2 Volume 2]
 
## [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.
  
 
== Homework ==
 
== Homework ==
 
# [[media:CSC381-Spring2020-Homework-01-Cantor.pdf|Cantor Problem Set]]
 
# [[media:CSC381-Spring2020-Homework-01-Cantor.pdf|Cantor Problem Set]]
 
# [[media:CSC381-Spring2020-02-Principia.pdf|Principia Mathematica Problem Set]]
 
# [[media:CSC381-Spring2020-02-Principia.pdf|Principia Mathematica Problem Set]]

Revision as of 12:57, 24 January 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

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

Homework

  1. Cantor Problem Set
  2. Principia Mathematica Problem Set