Boolean algebra: a legacy for software and life

George Boole was born just over 200 years ago, in 1815. He tried to systematise human thought and invented the first practical system of logic in algebraic form. His legacy lives on in Computer Science where we study and improve ways in which human and physical processes are systematised and implemented through software systems. But do these systems behave as we expect? Do they behave as we want them to? Can Boolean algebra help us? This talk will explore how we use algebra and logic to reason about systems and some everyday uses - and misuses. 

This lecture is part of the A Random Walk through Mathematics and Computing Science series of public lectures organised by Computing Science and Mathematics, University of Stirling. 

Further details are available here http://www.maths.stir.ac.uk/lectures/

RSVP: All welcome. No need to book a place in advance.