skip to main content

cu: home | engineering | cuconnect | explore cu | cu a-z | search cu | contact cu

cs: about | calendar | directory | catalog | schedules | mobile | contact cs

	home \| quick links \| site map \| who's where \| cs a-z

· faculty · staff · students · alumni · phone directory · committees · academic advisors · peer advising · csuac · advisory board · mail lists · who's where

· calendar · colloquia · mailing list · scheduling · defenses · bactac · department meetings · lecture series · cats · tabbs

· catalog · class schedules · fall 2009 · spring 2010 · summer 2010 · prerequisites · web pages · coordinators · caete online classes · fcqs · ta awards · defunct

· bs degree · requirements · advising · degree audits · concurrent bs/ms degree · minor · foundation and core · senior project · senior thesis · peer advising · csuac · co-ops and internships · forms · faqs · prospective student guide · continuous improvement policy · why computer science?

· ms degree · me degree · phd degree · admissions · forms · financial aid · housing · incoming phd guide · grad student handbook · prospective student guide · why computer science?

· Center for Computational Pharmacology (CCP) · Center for Lifelong Learning and Design (L3D) · Collaboration Technology Research Group (CTRG) · Colorado Computer Systems Research (CCSR) · Computational Language and Education Research (CLEAR) · Computational Science and Engineering Research Group · Computer and Communications Security Center (CCSC) · Database Research Group · Intelligence in Action Lab · MultimodAl NeTworks of In-situ Sensors (MANTIS) · Neural and Statistical Computation Research Group · Protein Folding by Global Optimization · Scalable Game Design · Software Engineering Research Laboratory (SERL) · TerraSpark Geosciences · Tool-Supported Programming Languages Curriculum · Translator Construction (Eli) · University of Colorado Policy Lab · Wellness Innovation and Interaction Lab (WII)

· about · phone directory · contact us · getting here · staying here · news · publications · tech reports · theses · facilities · policies · maps & floor plans · reservation system · open positions · cs jobs mail list · donations · diversity · alliances · community links

· site map · a to z · who's where · site outline · hot links · about the site · search

home · courses ·

CSCI 3434. Theory of Computation

CSCI 3434 (3). Theory of Computation.

Introduces the foundations of formal language theory, computability, and complexity. Shows relationship between automata and various classes of languages. Addresses the issue of which problems can be solved by computational means, and studies complexity of solutions. Prerequisites: CSCI 3104 and CSCI 3155.

CU Catalog:

Coordinator: Andrzej Ehrenfeucht

CSCI 3434 (3).	Theory of Computation
Fall 2009	sec. 001	72756	21	ICAL	PLUS	02:00pm-02:50pm	MWF	ECCR 110	Andrzej Ehrenfeucht
Spring 2010	sec. 001	12656	28	ICAL	PLUS	02:00pm-02:50pm	MWF	ECCR 139	Debra Goldberg

See also:

Department of Computer Science
College of Engineering and Applied Science
University of Colorado at Boulder
Boulder, CO 80309-0430 USA

Questions/Comments?
Send email to

Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844

©2009

November 23, 2009 (00:12)