Logika dla informatyków [08-IDL-M001-1]
semestr zimowy 2008/2009
Wykład,
grupa nr 1
Przedmiot: | Logika dla informatyków [08-IDL-M001-1] |
Zajęcia: |
semestr zimowy 2008/2009 [2008/2009Z]
(zakończony)
Wykład [W], grupa nr 1 [pozostałe grupy] |
Termin i miejsce:
|
(brak danych) |
Liczba osób w grupie: | 89 |
Limit miejsc: | (brak danych) |
Prowadzący: | Tomasz Połacik |
Literatura: |
M. Ben-Ari, Logika matematyczna w informatyce. PWN, 2005. K. Kuratowski, Wstęp do teorii mnogości i topologii. PWN, Warszawa 1980. H. Rasiowa, Wstęp do matematyki współczesnej. PWN, Warszawa 1990. J. Tiuryn, Wstęp do teorii mnogości i logiki. WMIiM, Uniwersytet Warszawski, 1997. |
Zakres tematów: |
1. Słowa. 2. Język logiki zdań. 3. Tautologie, wynikanie logiczne i równoważność logiczna. 4. Funkcje boole'owskie. 5. Klasyczny rachunek zdań i jego tezy. 6. Twierdzenie o Pełności. 7. Metoda rezolucji. 8. Język logiki kwantyfikatorów. 9. Klasyczny rachunek kwantyfikatorów. 10. Modele dla logiki pierwszego rzędu i pojęcie spełniania. 11. Zbiory i operacje na zbiorach. 12. Relacje i ich własności. 13. Relacje równoważności. 14. Relacje częściowego porządku. 15. Funkcje. 16. Równoliczność zbiorów i ich moce. |
Metody dydaktyczne: |
Wykład. |
Uwagi: |
Grupa dla studentów etapu 08-IND01 |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.