FOUNDATIONS OF COMPUTING SCIENCE
Spring 2016-17
Taught by: Prof. Pallab Dasgupta

Teaching Assistants: Antonio Bruto da Costa, Manasa J M.

CLASS TIMINGS
Monday: 10:00 AM - 11:00 AM
Wednesday: 8:00 AM - 10:00 AM
Thursday: 10:00 AM - 11:00 AM

  • Slide Set

    • Introduction
    Regular Languages
    Context Free Grammars
    Church Turing Thesis
    Reducibility
    Decidability
    Logic and Reasoning
    Time Complexity
    Space Complexity

  • Tutorial Set

    • Tutorial 1 - Regular Languages
    Tutorial 2 - Context-Free Languages
    Tutorial 3 - Turing Machines and Decidability
    Tutorial 4A - Propositional Logic
    Tutorial 4B - Propositional Logic Contd.
    Tutorial On Complexity Theory

  • Additional Material

    • Mathematical Logic Excercises
    Past Question Papers [2010, 2011, 2012]
    FOCS Grades - Aut 2016
    Complexity Theory