Informatika és tudomány

  • Sequoyah
    #181
    Elsosorban sajat magam miatt csinaltam, hiszen magamnak is be kellett bizonyitanom, hogy valoban igaz az, amit elotte csak sejtettem/felteteleztem.
    Es egyebkent igen tanulsagos tud lenni, ha egy barmilyen problemat formalis modszerekkel modellezel es vezetsz le. Sok olyan aprosag van, ami folott atsiklottam elotte, de a levezetes soran megakadtam, es el kellett gondolkozni rajta. Ezek feloldasa soran vagy megcafolom a kijelentesem, vagy megerositem magamban. Par apro uj dolgot is megtanultam igy a problemarol, pl a linkelt cikk konkluziojanak ertelmezese kozben jott.