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