General Computer Science II is the second semester, introductory course taught at Jacobs University. It focuses on abstract computation (machine models), search, and declarative programming. It still uses SML as a programming language.