Logika dla informatyków [08-ISZ-P-010-1]
semestr zimowy 2011/2012
Ćwiczenia,
grupa nr 1
Przedmiot: | Logika dla informatyków [08-ISZ-P-010-1] |
Zajęcia: |
semestr zimowy 2011/2012 [2011/2012Z]
(zakończony)
Ćwiczenia [C], grupa nr 1 [pozostałe grupy] |
Termin i miejsce:
|
(brak danych) |
Liczba osób w grupie: | 151 |
Limit miejsc: | (brak danych) |
Prowadzący: | Łukasz Dawidowski, Anna Osuch, Anna Wojciechowska, Beniamin Wróbel |
Literatura: |
1. I. Ławrow, Ł. Maksimowa, Zadania z Teorii Mnogości, Logiki Matematycznej i Teorii Algorytmów. PWN, Warszawa, 2004. 2. W.Marek, J. Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach. PWN, Warszawa, 2000. 3. W. Guzicki, P. Zakrzewski, Wstep do matematyki. Zbiór zadań. Wydawnictwo Naukowe PWN, Warszawa, 2005. |
Zakres tematów: |
1. Język logiki zdań. 2. Rachunek Gentzena. 3. Język logiki kwantykatorów. 4. Metoda Gentzena dla formuł logiki kwantyfikatorów. 5. Koniunkcyjna postać normalna. 6. Indukcja matematyczna. 7. Algebra zbiorów. 8. Uogólnione sumy i iloczyny indeksowanych rodzin zbiorów. 9. Relacje. 10. Relacje równoważności. 11. Relacje częściowego porządku. |
Metody dydaktyczne: |
Nauczanie bezpośrednie, rozwiązywanie zadań rachunkowych. |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.