mirror of
https://github.com/quatalog/site.git
synced 2025-12-09 13:48:16 +00:00
585 lines
24 KiB
HTML
585 lines
24 KiB
HTML
<!DOCTYPE html>
|
||
<html>
|
||
<head>
|
||
<title>
|
||
CSCI-6050: Theory Of Computation
|
||
</title>
|
||
<meta property="og:title" content="CSCI-6050: Theory Of Computation">
|
||
<meta property="og:description" content="This course covers the formal foundations of computability and complexity. We aim to answer fundamental questions about what problems can be solved and what problems cannot be solved, and what problems can be solved given our limited resources. Topics include: the Church-Turing thesis; variations of Turing Machines; decidability; the Halting Problem; reducibility; the Recursion Theorem; time and space complexity; intractability; NP-completeness; and Cook’s theorem. We will also discuss some emerging and unconventional computing models.">
|
||
<link rel="stylesheet" href="../css/common.css">
|
||
<link rel="stylesheet" href="../css/coursedisplay.css">
|
||
<link rel="stylesheet" href="../css/themes.css">
|
||
<link rel="shortcut icon" href="../favicon/quatalogIcon.png">
|
||
<link rel="icon" href="../favicon/favicon.ico">
|
||
<link rel="apple-touch-icon" sizes="180x180" href="../favicon/apple-touch-icon.png">
|
||
<link rel="icon" type="image/png" sizes="32x32" href="../favicon/favicon-32x32.png">
|
||
<link rel="icon" type="image/png" sizes="16x16" href="../favicon/favicon-16x16.png">
|
||
<link rel="manifest" href="../favicon/site.webmanifest">
|
||
<script src="../js/fuse.js"></script>
|
||
<script src="../js/search_helper.js"></script>
|
||
</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>
|
||
<form onsubmit="search_helper(event)">
|
||
<input type="text" id="search" class="header-search" placeholder="Search...">
|
||
</form>
|
||
</div>
|
||
<div id="cd-flex">
|
||
<div id="course-info-container">
|
||
<h1 id="name">
|
||
Theory Of Computation
|
||
</h1>
|
||
<h2 id="code">
|
||
CSCI-6050
|
||
</h2>
|
||
<p>
|
||
This course covers the formal foundations of computability and complexity. We aim to answer fundamental questions about what problems can be solved and what problems cannot be solved, and what problems can be solved given our limited resources. Topics include: the Church-Turing thesis; variations of Turing Machines; decidability; the Halting Problem; reducibility; the Recursion Theorem; time and space complexity; intractability; NP-completeness; and Cook’s theorem. We will also discuss some emerging and unconventional computing models.
|
||
</p>
|
||
<div id="cattrs-container">
|
||
<span id="credits-pill" class="attr-pill">
|
||
3 credits
|
||
</span>
|
||
</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">
|
||
<span class="none-rect">
|
||
none
|
||
</span>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
<div id="past-container">
|
||
<h1 id="past-title">
|
||
Past Term Data
|
||
</h2>
|
||
<input type="radio" id="simple-view-input" name="view-select" value="simple" checked="checked">
|
||
<input type="radio" id="detail-view-input" name="view-select" value="detailed">
|
||
<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 id="years-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">2026</th>
|
||
<td class="term spring not-offered">
|
||
</td>
|
||
<td colspan="2" class="term summer unscheduled">
|
||
</td>
|
||
<td class="term fall unscheduled">
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2025</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">2024</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">2023</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">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 not-offered">
|
||
</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 offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201501&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Eugene Eberbach</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 2/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">2014</th>
|
||
<td class="term spring not-offered">
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201409&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 18/60
|
||
</span>
|
||
</div>
|
||
</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 offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201309&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 38/60
|
||
</span>
|
||
</div>
|
||
</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 offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201209&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 31/60
|
||
</span>
|
||
</div>
|
||
</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 offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201109&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 19/60
|
||
</span>
|
||
</div>
|
||
</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 offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201009&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 33/60
|
||
</span>
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2009</th>
|
||
<td class="term spring offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200901&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Eugene Eberbach</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 13/100
|
||
</span>
|
||
</div>
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200909&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 33/60
|
||
</span>
|
||
</div>
|
||
</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 offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200809&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 26/60
|
||
</span>
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2007</th>
|
||
<td class="term spring offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200701&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Eugene Eberbach</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 19/100
|
||
</span>
|
||
</div>
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200709&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 15/60
|
||
</span>
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2006</th>
|
||
<td class="term spring not-offered">
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200609&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 25/60
|
||
</span>
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2005</th>
|
||
<td class="term spring offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200501&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Robert E. LaBarre</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 8/956
|
||
</span>
|
||
</div>
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200509&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 20/60
|
||
</span>
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2004</th>
|
||
<td class="term spring offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200401&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Robert E. LaBarre</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 9/139
|
||
</span>
|
||
</div>
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200409&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 25/40
|
||
</span>
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2003</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">2002</th>
|
||
<td class="term spring offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200201&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 21/2100
|
||
</span>
|
||
</div>
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall not-offered">
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2001</th>
|
||
<td class="term spring offered">
|
||
<div class="view-container detail-view-container">
|
||
<span class="term-course-info">
|
||
<a href="https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=200101&subj_in=CSCI&crse_in=6050&schd_in=">Computability & Complexity (3c)</a>
|
||
</span>
|
||
<ul class="prof-list">
|
||
<li>Mark K Goldberg</li>
|
||
</ul>
|
||
<span class="course-capacity">
|
||
Seats Taken: 29/40
|
||
</span>
|
||
</div>
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall not-offered">
|
||
</td>
|
||
</tr>
|
||
<tr>
|
||
<th class="year">2000</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">1999</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">1998</th>
|
||
<td class="term spring unscheduled">
|
||
</td>
|
||
<td colspan="2" class="term summer not-offered">
|
||
</td>
|
||
<td class="term fall not-offered">
|
||
</td>
|
||
</tr>
|
||
</tbody>
|
||
</table>
|
||
</div>
|
||
</div>
|
||
</body>
|
||
</html>
|