Zasady zaliczania wykładu Rachunek Lambda
1) Celem ćwiczeń jest wyjaśnienie wątpliwości związanych z treścią wykładu, wy- rabianie umiejętności posługiwania się pojęciami i wiedzą przedstawioną na wykładzie, a także wykorzystywania zdobytych na wykładzie wiadomości do samodzielnego rozwiązywania niewielkich problemów. W miarę potrzeb będą przygotowywane listy zadań do samodzielnego rozwiązania.
2) Zaliczenie ćwiczeń uzyskuje osoba biorąca aktywny udział w ćwiczeniach. Pod- stawową formą aktywności studenta jest rozwiązywanie zadań przy tablicy. Po- wodem niezaliczenia ćwiczeń może być skrajny brak aktywnoci na ćwiczeniach, a także więcej niż trzy nieobecności na zajęciach. Najwyższe oceny otrzymują osoby, które nie tylko aktywnie uczestniczą w zajęciach i samodzielnie rozwią- zują zadania, ale także dobrze została oceniona ich umiejętność rozwiązywania zadań.
3) Egzamin będzie miał charakter egzaminu testowego i (zwłaszcza w pierwszym terminie) będzie pisemny. Na przykład, będą się mogły na nim pojawić pyta- nia o sformułowanie twierdzenia, prośba o przytoczenie algorytmu, rozwiązanie zadania standardowego, podobnego do rozwiązywanego na ćwiczeniach, albo zadania o znanej wcześniej treści. Oprócz tego pojawią się zadania oryginalne rozwiązywane łatwo przez osoby znające wykładany materiał i niezbyt trudne zadania o charakterze konkursowym, wymagające wykazania się pewną pomy- słowością, a nie tylko znajomością wykładu.
4) Ocenę dostateczną z egzaminu otrzyma osoba, która wykaże się znajomością tre- ści wykładu, definicji omawianych pojęć, potrafi wypowiadać się o wyłożonym materiale i posługiwać się nim w stopniu elementarnym. O wysokich ocenach będzie decydować umiejętność rozwiązywania zadań.