Uniwersytet Jagielloński, informatyka analityczna, wykłady z Metod Formalnych Informatyki w roku 2024/25, semestr zimowy.
BIBLIOGRAFIA do wykładu Metod Formalnych Informatyki
Wykłady odbywają się we wtorki o godzinie 14:15 oraz we srody od 12:15 w sali 0004. Konsultacje w pokoju 3066 we wtorki 12:30 - 14:00 oraz srody 11-12. W pozostałe dni konsultacje są możliwe po uprzednim emailowym ustaleniu terminu.
ORGANIZACJA:
Pierwsze kolokwium wspólne odbędzie się w dniu 27 listopada 2024 w terminie wykładu.
Drugie kolokwium wspólne odbędzie się w dniu15 stycznia 2025 w terminie wykładu.
Egzamin odbędzie się w dniu 31 stycznia 2025 o godzinie 12:00 w sali 0004. Warunkiem dopuszczenia do egzaminu jest uzyskanie pozytywnego zaliczenia.
Egzamin poprawkowy odbędzie sie 21.02.2025 o godzinie 12:00 w sali 0004. Do egzaminu poprawkowego dopuszczone są wszystkie osoby, które nie zdały egzaminu a także osoby, które nie uzyskały zaliczenia.
PRZYKŁADOWE KOLOKWIA I EGZAMINY
Przykładowe kolokwia i egzamin z lat ubiegłych: 1 kolokwium z roku 2010 1 kolokwium z roku 2011, 2 kolokwium z roku 2011, 1 kolokwium z roku 2012, 2 kolokwium z roku 2012, egzamin z roku 2011, egzamin z roku 2012, egzamin z roku 2014 , egzamin z roku 2019 , egzamin z roku 2021 .
OCENY Z ZALICZENIA:
Ocena z zaliczenia składa się z ocen z kolokwiów 2 x 35p plus 30p za aktywność na ćwiczeniach. Skala ocen: od 0 do 50 niedostateczny; od 51 do 60 dostateczny; od 61 do 70 dostateczny+; od 71 do 80 dobry; od 81 do 90 dobry+; od 91 do 100 bardzo dobry.
OCENY Z EGZAMINU:
Egzamin odbędzie się w formie testu. Warunkiem dopuszczenia do testu egzaminacyjnego jest uzyskanie pozytywnego zaliczenia. Ocena końcowa przedmiotu składa się w 60% z punktów uzyskanego wcześniej zaliczenia i 40% z punktów testu egzaminacyjnego.
OCENY Z EGZAMINU POPRAWKOWEGO:
Egzamin poprawkowy odbędzie się w formie testu. Do egzaminu poprawkowego są dopuszczone wszystkie osoby, które nie zdały egzaminu a także osoby, które nie uzyskały zaliczenia. Ocena końcowa przedmiotu po egzaminie poprawkowym składa się w 60 z punktów uzyskanych wcześniej na zaliczenie i 40% z punktów z testu egzaminu poprawkowego. Ocena z egzaminu poprawkowego może być dostateczna dla osób które uzyskały ocenę końcową przedmiotu większą niż 50%. Dla osób, które nie zdobyły wcześniej zaliczenia a które zechcą przystąpić do testu poprawkowego ocena końcowa po egzaminie poprawkowym staje się jednocześnie oceną z zaliczenia.