Boolean algebra: a legacy for software and life

13 Apr ‘17
Numbergraphic Image


7.00PM - 8.00PM
Speaker: Professor Muffy Calder OBE, Vice-Principal, University of Glasgow

Venue: Lecture Theatre B4, Cottrell Building, University of Stirling

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.

Share this
© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
Portal Logon