Friday, January 11 • 9:00am - 10:00am
Frontier Science: Can you gamify the teaching of logic/critical thinking? (413)

Sign up or log in to save this to your schedule and see who's attending!

Feedback form is now closed.
Teaching proofs,  logic or critical thinking is usually hard, expensive and time consuming. Recent developments in theoretical computer science grounded in the fundamentals of mathematics might be able to help. We will present a software approach that aims to gamify the process. Bring a laptop/tablet and play.

Here is a link for the software

And here is a link to a (rather under construction) Book

if you want to get in contact please email c.g.hoffman@bham.ac.uk 

avatar for Dr Corneliu Hoffman

Dr Corneliu Hoffman

University of birmingham
In my day job am a group theorist. This means I am interested in symmetric objects and the structure of their symmetries. I am also a computer geek and always looking for ways to integrate technology in teaching and research. This session is generated by these interests.

Friday January 11, 2019 9:00am - 10:00am
Aston Webb WG12