Mikołaj Bojańczyk > Nieskończone alfabety (wykład środa 16:00 w sali 3250)


Nieskończone alfabety


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).


Zadania 


Zadania (seria 2) 


Punkty zaliczeniowe

Tabelka z punktami, niezgodna z ustawą o ochronie danych


Notatki z wykładu

tutaj 

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