CS 374 - Intro to Algs & Models of Comp

Spring 2023

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Intro to Algs & Models of CompCS374AL165088LEC41100 - 1215 T R  THEAT Lincoln Hall Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYA65089DIS01100 - 1150 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYB65090DIS01200 - 1250 W F  4039 Campus Instructional Facility Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYC65091DIS01300 - 1350 W F  305 Materials Science & Eng Bld Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYD65092DIS01200 - 1250 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYE65093DIS01300 - 1350 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYF65094DIS01400 - 1450 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYG65095DIS01500 - 1550 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYH65096DIS01600 - 1650 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYJ65097DIS01400 - 1450 W F  4039 Campus Instructional Facility Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374AYK65098DIS01500 - 1550 W F  4039 Campus Instructional Facility Chandra Sekhar Chekuri
Intro to Algs & Models of CompCS374BL167005LEC41230 - 1345 T R  1320 Digital Computer Laboratory Nickvash Kani
Intro to Algs & Models of CompCS374BYA67949DIS01000 - 1050 W F  2055 Sidney Lu Mech Engr Bldg Nickvash Kani
Intro to Algs & Models of CompCS374BYB67951DIS01100 - 1150 W F  4039 Campus Instructional Facility Nickvash Kani
Intro to Algs & Models of CompCS374BYC67953DIS01200 - 1250 W F  2015 Electrical & Computer Eng Bldg Nickvash Kani
Intro to Algs & Models of CompCS374BYD67955DIS01500 - 1550 W F  2015 Electrical & Computer Eng Bldg Nickvash Kani
Intro to Algs & Models of CompECE374AL165099LEC41100 - 1215 T R  THEAT Lincoln Hall Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYA65100DIS01100 - 1150 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYB65101DIS01200 - 1250 W F  4039 Campus Instructional Facility Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYC65102DIS01300 - 1350 W F  305 Materials Science & Eng Bld Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYD65103DIS01200 - 1250 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYE65104DIS01300 - 1350 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYF65105DIS01400 - 1450 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYG65106DIS01500 - 1550 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYH65107DIS01600 - 1650 W F  1304 Siebel Center for Comp Sci Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYJ65108DIS01400 - 1450 W F  4039 Campus Instructional Facility Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374AYK65109DIS01500 - 1550 W F  4039 Campus Instructional Facility Chandra Sekhar Chekuri
Intro to Algs & Models of CompECE374BL167006LEC41230 - 1345 T R  1320 Digital Computer Laboratory Nickvash Kani
Intro to Algs & Models of CompECE374BYA67950DIS01000 - 1050 W F  2055 Sidney Lu Mech Engr Bldg Nickvash Kani
Intro to Algs & Models of CompECE374BYB67952DIS01100 - 1150 W F  4039 Campus Instructional Facility Nickvash Kani
Intro to Algs & Models of CompECE374BYC67954DIS01200 - 1250 W F  2015 Electrical & Computer Eng Bldg Nickvash Kani
Intro to Algs & Models of CompECE374BYD67956DIS01500 - 1550 W F  2015 Electrical & Computer Eng Bldg Nickvash Kani
Intro to Algs & Models of CompECE374ZJU67964LEC41230 - 1345 T R  1320 Digital Computer Laboratory 

Official Description

Analysis of algorithms, major paradigms of algorithm design including recursive algorithms, divide-and-conquer algorithms, dynamic programming, greedy algorithms, and graph algorithms. Formal models of computation including finite automata and Turing machines. Limitations of computation arising from fundamental notions of algorithm and from complexity-theoretic constraints. Reductions, undecidability and NP-completeness. Course Information: Same as ECE 374. Prerequisite: One of CS 173, MATH 213; CS 225.

Learning Goals

Be able to design regular expressions, finite automata or conftext free languages from a given language specification . (1), (3), (6)
Be able to prove that a given language is not regular (3)(6)
Be able to analyze the asymptotic running time of an algorithm via sums and recurrences (3)(6)
Model an algorithmic problems via graphs and apply appropriate graph algorithm to yield a solution (1)(3)(6)
Given problem specification, design efficient algorithms via techniques such as recursion, divide and conquer, dynamic programming and greedy (1)(3)(6)
Be able to prove the correctness of an algorithm by induction or via reductions (3)(6)
Prove NP-hardness via polynomial-time reductions from known NP-hard problems (3)(6)
Prove a language undecidable via reduction from known undecidable problems such as Halting. (3)(6)

Topic List

LANGUAGES and AUTOMATA

  • Strings and languages
  • Finite automata (DFA, NFA) and regular expressions
  • Context free grammars and languages

ALGORITHMS

  • Recursion, Divide and conquer, Backtracking
  • Dynamic programming
  • Greedy
  • Basic graph algorithms: reachability, BFS, DFS, shortest paths, MST, modeling via graphs

NP Completness

  • Polynomial-time reductions, P, NP, NP-Complete, NP-Hard

Turing Machines (TMs)

  • Universal TM, RAM, decidability, undecidability, Church-Turing thesis

Required, Elective, or Selected Elective

Required

Last updated

3/26/2019by Elsa Gunter