Семантики на езиците за програмиране - записки