Uniwersytet Ślaski w Katowicach - Centralny System Uwierzytelniania
Strona główna

Logika dla informatyków [08-IDL-M001-1] semestr zimowy 2008/2009
Wykład, grupa nr 1

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
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: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień). (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

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.
kontakt deklaracja dostępności USOSweb 7.0.3.0 (2024-03-22)