In our AI class we were working with propositional logic, predicate logic and a little bit of fuzzy logic. We learned the arithmetic of logical operations and stuff like that. That was 50% of the class. The other things were neural networks, genetic algorithms and some other misc minor stuff. As I said, in the end you realize that AI sounds very cool, but it's not even closely as cool. Sure, it's alright, but it's not what people think.