Meetings  

Click on the theme item for the meeting plan for that theme.
Click on the meeting item for references, exercises, and additional reading related to it.

  • Theme 1 : Default - 59 meetings

    • Meeting 01 : Mon, Aug 02, 08:00 am-08:50 am
    • Administrative announcements and overview of the course. Languages vs Problems. Algorithms and Automata. Mathematical proofs and computation. Hilbert's proposition.

    • Meeting 02 : Tue, Aug 03, 12:00 pm-12:50 pm
    • The treasure hunt problem. Diphantine Equation problem. Attempts to model computation. Church-Turing Thesis. Informal model of Turing machines. Algorithms and Total Turing Machines.

    • Meeting 03 : Thu, Aug 05, 11:00 am-11:50 am
    • The formal model of TMs. Configuration and acceptance.

    • Meeting 04 : Fri, Aug 06, 10:00 am-10:50 am
    • Decidable Languages and Semi-decidables. Language classes. Tape reduction theorem for TMs.

    • Meeting 05 : Mon, Aug 09, 08:00 am-08:50 am
    • Encoding TMs as strings. Universal Turing machines.

    • Meeting 06 : Tue, Aug 10, 12:00 pm-12:50 pm
    • Diagonalization. Reduction between MP and HP.

    • Meeting 07 : Thu, Aug 12, 11:00 am-11:50 am
    • Undecidability of MP-101.

    • Meeting 08 : Fri, Aug 13, 10:00 am-10:50 am
    • Undecidability of FULL, FIN, EMPTY, REG, CFL.

    • Meeting 09 : Mon, Aug 16, 08:00 am-08:50 am
    • Example decidable problems. Complementation.

    • Meeting 10 : Tue, Aug 17, 12:00 pm-12:50 pm
    • Rice's Theorem. Any nontrivial property of semi-decidable languages is undecidable.

    • Meeting 11 : Thu, Aug 19, 11:00 am-11:50 am
    • A characterization of decidable in terms of complementation.

    • Meeting 12 : Fri, Aug 20, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 13 : Mon, Aug 23, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 14 : Tue, Aug 24, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 15 : Thu, Aug 26, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 16 : Fri, Aug 27, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 17 : Mon, Aug 30, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 18 : Tue, Aug 31, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 19 : Thu, Sep 02, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 20 : Fri, Sep 03, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 21 : Mon, Sep 06, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 22 : Tue, Sep 07, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 23 : Thu, Sep 09, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 24 : Fri, Sep 10, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 25 : Mon, Sep 13, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 26 : Tue, Sep 14, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 27 : Thu, Sep 16, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 28 : Fri, Sep 17, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 29 : Mon, Sep 20, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 30 : Tue, Sep 21, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 31 : Thu, Sep 23, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 32 : Fri, Sep 24, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 33 : Mon, Sep 27, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 34 : Tue, Sep 28, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 35 : Thu, Sep 30, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 36 : Fri, Oct 01, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 37 : Mon, Oct 04, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 38 : Tue, Oct 05, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 39 : Thu, Oct 07, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 40 : Fri, Oct 08, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 41 : Mon, Oct 11, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 42 : Tue, Oct 12, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 43 : Thu, Oct 14, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 44 : Fri, Oct 15, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 45 : Mon, Oct 18, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 46 : Tue, Oct 19, 12:00 pm-12:50 pm
    • To Be Announced

    • Meeting 47 : Thu, Oct 21, 11:00 am-11:50 am
    • To Be Announced

    • Meeting 48 : Fri, Oct 22, 10:00 am-10:50 am
    • To Be Announced

    • Meeting 49 : Mon, Oct 25, 08:00 am-08:50 am
    • To Be Announced

    • Meeting 50 : Tue, Oct 26, 12:00 pm-12:50 pm
    • To Be Announced

    • (Upcoming) Meeting 51 : Thu, Oct 28, 11:00 am-11:50 am
    • To Be Announced

    • (Upcoming) Meeting 52 : Fri, Oct 29, 10:00 am-10:50 am
    • To Be Announced

    • (Upcoming) Meeting 53 : Mon, Nov 01, 08:00 am-08:50 am
    • To Be Announced

    • (Upcoming) Meeting 54 : Tue, Nov 02, 12:00 pm-12:50 pm
    • To Be Announced

    • (Upcoming) Meeting 55 : Thu, Nov 04, 11:00 am-11:50 am
    • To Be Announced

    • (Upcoming) Meeting 56 : Fri, Nov 05, 10:00 am-10:50 am
    • To Be Announced

    • (Upcoming) Meeting 57 : Mon, Nov 08, 08:00 am-08:50 am
    • To Be Announced

    • (Upcoming) Meeting 58 : Tue, Nov 09, 12:00 pm-12:50 pm
    • To Be Announced

    • (Upcoming) Meeting 59 : Thu, Nov 11, 11:00 am-11:50 am
    • To Be Announced