Я уже чувствую, как мне сейчас попадутся какие-нибудь семантические основы информатики... трандец, паника!