2023-02-10 04:02:50 +00:00
< html >
< head >
< title >
CSCI-4420 - Computability and Logic
< / title >
< meta property = "og:title" content = "CSCI-4420 - Computability and Logic" >
< meta property = "og:description" content = "This course covers basic concepts and results in mathematical logic and computability theory, including decision procedures, automated theorem proving techniques for truth-functional and first-order logic, axiomatizations of set theory and arithmetic, Turing Machines, Abacus Machines, recursive functions, the Church-Turing Thesis, the halting problem, undecidability of first-order logic, undecidability of arithmetic, and Godel's incompleteness results." >
2023-02-10 04:08:22 +00:00
< link rel = "stylesheets" href = "../css/common.css" >
< link rel = "stylesheets" href = "../css/coursedisplay.css" >
2023-02-10 04:02:50 +00:00
< / head >
< body class = "search_plugin_added" >
< div id = "qlog-header" >
< a id = "qlog-wordmark" href = "./" > < svg > < use href = "./images/quatalogHWordmark.svg#QuatalogHWordmark" > < / use > < / svg > < / a >
< input type = "text" id = "header-search" placeholder = "Search..." onkeydown = "prepSearch(this, event)" >
< / div >
< div id = "cd-flex" >
< div id = "course-info-container" >
< h1 id = "name" >
Computability and Logic
< / h1 >
< h2 id = "code" >
CSCI-4420
< / h2 >
< p >
This course covers basic concepts and results in mathematical logic and computability theory, including decision procedures, automated theorem proving techniques for truth-functional and first-order logic, axiomatizations of set theory and arithmetic, Turing Machines, Abacus Machines, recursive functions, the Church-Turing Thesis, the halting problem, undecidability of first-order logic, undecidability of arithmetic, and Godel's incompleteness results.
< / p >
< div id = "cattrs-container" >
< span id = "credits-pill" class = "attr-pill" >
4 credits
< / span >
< / div >
< div id = "crosslist-container" >
< div id = "crosslist-title" class = "rel-info-title" >
Cross-listed with:
< / div >
< div id = crosslist-classes" class = "rel-info-courses" >
< a class = "course-pill" href = "MATH-4030.html" > MATH-4030 Computability and Logic< / a >
< a class = "course-pill" href = "PHIL-4420.html" > PHIL-4420 Computability and Logic< / a >
< / div >
< / div >
< div id = "prereq-container" class = "rel-info-container" >
< div id = "prereq-title" class = "rel-info-title" >
Prereqs:
< / div >
< div id = "prereq-classes" class = "rel-info-courses" >
< div class = "pr-or-con" >
< div class = "pr-or-title" >
one of:
< / div >
< div class = "pr-or" >
< a class = "course-pill" href = "PHIL-2140.html" > PHIL-2140 Introduction to Logic< / a >
< a class = "course-pill" href = "CSCI-2200.html" > CSCI-2200 Foundations of Computer Science< / a >
< / div >
< / div >
< / div >
< / div >
< / div >
< div id = "past-container" >
< h2 id = "past-title" >
Past Term Data
< / h2 >
< div id = "opt-container" >
< div id = "key-panel" >
< div id = "yes-code" class = "key-code" >
< span class = "code-icon" id = "yes-code-icon" >
< svg > < use href = "./icons.svg#circle-check" > < / use > < / svg >
< / span >
Offered
< / div >
< div id = "no-code" class = "key-code" >
< span class = "code-icon" id = "no-code-icon" >
< svg > < use href = "./icons.svg#circle-no" > < / use > < / svg >
< / span >
Not Offered
< / div >
< div id = "diff-code" class = "key-code" >
< span class = "code-icon" id = "diff-code-icon" >
< svg > < use href = "./icons.svg#circle-question" > < / use > < / svg >
< / span >
Offered as Cross-Listing Only
< / div >
< div id = "nil-code" class = "key-code" >
< span class = "code-icon" id = "nil-code-icon" >
< svg > < use href = "./icons.svg#circle-empty" > < / use > < / svg >
< / span >
No Term Data
< / div >
< / div >
< div id = "control-panel" >
< label for = "simple-view-input" id = "simple-view-label" class = "view-option-label" >
< span class = "view-icon" id = "simple-view-icon" >
< span class = "view-icon-selected" > < svg > < use href = "./icons.svg#circle-dot" > < / use > < / svg > < / span >
< span class = "view-icon-unselected" > < svg > < use href = "./icons.svg#circle-empty" > < / use > < / svg > < / span >
< / span >
Simple View
< / label >
< label for = "detail-view-input" id = "detail-view-label" class = "view-option-label" >
< span class = "view-icon" id = "detail-view-icon" >
< span class = "view-icon-selected" > < svg > < use href = "./icons.svg#circle-dot" > < / use > < / svg > < / span >
< span class = "view-icon-unselected" > < svg > < use href = "./icons.svg#circle-empty" > < / use > < / svg > < / span >
< / span >
Detailed View
< / label >
< / div >
< / div >
< table >
< thead >
< tr >
< th > < / th >
< th class = "spring season-label" > Spring< / th >
< th class = "summer season-label" colspan = "2" > Summer< / th >
< th class = "fall season-label" > Fall< / th >
< / tr >
< tr >
< th colspan = "2" > < / th >
< th class = "summer2 midsum-label" > (Session 1)< / th >
< th class = "summer3 midsum-label" > (Session 2)< / th >
< th > < / th >
< / tr >
< / thead >
< tbody >
< tr >
< th class = "year" > 2023< / th >
< td class = "term spring offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
Computability And Logic (4c)
< / span >
< ul class = "prof-list" >
< li > Bram Van Heuveln< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 14/30
< / span >
< / div >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2022< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2021< / th >
< td class = "term spring offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
Computability And Logic (4c)
< / span >
< ul class = "prof-list" >
< li > Bram Van Heuveln< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 10/20
< / span >
< / div >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2020< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2019< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2018< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2017< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2016< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2015< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2014< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2013< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2012< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2011< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2010< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2009< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2008< / th >
< td class = "term spring not-offered" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2007< / th >
< td class = "term spring unscheduled" >
< / td >
< td colspan = "2" class = "term summer unscheduled" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< / tbody >
< / table >
< / div >
< / div >
< / body >
< / html >
