Mikołaj Bojańczyk > Nieskończone alfabety (wykład środa 16:00 w sali 3250)
Kryteria zaliczenia
W trakcie semestru można zdobywać punkty. Kto zdobędzie x punktów i dostanie ocenę y z egzaminu, ten dostaje ocenę x+y z przedmiotu. Na przykład, kto zdobędzie x=3 punktów i nie podejdzie do egzaminu, ten dostaje 5 z przedmiotu.
Kilka punktów można zdobyć robiąc zadania domowe (pojawią się na stronie).
Do 1 punktu można zdobyć za aktywność na ćwiczeniach. Kryteria wybiera ćwiczeniowiec.
Można się zgłaszać do spisywania notatek z wykładu. 0.5 punktu za przygotowanie pierwszej wresji notatek w terminie, czyli do 16:00 we wtorek sześć dni po wykładzie. Za doprowadzenie notatek do postaci zadowalającej prowadzących, kolejne 0.5 punktu. Notatki można sporządzać w parach, co nie dzieli punktów (a więc przy dobrze zrobionych notatkach, obie osoby z pary dostają 1 punkt).
Punkty zaliczeniowe
Tabelka z punktami, niezgodna z ustawą o ochronie danych
Notatki z wykładu
wiki przedmiotu, zawierające kolejke notujących
Jak obsługiwać notatki w svn
Notatki są w latexu. Źródła są trzymane w systemie svn, dostępnym dla każdego, kto ma konto na students. Aby zdobyc dostęp do źródeł notatek, należy wpisać taką komendę:
svn checkout svn+ssh://nazwauzytkownika@students.mimuw.edu.pl/home/staff/iinf/bojan/nieskonczonealfabety
Stworzy ona nowy katalog "nieskonczonealfabety" w bieżącym katalogu. Po wpisaniu zmian do istniejącego pliku, należy wpisać:
svn commit -m "komentarz"
Nie cofajcie się przed robieniem zmian, system trzyma historię i błędy można cofać. Oczywiście polecam wprowadzanie zmian na lepsze. Aby sciągnąć zmiany naniesione przez innych, należy wpisać:
svn update
Dobrze jest wpisać powyższą komendę na początku każdej sesji pracy z notatkami, nigdy nie wiadomo kiedy ktoś coś dodał. Aby dodać nowy plik, należy wpisać:
svn add nazwapliku