A
Ponieważ przedmiot Logika dla Informatyków jest obowiązkowy, jego program jest ustalony w Programie Studiów Informatycznych na Uniwersytecie Wrocławskim z 17 czerwca 1997 z późniejszymi zmianami, dostępnym m. in. w sekretariacie Instytutu Informatyki, pok. 29 i — w wersji elektronicznej — pod adresem:
http://www.i i.uni.wroc.pl/program/
W zajęciach mogą uczestniczyć zarówno studenci studiów magisterskich, jak i licencjackich. Na zajęcia należy się zapisać w internetowym systemie Zapisy, dostępnym pod adresem zapisy, i i .uni .wroc.pl. 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 na następnych stronach Zasady prowadzenia i zaliczania ćwiczeń dotyczą jedynie grup podstawowych. Sposób zaliczania ćwiczeń w grupie zaawansowanej jest ogłaszany przez prowadzącego