Podstawy Logiki - 2006/07 Kierunek: Automatyka i Robotyka Wydział Elektroniki

Wykładowcy

Dotyczy to zarówno prowadzenia zajęć, układania pytań na testy (patrz niżej), ustalania ocen za testy, i wpisów zaliczeń. Na konsultacje można zgłaszać się do każdego z wykładowców.

Program przedmiotu

Tematy i materiały do wykładów

Materiały udostępnione za pomocą poniższej tabelki objęte są prawami autorskimi. Można je wykorzystywać wyłącznie do własnych prywatnych celów, i nie wolno ich w żaden sposób rozpowszechniać, na przykład przez umieszczenie na ogólnie dostępnych stronach internetowych, ani w żaden inny sposób.

nr	temat wykładu	materiały
		slajdy	wydruki
1	Wartości logiczne, zmienne zdaniowe i spójniki, rachunek zdań
2	Rachunek zbiorów
3	Wartościowanie formuł rachunku zdań, spełnialność i tautologie
4	Interpretacje, modele, równoważność i wynikanie logiczne, teorie
5	Dowodzenie identyczności wyrażeń rachunku zbiorów
6	Reguły wnioskowania, dowody, systemy dowodzenia twierdzeń
7	Normalizacja formuł, literały, postać DNF i CNF, klauzule, dowodzenie twierdzeń metodą nie wprost, reguła rezolucji
8	Pojęcie relacji, złożenia, własności relacji binarnych, reprezentacja graficzna
9	Relacje a podział zbioru, klasy równoważności, porządki. Funkcje, typy odwzorowań, kompozycje
10	Języki i gramatyki formalne - wprowadzenie
11	Rachunek predykatów - podstawy, interpretacje, spełnialność
12	Rachunek predykatów - unifikacja i dowodzenie twierdzeń

Literatura przedmiotu

1. M.Ben-Ari, Logika matematyczna w informatyce, WNT, 2005
2. L.Pacholski, Logika dla informatyków - Materiały do zajęć, 2006, skrypt Uniwersytetu Wrocławskiego:
3. J.Tiuryn, Wstęp do teorii mnogości i logiki, 2003, skrypt Uniwersytetu Warszawskiego:
4. K.Ross, Ch.Wright, Matematyka dyskretna, PWN, 2005
5. N.Deo, Teoria grafów i jej zastosowania w technice i informatyce, PWN, 1980
6. R.J.Wilson, Wprowadzenie do teorii grafów, PWN, 2000
7. J.E.Hopcroft, J.D.Ullman, Wprowadzenie do teorii automatów, jezyków i obliczeń, PWN, 2003

Zaliczenie

Jeśli po zakończeniu tych testów ktoś nadal nie uzyska wymaganej liczby 50% punktów, to będzie mógł wziąć udział w ostatecznym kolokwium poprawkowym obejmującym cały materiał i zorganizowanym w czasie sesji. Kolokwium poprawkowe będzie miało postać ekranówki i nie będzie na nim promocji (patrz niżej). Wynik z tego kolokwium będzie zsumowany z wynikami uzyskanymi z wcześniejszych testów.

Promocja

Na testach poprawkowych nie ma promocji, czyli będzie stosowana normalna punktacja: -1/0/1 (niepoprawna/nie wiem/poprawna).

Promocja będzie mogła być w każdej chwili zakończona, na przykład, gdyby okazało się, że na wykładzie studenci masowo nie uważają i zajmują się czymś innym, albo na teście masowo ściągają, albo usiłują przychodzić tylko na haszówke, i zaraz po niej wychodzić z wykładu. Albo, że liczba oddanych prac okazałaby się różna od liczby osób obecnych na sali. Po zakończeniu promocji, nie będzie ona mogła być wznowiona.

Nieobecności

Usprawiedliwiona w ten sposób może być najwyżej jedna haszówka w semestrze, i jest to niezależne od pomijania jednego najgorszego wyniku.

Haszówki

Nr	Zagadnienia	Data	Przykłady
0	Zdania, spójniki, formuły, spełnialność, tautologie	19.III
1	Rachunek zbiorów	26.III
2	Interpretacje i modele, wynikanie logiczne, teorie i twierdzenia teorii	2.IV
3	Dowodzenie identyczności wyrażeń rachunku zbiorów	16.IV
4	Literały, klauzule, postać CNF, reguły wnioskowania, dowody	23.IV
5	Relacje (obowiązuje materiał z dwudziestu pierwszych slajdów z PDF-u do relacji)	7.V
6	Funkcje - podstawowe pojęcia	21.V
7	Języki i gramatyki formalne - wprowadzenie	28.V
8	Rachunek predykatów - podstawy, interpretacje, spełnialność	4.VI
9	Rachunek predykatów - postać klauzulowa i prenex, stałe i funkcje Skolema	11.VI

Wyniki haszówek

Kolokwium poprawkowe

Uwaga: chętni na to kolokwium proszeni są o wcześniejsze zgłoszenie się do jednego z wykładowców (e-mailem lub osobiście na konsultacjach).

Wpisy