Foundations of Computer Science

Creating computer software is always a demanding and painstaking process -- an exercise in logic, clear expression, and almost fanatical attention to detail. It requires intelligence, dedication, and an enormous amount of hard work. But, a certain amount of unpredictable and often unrepeatable inspiration is what usually makes the difference between adequacy and excellence.

Monday, 10 June 2013

Courses By Prof. S. Arun-Kumar




  • CSL 102: Introduction to Computer Science II semester 2012-13

  • CSL 303: Logic for Computer Science I semester 2012-13
  • CSL 705: Theory of Computation II semester 2011-12
  • CSL 765: Introduction to Logic and Functional ProgrammingI semester 2011-12
  • CSL 750: Foundations of Automatic Verification II semester 2009-10
  • CSL 105: Discrete Mathematical Structures 2008-09
  • CSL 101: Introduction to Computers and Programming I semester 2006-07
  • CSL 750: Foundations of Automatic Verification 2005-06
  • CS 432N: Compiler Design Principles 2004-05
  • CS 903: Special Topics in Theoretical Computer Science (Algorithmic Number Theory) 2001-02
  • CS232F: Programming Languages 2001-02
  • CS 912: Special Topics in Concurrency 2000-01
  • Rajesh Taya at 23:14
    Share

    No comments:

    Post a Comment

    ‹
    ›
    Home
    View web version

    About Rajesh टाया

    Rajesh Taya
    View my complete profile
    Powered by Blogger.