Kontakt (konsultacje):
Centrum Wykladowe - pokoj 104, tel: 6652920

terminy dyżurów w sesji:
piatek 3.02: 12.00 - 13.00
poniedzialek 30.01: 10.30-12.00

---

POPRAWKA Z LOGIKI 9 lutego, godz. 9.00 sala 8 CW

wyniki z LOGIKI
!!!! PRACE MOZNA OGLADAC NA DYZURZE !!!!
!!! (prosze nie pytac o podanie popelnionych bledow itp. w e-mailach) !!!!
termin mojego dyzuru - patrz wyzej
termin dyzuru Prof. Jozefowskiej - na stronie www Prof. Jozefowskiej


Zadania: MTS i Rezolucja są u mnie
Zadania: DBD, Skolemizacja i Podstawienia są u Prof. Jozefowskiej

3 osoby nie podpisaly pracy - prosze sie skontaktowac z Prof. J.Jozefowska NA DYZURZE !!!
Najczestsze bledy:
MTS - bledna regula,brak odpowiedzi
Rezolucja - bledne podstawienie, brak odpowiedzi
Skolemizacja - bledy w zamianie implikacji na dysjunkcje, bledy w prawie rozdzielnosci
DBD - brak opisow czego dotyczy diagram, Kwantyfikator silniejszy od operatorow (m.in. rownosci), brak odpowiedzi
Podstawienie - brak rozbicia pierwszego podpunktu na etapy (bylo podane w poleceniu)