hmm... można powiedzieć, że System Eliminacji Studentów Jest Aktywny [SESJA], jutro koło z algebry. Jednak trzeba było co jakiś czas zajrzeć, materiał który n-tygodni temu liczyłem umiem, ten który liczyłem n-dni temu kiepsko, ten z ostatnich n-godzin fatalnie. Nic poprawka 14.06 może wtedy pójdzie lepiej. Kolejne to TPI tu lepiej. Rachunek lambda, logika pierwszego rzędu, rezolucje Horna, warunki stopu... materiał tym razem bardziej mi odpowiada niż poprzedni, powinno być dobrze. Analiza tu o dziwo najlepiej się czuje... czas pokaże co i jak. Jak już przetoczę się przez zaliczenia to 4 egzaminy i może wolny wrzesień :)

tymczasem wypiłem dzbanek kawy, jutro na 8.00, jestem w trakcie kończenia drugiego projektu z AiSD i może przetrwam jutro.

najciekawszy punkt dnia, ranny KIOD, kompletnie nie wiadomo co i jak z tym przedmiotem. Piszemy jakieś wirtualne kolokwium, zaliczenie trwa od pierwszych wykładów (jako proces ciągły z punktem zwanym "wpis do indeksu") wszystko w ramach "new education" czy też "new learning".