With Artificial Intelligence (AI) increasingly shaping the world, understanding computational thinking and reasoning is becoming more essential. This course aims to empower students with the ability to model thought processes using computational thinking and reasoning methods. By combining theoretical discussions with hands-on problem-solving exercises, the course encourages critical reflection on how machines simulate human reasoning. Students will learn fundamental concepts in symbolic logic and computational models of thought through an easy-to-learn declarative language, and examples from their respective disciplines. The course is suitable for students from the arts, humanities, social sciences, business, law, medicine, and related disciplines.