- Meeting 01 : Mon, Aug 02, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
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
References | |
Exercises | |
Reading | |
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
References | |
Exercises | |
Reading | |
The formal model of TMs. Configuration and acceptance.
- Meeting 04 : Fri, Aug 06, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
Decidable Languages and Semi-decidables. Language classes. Tape reduction theorem for TMs.
- Meeting 05 : Mon, Aug 09, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
Encoding TMs as strings. Universal Turing machines.
- Meeting 06 : Tue, Aug 10, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
Diagonalization. Reduction between MP and HP.
- Meeting 07 : Thu, Aug 12, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
Undecidability of MP-101.
- Meeting 08 : Fri, Aug 13, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
Undecidability of FULL, FIN, EMPTY, REG, CFL.
- Meeting 09 : Mon, Aug 16, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
Example decidable problems. Complementation.
- Meeting 10 : Tue, Aug 17, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
Rice's Theorem. Any nontrivial property of semi-decidable languages is undecidable.
- Meeting 11 : Thu, Aug 19, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
A characterization of decidable in terms of complementation.
- Meeting 12 : Fri, Aug 20, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 13 : Mon, Aug 23, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 14 : Tue, Aug 24, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 15 : Thu, Aug 26, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 16 : Fri, Aug 27, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 17 : Mon, Aug 30, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 18 : Tue, Aug 31, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 19 : Thu, Sep 02, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 20 : Fri, Sep 03, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 21 : Mon, Sep 06, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 22 : Tue, Sep 07, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 23 : Thu, Sep 09, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 24 : Fri, Sep 10, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 25 : Mon, Sep 13, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 26 : Tue, Sep 14, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 27 : Thu, Sep 16, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 28 : Fri, Sep 17, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 29 : Mon, Sep 20, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 30 : Tue, Sep 21, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 31 : Thu, Sep 23, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 32 : Fri, Sep 24, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 33 : Mon, Sep 27, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 34 : Tue, Sep 28, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 35 : Thu, Sep 30, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 36 : Fri, Oct 01, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 37 : Mon, Oct 04, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 38 : Tue, Oct 05, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 39 : Thu, Oct 07, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 40 : Fri, Oct 08, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 41 : Mon, Oct 11, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 42 : Tue, Oct 12, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 43 : Thu, Oct 14, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 44 : Fri, Oct 15, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 45 : Mon, Oct 18, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 46 : Tue, Oct 19, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 47 : Thu, Oct 21, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 48 : Fri, Oct 22, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 49 : Mon, Oct 25, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 50 : Tue, Oct 26, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 51 : Thu, Oct 28, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 52 : Fri, Oct 29, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 53 : Mon, Nov 01, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 54 : Tue, Nov 02, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 55 : Thu, Nov 04, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 56 : Fri, Nov 05, 10:00 am-10:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 57 : Mon, Nov 08, 08:00 am-08:50 am
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 58 : Tue, Nov 09, 12:00 pm-12:50 pm
References | |
Exercises | |
Reading | |
To Be Announced
- Meeting 59 : Thu, Nov 11, 11:00 am-11:50 am
References | |
Exercises | |
Reading | |
To Be Announced