faecher:informatik:oberstufe:techinf:formale_logik:start