Zaslat SMS: An introduction to computer logic