Elementy logiki i teorii mnogości dla informatyków