This is a rigorous undergraduate course on the Theory of Computation, using the classic text "Introduction to the Theory of Computation" by Michael Sipser. The course covers machine models and languages defined by Finite State Machines, Context-Free Languages, and Turing Machines.
There are four major theorems (and their uses) that we will study during this course, providing complete proofs: the pumping Lemma for regular languages, used to show that there are languages that are not regular; the existence of a Universal Turing Machine; undecidability of the Halting problem; and Cook's theorem that NP-complete problems exist. In addition to these major results, and other results, a central goal of the course is to increase student's skill level in understanding and writing rigorous mathematical proofs.
Beyond Media Network
Numenta
NIctophyle
Faitful Pena
Chris Halliday
London Futurists
Kristian Bouw
John Harada
Neuro Collective
Ross Hendrickson
Preprints in motion
Angela Esmeralda
Kylie Zangla
The Nonlinear Fund
Rick Dearman
Foresight Institute
Lefteris Statharas
Charleen Paual
None
Danny Ballan
Alan White
InsideScientific
Prof. Dr. Joachim Hornegger
Benjamin Himes
Amy Carbonneau
Paul Middlebrooks
The Nonlinear Fund
The Nonlinear Fund
Claremont Graduate University
molpigs
Data Skeptic
Caltech Letters
Matt Arnold
Castillo Erika
Paco Chow and Megan Lee
Society for Neuroscience
Dale Smith, Ph.D.
Kensy Cooperrider – Diverse Intelligences Summer Institute
Rachael Brown
PapaPodcasts
Supratim
DR RADHIKA VIJAY
SynTalk
Andrew Scott
Roland Pöllinger
Dr. Andy Johnson
Convergent Science Network: by Prof. Paul Verschure
Cambridge University
Jeremy Ullman
The NC3Rs, the North American 3Rs Collaborative, and Lab Animal
Brainy Days
The Nonlinear Fund
Abigail Bakke
BiteSize Bio
Greg Bredemeier
Kaysons Education
College of Arts and Sciences
LessWrong
Abeer Khaild
Ellen Berkovi
IMNano
Sebastian Hassinger & Kevin Rowney
Zschimmer & Schwarz Ceramco
Leo Elworth
The University of Nottingham
FBi Radio
Kevin Patton
Laurence Tratt
AAI
Caltech
Team Radio Bostrom
Thressa Smith ESL writing tips
Alice in Futureland
American Mathematical Society
winnie
Lukas
Dr Waseem Akhtar
academicevolution1
Roger Graves
The MK Shop
Kaylee Carson
None
Machine Learning Street Talk
Quanta Magazine
David Goodman
Barkha Yadav-Samudrala
Arvel Chappell III
Emory College, Emory Center for Mind, Brain and Culture (CMBC)
insideQuantum
MIT-PDA
None
Ben Jaffe and Katie Malone
The Nonlinear Fund
Melanin
The Nonlinear Fund
The Nonlinear Fund
Andrew Kowalski
Itai Yanai & Martin Lercher
DjRoy&Missy
Mark Jeffery