Ne, ist eher "Einführung in Logik", kommt in Philosophie und Informatik im ersten Semester.