This course will emphasize those aspects of the theory of automata that people really use in practice, including finite automata, regular expressions, and context-free grammars.
This course will discuss the major ideas used today in the implementation of programming language compilers. You will learn how a program written in a high-level language designed for humans is systematically translated into a program written in low-level assembly more suited to machines!
Introduction to Logic: https://www.coursera.org/course/intrologic
In this course, you will learn how to formalize information and reason systematically to produce logical conclusions. We will also examine logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Machine Learning: https://www.coursera.org/course/ml
In this class, you will learn about the most effective machine learning techniques, and gain practice implementing them and getting them to work for yourself.
CS 101 https://www.coursera.org/course/cs101
CS101 teaches the essential ideas of Computer Science for a zero-prior-experience audience.