Metody Probabilistyczne Informatyki

Student:

E1. umie zamodelowac przestrzeń probabilistyczną dla opisanych eksperymentów losowcyh

E2. zna klasyczne rozkłady zmiennych losowych i umie analizować ich modyfikacje

E3. rozumie zasadę liniowości wartości oczekiwanej i potrafi z niej skorzystać w rozwiązywaniu zadań

E4. potrafi rozpoznać i analizować proste procesy losowe: spacery, procesy gałązkowe, łańcuchy Markova

E5. rozumie ideę symulacji zmiennych losowych w infomatyce

matematyka dyskretna

W trakcie kursu można zdobyć 100 punktów, przy czym:

na każdym z dwu kolokwiów można zdobyć 40 punktów

za rozwiązywanie zadań domowych można zdobyć 20 punktów

za pisemne rozwiązanie wyróżnionych zadań domowych (max. jedno na zestaw) będzie można dostać do 10 punktów bonusowych

Zestawy zadań będą publikowane co siedem dni (z pewnymi dłuższymi przerwami na święta lub kolokwia). Liczba zestawów będzie równa

Z, gdzie Z∈{10,11,12}. Studenci przy pomocy elektronicznego formularza będą deklarować rozwiązania zadań z bieżącego zestawu. Deklaracja rozwiązania równoważna jest gotowości prezentacji rozwiązania przy tablicy. Prezentacja zadania co do zasady ma być bez pomocy (notatek). Oczywiście w sytuacji gdy zadanie jest bardzo rachunkowe będziemy robić wyjątki, jednak student(ka) ma rozumieć rozwiązanie bez notatek. Za deklarację bez pokrycia będą negatywne konsekwencje: zerowanie punktów za zestaw, ujemne punkty, itp. Za rozwiązanie zadań pojedynczego zestawu będzie można uzyskać co najwyżej X=20/Z punktów. Jeśli zestaw zawiera N zadań, a student zadeklarował M zadań, to student uzyskuje min(M/(0.9⋅N),1)⋅X punktów za zestaw. Deklaracje będą zbierane jedynie od studentów obecnych na zajęciach. Poza tym obecność nie będzie mieć wpływu na ocenę.

Rozwiązania wyróżnionych zadań domowych nie będą podlegać systemowi deklaracji i będą mogły być spisywane w grupach co najwyżej dwuosobowych (dwie osoby mogą być co najwyżej raz razem w grupie; studenci z różnych grup ćwiczeniowych mogą stworzyć grupę). Rozwiązania będą akceptowane jedynie w formacie pdf, który został wygenerowany przez kompilator Latexa. Rozwiązanie pisemne zadania będzie przyjmowane do 23:59:59 dnia poprzedzającego zajęcia na których omawiany jest zestaw z zadaniem. Rozwiązanie należy wysyłać na adres matematyka.dyskretna.tcs@gmail.com. Wysłanie rozwiązania równoważne jest gotowości prezentacji rozwiązania przy tablicy. Prowadzący mogą też prosić autorów rozwiązania o indywidualne rozmowy (po zajęciach) weryfikujące poprawność i samodzielność rozwiązania. Za każde poprawnie rozwiązane zadanie wyróżnione student otrzymuje 1 punkt bonusowy.

Kodeks honorowy: Zabronione jest wyszukiwanie w sieci treści zadania wyróżnionego czy jego rozwiązania oraz konsultowanie rozwiązań poza grupą podpisaną pod rozwiązaniem. Dozwolone jest korzystanie z książek i materiałów z sieci; jeśli student rozwiązał zadanie dzięki znalezieniu go, lub bardzo podobnego, w materiałach to należy podać referencje do tych materiałów. Każda wysłana pisemna praca ma zawierać oświadczenie autorów o zachowaniu powyższych wytycznych. Poza grupami sformowanymi do konkretnych zestawów dyskusje na temat zadań i ich rozwiązań są dozwolone jedynie na forum.tcs oraz poprzez email z prowadzącym zajęcia.

Oceny z ćwiczeń wystawiane będą względem następujących progów:

5,0 -- (90,100]

4,5 -- (80,90]

4,0 -- (70,80]

3,5 -- (60,70]

3,0 -- (50,60]

2,0 -- (25,50]

NZAL -- [0,25]

Wszyscy studenci, którzy otrzymali zaliczenie z ćwiczeń (tj. ocenę przynajmniej 3,0) przystąpią do egzaminu końcowego w formie ustnej. Jeśli student otrzymał co najmniej 3,0 z ćwiczeń i egzaminu to jego ocena końcowa jest średnią arytmetyczną tych dwóch ocen zaokrągloną do góry do najbliższej oceny. W pozostałych przypadkach student otrzymuje ocenę 2,0 lub NZAL. Jeśli student otrzyma 2.0 może poprawić ocenę z ćwiczeń przystępując do kolokwium poprawkowego. Nie będzie możliwości poprawy oceny NZAL z ćwiczeń. Osoby uprawnione do przystąpienia do egzaminu które nie zdały (nie przystąpiły) w pierwszym terminie będą mogły podejść do egzaminu drugi raz w sesji poprawkowej.

zadania tablicowe + kolokwia

Ćwiczenia polegają na rozwiązywaniu zadań przez studntów i prowadzącego. Porównywaniu rozwiązań i analizie popełnianych błędów.

Udział w zajęciach ćwiczenia + wykład – 60 godz.

Własnoręczne przerobienie materiału z laboratoriów oraz przygotowanie zadań domowych – 100 godz.

Przygotowanie do kolokwiów – 10 godz.

Łączny nakład pracy studenta: 170 godzin , co odpowiada 6 punktom ECTS

nie dotyczy

Informatyka analityczna, studia stacjonarne pierwszego stopnia, rok 2