Changes

Jump to: navigation, search

Theory/spring2020

1,567 bytes added, 28 March
Course Information
|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.
|syllabus=[[media:RobertLowe-CSC381-Spring2020-01.pdf|Spring 2020 Syllabus]], and [[media:RobertLowe-CSC381-Spring2020-01-revised.pdf|Revised Syllabus]]
}}
## [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 ==
# [[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
Bureaucrat, progTeam, rlowe, administrator
2,150
edits

Navigation menu