Difference between revisions of "Theory/spring2020"

From Maryville College CS Wiki
Jump to: navigation, search
(Readings)
(Course Information)
 
(19 intermediate revisions by the same user not shown)
Line 9: Line 9:
 
   |offered=Fall of every odd numbered year. (2015, 2017, etc.) or sometimes the Spring of an even numbered year (like 2020).
 
   |offered=Fall of every odd numbered year. (2015, 2017, etc.) or sometimes the Spring of an even numbered year (like 2020).
 
   |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.
 
   |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=[[media:RobertLowe-CSC381-Spring2020-01.pdf|Spring 2020 Syllabus]]
+
   |syllabus=[[media:RobertLowe-CSC381-Spring2020-01.pdf|Spring 2020 Syllabus]], and [[media:RobertLowe-CSC381-Spring2020-01-revised.pdf|Revised Syllabus]]
 
}}
 
}}
  
Line 15: Line 15:
 
# [[media:Cantor_UeberEineElementare_Trans_v1.pdf|On an Elementary Question in the Theory of Manifolds]]. Georg Cantor 1891. Translated by Peter P Jones (2019)
 
# [[media:Cantor_UeberEineElementare_Trans_v1.pdf|On an Elementary Question in the Theory of Manifolds]]. Georg Cantor 1891. Translated by Peter P Jones (2019)
 
# [https://personal.us.es/josef/pcmCrisis.pdf The Crisis in the Foundation of Mathematics] by Jose Ferreiros. Chapter II.7 of ''Princeton Companion to Mathematics''. Princeton University Press. 2008
 
# [https://personal.us.es/josef/pcmCrisis.pdf 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
 +
## [https://archive.org/details/principiamathema01anwh Volume 1]
 +
## [https://archive.org/details/PrincipiaMathematicaVol2 Volume 2]
 +
## [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://hirzels.com/martin/papers/canon00-goedel.pdf Alternate translation of Sections 1 and 2]. Kurt Godel 1931. Translated by Martin Hirzel.
 +
# [https://www.ics.uci.edu/%7Elopes/teaching/inf212W12/readings/church.pdf An Unsolvable Problem of Elementary Number Theory]. Alonzo Church. April 1936
 +
## [https://learnxinyminutes.com/docs/lambda-calculus/ Learn Lambda Calculus in Y Minutes]
 +
# [https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf On Computable Numbers With an Application to the Entscheidungsproblem]. Alan Turing. November 1936
  
 
== 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-03-Godel-1.pdf|Godel Problem Set 1]]
 +
# [[media:CSC381-Spring2020-04-Godel-2.pdf|Godel Problem Set 2]]
 +
 +
== Peer Reviewed Papers ==
 +
[[Theory/spring2020/Paper_Submission|Paper Submission Standards]]
 +
 +
[https://authorservices.wiley.com/Reviewers/journal-reviewers/how-to-perform-a-peer-review/step-by-step-guide-to-reviewing-a-manuscript.html Step by step guide to reviewing a manuscript]
 +
 +
[[Theory/spring2020/review|Peer Review Submission Guidelines]]
 +
 +
# Peer Review Paper 1 is Due February 28, 2020 (See [[MCTOC|MCTOC]] for inspiration).
 +
## Electronic Camera Ready Copy Due April 10, 2020 (Be sure to suppress page numbers.)
 +
# Peer Review Paper 2 is Due April 17, 2020

Latest revision as of 16:55, 28 March 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, and Revised 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.
    1. Alternate translation of Sections 1 and 2. Kurt Godel 1931. Translated by Martin Hirzel.
  5. An Unsolvable Problem of Elementary Number Theory. Alonzo Church. April 1936
    1. Learn Lambda Calculus in Y Minutes
  6. On Computable Numbers With an Application to the Entscheidungsproblem. Alan Turing. November 1936

Homework

  1. Cantor Problem Set
  2. Principia Mathematica Problem Set
  3. Godel Problem Set 1
  4. Godel Problem Set 2

Peer Reviewed Papers

Paper Submission Standards

Step by step guide to reviewing a manuscript

Peer Review Submission Guidelines

  1. Peer Review Paper 1 is Due February 28, 2020 (See MCTOC for inspiration).
    1. Electronic Camera Ready Copy Due April 10, 2020 (Be sure to suppress page numbers.)
  2. Peer Review Paper 2 is Due April 17, 2020