Logika dla informatyków [08-INI-S1-P011-1]
semestr zimowy 2016/2017
Ćwiczenia,
grupa nr 5
Przedmiot: | Logika dla informatyków [08-INI-S1-P011-1] | ||||||||||||||||||||||||||||||
Zajęcia: |
semestr zimowy 2016/2017 [2016/2017Z]
(zakończony)
Ćwiczenia [C], grupa nr 5 [pozostałe grupy] |
||||||||||||||||||||||||||||||
Termin i miejsce:
|
każdy piątek, 8:00 - 9:30
(sala nieznana) |
||||||||||||||||||||||||||||||
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: | 34 | ||||||||||||||||||||||||||||||
Limit miejsc: | (brak danych) | ||||||||||||||||||||||||||||||
Prowadzący: | Andrzej Kucharski | ||||||||||||||||||||||||||||||
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. |
||||||||||||||||||||||||||||||
Metody i kryteria oceniania: |
W semestrze są dwa sprawdziany, obliczamy procent z sumy punktów z obu sprawdzianów jaki uzyskał dany student i ocenę otrzymuje wg. schematu 3,0 jeśli uzyskuje >= 50% i <60% 3,5 jeśli uzyskuje >= 60% i <70% 4,0 jeśli uzyskuje >= 70% i <80% 4,5 jeśli uzyskuje >= 80% i <90% 5,0 jeśli uzyskuje >= 90% |
||||||||||||||||||||||||||||||
Uwagi: |
1 semestr informatyki inżynierskiej /stacjonarne I stopnia/ |
Właścicielem praw autorskich jest Uniwersytet Ślaski w Katowicach.