Uniwersytet Wrocławski, Instytut Informatyki
Studia magisterskie na kierunku Informatyka
Przedmiot obowiązkowy w semestrze zimowym pierwszego roku studiów
30 godzin wykładu + 30 godzin repetytorium + 30 godzin ćwiczeń
Informacje specyficzne dla zajęć w roku akademickim 2007/8 (listy zadań, terminy i wyniki egzaminów itp.) są umieszczone w Terminarzu zajęć.
Strony wykładów z poprzednich lat: do roku 2005, 2005, 2006.
Szanowni Państwo,
Program wykładu logiki dla informatyków nie jest trudny — w następnych semestrach będziecie Państwo słuchali dużo trudniejszych wykładów. Mimo to co roku znaczna część studentów nie zdaje egzaminu z logiki.
Jednym z powodów niepowodzenia na egzaminie jest to, że jest to dla Was pierwszy w życiu wykład akademicki, w którym pojawia się duża liczba nowych pojęć. Pojęcia te, na ogół dosyć abstrakcyjne, pojawiają się licznie na każdych zajęciach. Trzeba się ich wszystkich nauczyć. Nauczyć — to mało, gdyż matematyka nie polega na wykonywaniu mniej lub bardziej skomplikowanych rachunków, lecz na przeprowadzaniu rozumowań. Dlatego jest bardzo ważne, byście nie tylko je znali, ale i dobrze rozumieli. Wykład ma Wam w tym pomóc, ale wielu z Was nie zdoła na samym wykładzie opanować całego materiału. Na wykładzie nie nauczycie się też sprawnie posługiwać wprowadzonymi pojęciami. Dlatego musicie systematycznie pracować w domu. Jeśli przed zajęciami przypomnicie sobie wcześniej wprowadzone definicje, zwiększycie swoje szanse na zrozumienie nowego materiału. Jeśli natomiast nie będziecie znać wcześniej wprowadzonych pojęć, będziecie z dużym prawdopodobieństwem siedzieć na wykładzie, jak na tureckim kazaniu. Jeżeli przyswojenie nowych pojęć sprawia Wam trudność, radzę także przed wykładem przejrzeć podane w przygotowanych przez nas notatkach definicje, które dopiero zostaną na zajęciach wprowadzone. Być może czytając je po raz pierwszy przed wykładem nie potraficie ich w pełni zrozumieć, ale gdy je wcześniej przeczytacie, wyniesiecie z wykładu znacznie więcej. Poza tym będziecie przed zajęciami wiedzieć, czego nie rozumiecie i o co na wykładzie zapytać.
Od wielu lat wszystkim studentom zaczynającym studia powtarzam to, co napisałem w poprzednim paragrafie. Niestety z marnym skutkiem. Co roku w drugiej połowie semestru okazuje się, że znaczna część studentów nie rozumie wykładu, bo nie pamięta wcześniej wprowadzonych definicji i nie zna treści udowodnionych wcześniej twierdzeń. Co roku mniej niż połowa studentów zdaje egzamin z logiki. Bardzo nas to martwi. Chcielibyśmy, aby znaczna większość z Was mogła ukończyć studia. Dlatego aby Was zdyscyplinować i zmusić do systematycznej pracy wprowadzamy opisane w regulaminie zajęć rygory (punktowy system zaliczania ćwiczeń, kartkówki, egzamin połówkowy itd.). Ich celem nie jest uprzykrzenie Wam życia, ale zwiększenie szansy na to, że zdacie egzamin.
Leszek Pacholski
Ponieważ przedmiot „Logika dla Informatyków” jest obowiązkowy, jego program jest ustalony w Programie Studiów Informatycznych na Uniwersytecie Wrocławskim z 25 września 2007.
Na zajęcia należy się zapisać w systemie Zapisy. Zadeklarowanie przedmiotu w systemie Zapisy jest formą umowy pomiędzy studentem i uczelnią. Student zobowiązuje się uczęszczać na zajęcia, uczelnia zaś zobowiązuje się je prowadzić i ocenić studenta po ich zakończeniu. Dlatego do egzaminu będą mogły przystąpić jedynie osoby zapisane na wykład, a zaliczenie ćwiczeń będą mogły uzyskać jedynie osoby zapisane na ćwiczenia.
Chociaż w systemie Zapisy prowadzący są dla porządku przypisani do poszczególnych grup ćwiczeniowych, jednak w kolejnych tygodniach mają zajęcia z różnymi grupami. Dlatego przy wyborze grupy nie należy się kierować nazwiskiem prowadzącego, gdyż każdy student będzie miał przeciętnie trzy ćwiczenia z każdym z prowadzących.
Jedna z grup ćwiczeniowych jest oznaczona jako grupa zaawansowana. Do tej grupy powinni się zapisać studenci o większych zdolnościach i aspiracjach matematycznych. Rozwiązuje się w niej nieco trudniejsze (ale i ciekawsze) zadania i wymaga od studentów nieco większej samodzielności. Przytoczone poniżej Zasady prowadzenia i zaliczania ćwiczeń dotyczą jedynie grup podstawowych. Sposób zaliczania ćwiczeń w grupie zaawansowanej jest ogłaszany przez prowadzącego te ćwiczenia i nie jest opisany na tych stronach. Rotacja prowadzących nie obejmuje grupy zaawansowanej.
Obsada zajęć dydaktycznych jest ogłoszona w systemie zapisów. Każdy student ma niepodważalne prawo do bezpośredniej rozmowy z prowadzącymi na temat zajęć, w których uczestniczy. Uważamy, że z takich spotkań, tj. konsultacji, studenci korzystają nawet zbyt mało. Serdecznie zapraszając na konsultacje mamy jednak prośbę, by przestrzegać ustalonych przez prowadzących zasad. Każdy pracownik dydaktyczny wyznacza dwie godziny w tygodniu, w czasie których jest do dyspozycji studentów. Poszczególni prowadzący ustalają także inne sposoby konsultacji. Pracownicy spędzają w Instytucie znacznie więcej czasu, niż podane dwie godziny, ale poza dydaktyką wykonują też wiele innych prac. Dlatego prosimy traktować ze zrozumieniem ogłoszenia typu „proszę studentów o nieprzychodzenie poza godzinami konsultacji”. Prośba o respektowanie podanych terminów dotyczy szczególnie spraw technicznych, takich jak reklamacje dotyczące rankingu, czy wpisy ocen do indeksów. Studentów zapisanych na przedmiot jest ponad stu, a prowadzący — jeden. Nie chcemy, żeby studenci odnieśli wrażenie, że prowadzący starają się od nich izolować. Chodzi tylko o to, by nasze kontakty z dużą liczbą studentów przebiegały sprawnie i nie dezorganizowały naszej pracy w Instytucie.
Na indywidualne konsultacje można przychodzić do prowadzących w terminach podanych w systemie zapisow lub na stronach domowych prowadzących.
Poza prowadzącymi wykład, repetytorium i ćwiczenia, zajęcia obsługuje także sekretarz dydaktyczny. Do jego zadań należy m.in. przygotowywanie rankingów ćwiczeń i wyliczanie ocen końcowych. Wszelkie problemy techniczne dotyczące punktacji za zadania, zadania domowe i kartkówki proszę wyjaśniać nie z prowadzącymi ćwiczenia, lecz bezpośrednio u sekretarza dydaktycznego w podanych przez niego terminach.
Notatki do wykładu i zadania na ćwiczenia są zebrane w Materiałach do zajęć (Postscript | PDF), które są drukowane i wręczane wszystkim studentom zapisanym na zajęcia na początku roku akademickiego.
Poza Materiałami do zajęć podstawowym podręcznikiem do wykładu jest skrypt Jerzego Tiuryna pt. Wstep do teorii mnogości i logiki, który można zakupić w sekretariacie Instytutu, pok. 234 lub wypożyczyć w bibliotece Instytutu (10 egzemplarzy, sygnatury: S.3315, S.3316, S.3317, S.3318, S.3319, S.3320, S.3321, S.3322, S.3323, S.3324).
Pliki postscriptowe można obejrzeć i wydrukować przy pomocy programu Ghostscript, pliki w formacie PDF zaś przy pomocy programu Adobe Acrobat Reader.
Spośród licznych podręczników dostępnych w bibliotekach i księgarniach warto wymienić:
Poniższy regulamin dotyczy jedynie zajęć w grupach podstawowych i nie obejmuje grupy zaawansowanej.
Zasadniczym celem ćwiczeń z przedmiotu „Logika dla informatyków” jest ułatwienie studentom samodzielnej pracy nad opanowaniem materiału w czasie całego semestru. Ocena z ćwiczeń jest oceną jakości i intensywności pracy studenta w trakcie semestru, w odróżnieniu od egzaminu z przedmiotu „Logika dla informatyków”, który ocenia stan wiedzy studenta w chwili zakończenia semestru.
Wykładowca ogłasza z odpowiednim wyprzedzeniem numery zadań z niniejszego zbioru. Studenci rozwiązują podane zadania samodzielnie w domu. Jeżeli student ma wątpliwości i chciałby je skonsultować z prowadzącym, powinien to uczynić w czasie godzin konsultacji prowadzącego. Zakłada się przy tym, że studenci będą dążyć do pewnej samodzielności w pracy nad opanowaniem przedmiotu. Zachęca się także studentów do wspólnej nauki.
Podstawą do wystawienia oceny jest liczba zadań, które student rozwiązał w trakcie całego semestru i, pomijając wyjątkowe przypadki, ocena zależy w sposób liniowy od tej ilości. Prowadzący spotyka się ze studentami regularnie na ćwiczeniach, aby ustalić faktyczną liczbę zadań rozwiązanych przez każdego studenta. Dlatego pomimo iż na zajęciach powinna panować swobodna atmosfera, nie należy zapominać, że każde ćwiczenia są w istocie sprawdzianem wiedzy studentów. Prezentowanie rozwiązań na tablicy całej grupie studentów ma także walor dydaktyczny, pozwala bowiem osobom które nie poradziły sobie z zadaniem na poznanie jego wzorcowego rozwiązania (z określonych niżej zasad szczegółowych wynika, że rozwiązanie prezentują jedynie studenci dobrze przygotowani). Ocena studenta jest bezwzględna, tj. niezależna od osiągnięć innych uczestników zajęć.
Numery zadań obowiązujących na następny tydzień są ogłaszane w Terminarzu zajęć na dany rok. Podczas całego semestru jest prowadzony ranking ćwiczeń zawierający zestawienie aktualnie zdobytej liczby punktów przez każdego studenta i prognozę oceny końcowej. Po zakończeniu semestru ranking zawiera ostateczne wyniki ćwiczeń. We wszelkich sprawach dotyczących liczby zdobytych punktów i zadań domowych studenci winni zgłaszać się do sekretarza dydaktycznego w czasie jego godzin konsultacji.
Na każde z około 13 zajęć zadaje się przeciętnie 8 zadań. W semestrze zadaje się więc do rozwiązania około stu zadań. Materiały do zajęć zawierają ponad pięćset zadań, a więc spory nadmiar. Zachęca się studentów do rozwiązywania także pozostałych zadań.
Data ogłoszenia ocen z ćwiczeń jest podana w Terminarzu zajęć. Tego samego dnia w podanych godzinach studenci winni przyjść do sekretarza dydaktycznego celem uzyskania wpisów do indeksów. W tym terminie będzie też można wyjaśniać wszelkie problemy dotyczące liczby zdobytych punktów z ćwiczeń. Wpisy zaliczeń do indeksów w innych terminach nie będą dokonywane.
Pierwsze ćwiczenia w semestrze nie są punktowane. Na zajęciach są rozwiązywane zadania z rozdziału 0 Materiałów do zajęć.
|
Oceną, jaką student otrzymuje z przedmiotu, jest wynik egzaminu zasadniczego. Egzamin zasadniczy składa się z trzech części: egzaminu połówkowego pisanego w połowie semestru oraz dwóch części egzaminu końcowego, zwanych dawniej częścią licencjacką i~magisterską, pisanych w zimowej sesji egzaminacyjnej. W razie otrzymania oceny niedostatecznej student ma prawo przystąpić do egzaminu poprawkowego. Egzamin poprawkowy składa się z dwóch części tak jak egzamin końcowy.
W razie przyłapania na ściąganiu podczas którejkolwiek części egzaminu student otrzymuje ocenę niedostateczną. Ocena ta jest ostateczna i nie podlega poprawianiu, a sprawa tego studenta jest kierowana do Dziekana.
Na egzamin należy przynieść przybory do pisania (pióro, długopis) i dowolny dokument w celu potwierdzenia tożsamości (dowód osobisty, paszport, legitymacja studencka, indeks itp). W trakcie egzaminu indeksy nie będą zbierane. Używanie notatek i własnego papieru jest niedozwolone. Wnoszenie toreb, wierzchnich okryć i wszelkich innych ruchomości na salę egzaminacyjną jest niedopuszczalne. Studenci powinni pozostawić je np. w szafkach w szatni. Strój odświętny na egzaminie nie jest wymagany.
Zarówno za egzamin zasadniczy (trzyczęściowy), jak i poprawkowy (dwuczęściowy) można otrzymać od −100 do 100 punktów. Jeżeli punktacja za zadanie egzaminacyjne wynosi n, znaczy to, że za rozwiązanie tego zadania można otrzymać od −n do n punktów. Punkty ujemne będą przyznawane za rozpoczęcie rozwiązywania zadania [Ma to na celu eliminowanie odpowiedzi, w których nie ma w ogóle poprawnych rozumowań. Student oddając rozwiązanie zadania powinien być przekonany, że jest ono na tyle poprawne, że pozwoli mu przekroczyć próg 0 punktów.] oraz za umieszczenie w rozwiązaniu odpowiedzi kompromitująco fałszywych. Za brak rozwiązania zadania otrzymuje się 0 punktów. Liczba punktów możliwych do zdobycia na egzaminie może zostać zwiększona poprzez dodanie zadań bonusowych.
Do wyników egzaminu zasadniczego i poprawkowego dolicza się punkty bonusowe za zaliczenie ćwiczeń. Liczba punktów bonusowych jest częścią całkowitą ilorazu: (C−75)/10, gdzie C oznacza całkowitą liczbę punktów uzyskanych na zaliczenie ćwiczeń w semestrze bezpośrednio poprzedzającym egzamin. Osobom, które zaliczyły ćwiczenia w poprzednich latach punktów bonusowych się nie dolicza. Studentom odbywającym ćwiczenia w grupie zaawansowanej punktów bonusowych się nie dolicza. Punkty z egzaminu zasadniczego i poprawkowego przeliczają się na oceny zgodnie z tabelką:
|
Terminy egzaminów, miejsca ich przeprowadzenia, przydział studentów do sal, terminy ogłoszenia wyników oraz miejsca i terminy konsultacji poegzaminacyjnych są podane w Terminarzu zajęć. Wszelkie wątpliwości dotyczące sposobu oceniania egzaminu i otrzymanych ocen studenci powinni wyjaśniać w trakcie konsultacji poegzaminacyjnych. W czasie konsultacji po egzaminie końcowym i poprawkowym studenci winni zgłosić się z indeksami i kartami zaliczeń celem otrzymania wpisu oceny do indeksu. Wpisy do indeksów i konsultacje dotyczące wyników egzaminów w innych terminach nie będą dokonywane.
Treść zadań egzaminacyjnych oraz wyniki egzaminów są ogłaszane w Terminarzu zajęć po zakończeniu egzaminu.
Ocena z egzaminu zasadniczego jest wystawiana na podstawie sumy punktów z dwóch egzaminów — połówkowego i końcowego — i punktów bonusowych. Egzamin połówkowy odbywa się w połowie semestru, egzamin końcowy zaś w sesji zimowej. Na egzaminie połówkowym można zdobyć do 40 punktów, na egzaminie zasadniczym zaś 60 punktów. Zakres materiału na egzaminie połówkowym obejmuje zajęcia poprzedzające egzamin. Zakres materiału na egzaminie końcowym obejmuje cały semestr.
W razie nieobecności na egzaminie połówkowym lub końcowym spowodowanej chorobą student ma obowiązek dostarczyć egzaminatorowi (osobiście, pocztą lub przez osoby trzecie) zwolnienie lekarskie w ciągu trzech dni licząc od dnia egzaminu. Nieusprawiedliwiona w ten sposób nieobecność studenta na którejkolwiek części egzaminu zasadniczego jest równoznaczna z uzyskaniem zerowej liczby punktów z tego egzaminu. W szczególnych przypadkach decyzję o usprawiedliwieniu nieobecności na egzaminie może podjąć Dziekan.
Wszyscy studenci zapisani na przedmiot „Logika dla Informatyków” mają obowiązek stawić się na ten egzamin.
W razie usprawiedliwionej nieobecności na egzaminie połówkowym całkowitą liczbę punktów z egzaminu zasadniczego oblicza się na podstawie wyników egzaminu końcowego, mnożąc liczbę zdobytych na nim punktów przez 10/6.
Do egzaminu końcowego mogą przystąpić jedynie osoby, które uzyskały zaliczenie ćwiczeń. Wszyscy studenci zapisani na przedmiot „Logika dla Informatyków”, którzy uzyskali zaliczenie ćwiczeń, mają obowiązek stawić się na ten egzamin.
W razie usprawiedliwionej nieobecności na egzaminie końcowym egzaminator ustali dla danej osoby inny termin egzaminu w sesji zimowej.
Egzamin końcowy składa się z dwóch części zwanych dawniej częścią licencjacką i magisterską. Obie części odbywają się tego samego dnia i są od siebie oddzielone krótką przerwa. Pierwsza część sprawdza podstawowe opanowanie materiału, natomiast druga sprawdza umiejętność twórczego posługiwania się nabytą wiedzą. Na pierwszej części można zdobyć do 20 punktów. Osoby, które zdobędą co najmniej 10 punktów, będą mogły otrzymać (bez względu na wynik egzaminu połówkowego i drugiej części) ocenę dostateczną z egzaminu końcowego. Ponadto osoby te będą mogły na pełnych prawach wziąć udział w drugiej części. Studenci, którzy w części licencjackiej uzyskają mniej niż 10 punktów, otrzymają ocenę niedostateczną a ich prace z drugiej części nie będą sprawdzane.
W razie otrzymania oceny niedostatecznej z egaminu zasadniczego student przystępuje do egzaminu poprawkowego w sesji poprawkowej.
Nieobecność na egzaminie poprawkowym (niezależnie od przyczyn — usprawiedliwionych bądź nie) jest równoznaczna z uzyskaniem oceny niedostatecznej z tego egzaminu. Ocena z egzaminu poprawkowego nie podlega poprawianiu.