The course “The Pearls of Computer Science” will be carried out as part of the “International Curriculum and Practice Week” at Lanzhou University in July 2024. The course topics cover historical facts about Computer Science, Programming Languages, Programming and Software Engineering, and Artificial Intelligence and Machine Learning and their application. In the course, the topics will be covered considering concrete examples, e.g., a particular programming language, from which challenges and their solutions are derived and explained. For example, programs are executable pieces of knowledge but may be faulty. Hence, there is a need to provide guarantees regarding the intended functionality. This need leads to formal verification and testing methodologies. When identifying shortcomings, i.e., failures or deviations from expectation, we need fault identification and repair, i.e., debugging, which requires program analysis. In addition, programming, when carried out by many people, requires management activities and other means for designing big pieces of software. In computer science, this topic is covered by software engineering, which leads to various interesting subproblems and solutions that will be discussed in the course. Moreover, for some solutions, there is a need for smart technologies leading to Artificial Intelligence and Machine Learning.
…