Logika dla informatyków [08-INI-S1-P011-1]
semestr zimowy 2018/2019
Ćwiczenia,
grupa nr 4
| Przedmiot: | Logika dla informatyków [08-INI-S1-P011-1] |
| Zajęcia: |
semestr zimowy 2018/2019 [2018/2019Z]
(zakończony)
Ćwiczenia [C], grupa nr 4 [pozostałe grupy] |
|
Termin i miejsce:
|
każdy czwartek, 16:45 - 18:15
sala 4 Wydział Nauk Ścisłych i Technicznych – Instytut Informatyki (Sosnowiec, ul. Będzińska 39) jaki jest adres? |
|
Terminy najbliższych spotkań:
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. |
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań. |
| Liczba osób w grupie: | 23 |
| Limit miejsc: | 24 |
| Prowadzący: | Barbara Marszał-Paszek, Piotr Paszek |
| Literatura: |
1. W. Marek, J. Onyszkiewicz, Podstawy Logiki i Teorii Mnogości w Zadaniach, PWN, 2011 2. H. Rasiowa: Wstęp do matematyki współczesnej, PWN, Warszawa 1990 3. W. Guzicki, P. Zakrzewski, Wstęp do matematyki. Zbiór zadań, PWN, Warszawa 2016 |
| Zakres tematów: |
Konserwatorium obejmują następujące zagadnienia: 1. Język rachunku zdań. Pojęcie tautologii i reguły niezawodnej. 2. Metoda drzew semantycznych dla rachunku zdań. 3. Metoda rezolucji dla rachunku zdań. 4. Algebra zbiorów. 5. Rachunek kwantyfikatorów.Semantyka rachunku kwantyfikatorów bez symboli funkcyjnych. Metoda drzew semantycznych dla rachunku kwantyfikatorów. 6. Indukcja matematyczna i rekurencja. 7. Sumy i iloczyny uogólnione zbiorów. 8. Pojęcie relacji. Relacje równoważności i porządku. |
| Metody dydaktyczne: |
Studenci, przy pomocy prowadzącego, rozwiązują wyznaczone zadania przy tablicy. |
| Uwagi: |
(D) 1 semestr informatyki inżynierskiej /stacjonarne I stopnia/ |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.
