Fifth Online Training

Held by Isabela Drămnesc, Adrian Crăciun, and Mircea Marin in 24 September 2020 on Google Meet


We present:

1. An overview of our teaching materials related to Automated Reasoning:

Logic for Computer Science,

Logic and Functional Programming,

Algorithm Synthesis and Mathematical Theory Exploration,

2. A brief introduction to the Problem based Learning as a student centered approach.