View source for User:Jeffj/CS6723/Syllabus

{{TOCright|limit=0}}
== CS 6723 Computability ==
Summer 2019, Section 001, MTWRF 8:10am-10:00am, CSM 211 (3 credits)<!--
Fall 2017, Section 001, TR 9:30am-10:45am, HSS 1041 (3 credits)
-->

== Instructor ==
{{User:Jeff.jenness/Contact Header|style=compact}}

== Course Description ==
{{:Courses/CS 6723/Description}}
====Program Specific Outcomes====
* (Reinforced) {{:Degrees/MS/Outcomes/1}}
=== Course Outcomes ===
{{:Courses/CS 6723/Outcomes}}


=== Grading ===
Grades are assigned on a standard scale with the following weights:
:<table border=0><tr><th align=left>Tests (2)</th><td></td><td>60%</td></tr><tr><th align=left>Final</th><td></td><td>40%</td></tr></table>
Note: excessive unexcused absences will result in a 10% reduction in your overall grade.

=== Schedule ===
''(subject to change)''
<table border=0>
<tr><th>Week&nbsp;&nbsp;</th><th>Topic</th><th>Reading</th><th>Assignment</th></tr>
<tr><td align=center valign=top>1</td>
    <td></td>
    <td valign=top>Chapter 3: The Church-Turing Thesis</td><td valign=top></td></tr>
<tr><td align=center valign=top>2</td>
    <td></td>
    <td valign=top>Chapter 4: Decidability</td><td valign=top></td></tr>
<tr><td align=center valign=top>3</td>
    <td></td>
    <td valign=top>Chapter 5:.Reducibility</td><td valign=top></td></tr>
<tr><td align=center valign=top>4</td>
    <td></td>
    <td valign=top>Chapter 6: Advanced Topics in Computability Theory</td><td valign=top></td></tr>
<tr><td align=center valign=top>5</td>
    <td></td>
    <td valign=top>Review for Final</td><td valign=top></td></tr>
</table>

=== Textbook ===
:{{Template:Textbook
|title={{link|marquee=An Introduction to Formal Languages and Automata|protocol=https://|address=www.jblearning.com/catalog/productdetails/9781284077247}}
|edition=6th
|author=Peter Linz
|ISBN=978-12840772470
|publisher=Jones & Bartlett Learning
|year=2016
|Amazon=https://www.amazon.com/Introduction-Formal-Languages-Automata/dp/1284077241
}}

=== Resources ===
:Go to the {{link|protocol=https://|address=magichat.cs.astate.edu/d/81229e7afa/?p=/CS6723%20Computability&mode=list|marquee=online repository}}

==== Software Downloads ====
:{{link|address=www.jflap.org|marquee=JFLAP}} is software for exploring and experimenting with automata, machines and grammars.

== Course Policies ==  
See [[Department/Policies/Classroom|Department Policies]] which will be adhered to within the course.

== See Also ==
* {{link|title=Mathematical Induction|address=en.wikipedia.org/wiki/Mathematical_induction|description=Wikipedia article}}

<small>[{{fullurl:{{FULLPAGENAMEE}}|action=pdfbook&format=single}} create PDF version]</small>