Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna

Logika I [3501-L1-DON-ZK] Rok akademicki 2019/20
Ćwiczenia, grupa nr 4

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Logika I [3501-L1-DON-ZK]
Zajęcia: Rok akademicki 2019/20 [2019] (zakończony)
Ćwiczenia [CW], grupa nr 4 [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ń).
każda środa, 9:45 - 11:15
sala 4 W. Tatarkiewicza
Budynek dydaktyczny - Krakowskie Przedmieście 3 jaki jest adres?
Terminy najbliższych spotkań: Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem.
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.
Data i miejsceProwadzący
Liczba osób w grupie: 27
Limit miejsc: 25
Zaliczenie: Zaliczenie na ocenę
Prowadzący: Anna Wójtowicz
Literatura:

Zostanie podana na zajęciach

Zakres tematów:

Na zajęciach będą kolejno omawiane następujące tematy:

1. Własności syntaktyczne, semantyczne i pragmatyczne języka. Pojęcie języka i metajęzyka.

2. Definicja języka Klasycznego Rachunku Zdań (KRZ) i przekład zdań języka naturalnego na język KRZ

3. Proste zagadki logiczne i sposoby ich rozwiązywania.

4. Ustalanie wartości logicznej zdań złożonych

5. Pojęcie tautologii i kontrtautologii

6. Pojęcie wynikania semantycznego

7. Związki logiczne między zdaniami

8. Pojęcie warunku koniecznego i dostatecznego

9. KRZ jako system aksjomatyczny, pojęcie dowodu formalnego

10. Dowodzenie w KRZ - różne typy dowodów

11. Metalogiczne własności KRZ

12. Dowody indukcyjne i dowód syntaktycznego twierdzenia o dedukcji dla KRZ

13. Kategorie syntaktyczne wyrażeń

14. Typy nazw i zależności między zakresami nazw

15. Język Rachunku Predykatów (RP) i zapisywanie zdań języka naturalnego w języku RP

16. Zapisywanie własności czasu w języku RP

17. Pojęcie wynikania semantycznego i tautologii RP

18. Związki logiczne między zdaniami w języku RP

19. Język Rachunku Zbiorów (RZ) i podstawowe prawa RZ

20.Pojęcie iloczynu kartezjańskiego i zbioru potęgowego

21. Pojęcie relacji i własności relacji

22. Relacje równoważności, klasy abstrakcji, relacje porządkujące

23. Pojęcie funkcji i własności funkcji

24. Funkcje różnowartościowe i "na", pojęcie równoliczności zbiorów

25. Twierdzenie Cantora i jego konsekwencje

26. Pojęcie funkcji odwrotnej, pojęcie obrazu i przeciwobrazu.

27. Typy wnioskowań, wnioskowanie entymematyczne

28. Błędy we wnioskowaniach

29. Typy definicji i błędy w definicjach

Metody dydaktyczne:

Na zajęciach ćwiczone są praktyczne umiejętności ułatwiające studentom zrozumienie materiału omawianego na wykładzie.

Zajęciom przypisany jest kurs na platformie COME, gdzie zamieszczane są materiały z wykładu i ćwiczeń, a także testy do samodzielnego rozwiązywania. Testy dzielą się na obowiązkowe i nieobowiązkowe. W każdym tygodniu studenci muszą rozwiązać jeden test obowiązkowy.

Metody i kryteria oceniania:

Na początku każdych zajęć studenci piszą krótką kartkówkę sprawdzającą umiejętności nabyte na poprzednich ćwiczeniach

Warunkiem zaliczenia zajęć jest:

- uzyskanie średniej przynajmniej 51% z testów obowiązkowych zamieszczonych na platformie COME

- uzyskanie przynajmniej 51% z kartkówek pisanych na zajęciach

Uwagi:

Grupa ćwiczeniowa do wykładu prof. K. Wójtowicza

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.
Krakowskie Przedmieście 26/28
00-927 Warszawa
tel: +48 22 55 20 000 https://uw.edu.pl/
kontakt deklaracja dostępności USOSweb 7.0.3.0 (2024-03-22)