| Wykład: |
Tomasz Łuczak,
wtorek 17:15-18:45, sala A2-19 |
|
Małgorzata Bednarska-Bzdęga,
wtorki 15:30-17:00, sala A2-19 |
| Materiał: |
Celem przedmiotu jest zapoznanie Państwa z podstawowymi technikami matematycznymi, które
szanujący się osoba zainteresowana informatyką powinna, mniej lub bardziej dogłębnie, znać.
Materiał, który przerobimy w czasie
kursu, można podzielić na kilka, w miarę odrębnych, jednak w wielu miejscach ze sobą
powiązanych, części. Niestety, w związku z nieco eklektycznym charakterem kursu nie ma jednego podręcznika, który obejmowałby
jego całość - podstawowe wiadomości, potrzebne do prawidłowego rozwiązania zadań przerabianych na ćwiczeniach będą
podane na wykładzie. Niemniej, w razie potrzeby mogą sięgnąć Państwo do odpowiednich rozdziałów książek podanych w sylabusie:
- R. Diestel Graph Theory, Springer, 2016.
- J. Jakubowski, R. Sztencel Wstęp do teorii prawdopodobieństwa, SCRIPT, Warszawa 2010.
- J. H. van Lint, R. M. Wilson A course in combinatorics, Cambridge University Press, 2001.
- A. E. Brouwer, W. H. Haemers Spectra of graphs, Springer, 2012.
- D. A. Levin, Y. Peres, E. L. Wilmer Markov chains and mixing times, University of Oregon, 2009. https://pages.uoregon.edu/dlevin/MARKOV/
|
| Plan pracy: |
Zostali Państwo członkami zespołu NMI w programie teams. Podstawy teoretyczne metod, których używali będziemy podczas ćwiczeń, będą podane na wykładzie
(krótkie zestawienia najważniejszych wiadomości i twierdzeń z wykładów postaram się umieszczać na stronie zespołu,
jednakże zachęcam Państwa do uczęszczania na wykłady). Po każdym wykładzie znajdą Państwo na
stronie zespołu zestaw zadań domowych,
związanych z zagadnieniami przedstawionymi na wykładzie, a na następnych ćwiczeniach pierwszych kilka minut
będzie poświęcone na kartkówkę, w trakcie której będą Państwo proszeni o rozwiązanie prostego zadania związanego z zadaniami
domowymi. Rozwiązywanie zadań domowych jest rzeczą dość istotną, ponieważ wyniki kartkówek będą podstawą zaliczenia ćwiczeń!
|
| Zaliczenie: |
Podstawą zaliczenia ćwiczeń będą oceny z kartkówek i aktywność na ćwiczeniach. Za każdą z kartkówek można otrzymać 0, 1, lub 2 punkty.
Na końcu semestru każdemu z Państwa skreślimy trzy najgorsze wyniki i sumaryczny wynik pozostałych kartkówek przeskalujemy, tak by maksymalnie można było z nich zdobyć 20 punktów.
Należy przy tym podkreślić, że w owych trzech pominiętych kartkówkach mieszczą się te zajęcia, w czasie których Państwo byli nieobecni,
na przykład z powodu choroby czy wyjazdu na zawody (chyba, że ktoś był nieobecny na więcej niż trzech ćwiczeniach, powiedzmy na pięciu z nich,
wtedy przeskalujemy wszystkie kartkówki z wyjątkiem owych pięciu, na które osoba przedstawi usprawiedliwienie).
Na każdych ćwiczeniach student może zdobyć 1 punkt bonusowy, jeśli zaprezentuje przynajmniej jedno poprawne rozwiązanie, o ile nie jest to jego obowiązkowa prezentacja zaliczeniowa.
Punkty bonusowe doliczane są do puli punktów z kartkówek.
Aby zaliczyć ćwiczenia należy zebrać co najmniej 11 punktów oraz zaprezentować na ćwiczeniach poprawne rozwiązanie przynajmniej
jednego zadania z listy na dane ćwiczenia przeznaczonej.
Wszystkie osoby, które nie zdobędą zaliczenia, będą mogły pisać kolokwium poprawkowe w sesji poprawkowej, obejmujące całość materiału.
Aby je zaliczyć, należy otrzymać z niego co najmniej 51% punktów.
|
| Egzamin: |
Kurs zakończy się egzaminem ustnym obejmującym zagadnienia z wykładu i ćwiczeń.
|
