Несколько? Да ты издеваешься наверное... изучение мат.моделей и теорвера вместо того как работает компьютер и как он "думает" это не несколько иное, это впринципе разные вещи
В смысле?
Меня учили потрохам операционных систем Win и Unix. Как писать компиляторы, на лабах писали для небольшого подмножества языка. Логическое программирование на Прологе и AI. Паралельное программирование. Реляционные базы в том числе и аспект распределенности. Примерно такому учат и на Западе на CS