Mathematik, angewandteInformatik 
Mathematik: Logik