Uniwersytet Mikołaja Kopernika w Toruniu - Centralny punkt logowania
Strona główna

Elementy logiki

Informacje ogólne

Kod przedmiotu: 2751-BN-S1-1-EL
Kod Erasmus / ISCED: (brak danych) / (0229) Nauki humanistyczne (inne) Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu: Elementy logiki
Jednostka: Wydział Matematyki i Informatyki
Grupy: Bezpieczeństwo narodowe - I stopna - 1 rok - studia stacjonarne - sem. zim
Punkty ECTS i inne: 3.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
Język prowadzenia: polski
Wymagania wstępne:

Matematyka w zakresie matury na poziomie podstawowym


Efekty uczenia się - wiedza:

Student

- zna podstawowe pojęcia semiotyki (znak, nazwa, klasyfikacja nazw, zakres i desygnat nazwy) K_W20.

- zna pojęcia definicji klasycznej i definicji aksjomatycznej K_W20.

Efekty uczenia się - umiejętności:

Student

- potrafi sprawdzać tautologiczność formuł metodą tabelkową K_U19.

- wykrywa typowe błędy logiczne w definicjach i w rozumowaniu K_U16.


Efekty uczenia się - kompetencje społeczne:

Student przywiązuje wagę do jasności i spójności logicznej wypowiedzi .

Metody dydaktyczne podające:

- wykład konwersatoryjny

Metody dydaktyczne poszukujące:

- ćwiczeniowa

Skrócony opis:

Przedmiot obejmuje podstawowe zagadnienia logiki ze szczególnym uwzględnieniem logiki formalnej.

Pełny opis:

1. Podstawowe pojęcia semiotyki.

2. Definicje klasyczne i aksjomatyczne.

3. Rachunek zdań.

4. Rachunek predykatów.

5. Algebra zbiorów

6. Relacje.

7. Dowody dedukcyjne i indukcyjne.

8. Prawdopodobieństwo.

Literatura:

1. G. Malinowski, Logika ogólna, PWN, Warszawa 2010.

2. B. Stanosz, Ćwiczenia z logiki, PWN, Warszawa 1998 (lub inne wydania).

3. Z. Ziembiński, Logika praktyczna, PWN, wiele wydań.

Metody i kryteria oceniania:

Sprawdziany bieżące, kolokwium.

Aby zaliczyć przedmiot, należy uzyskać przynajmniej 50% punktów z kolokwium końcowego. Na ocenę końcową składają się oceny ze sprawdzianów bieżących (50%) i kolokwium końcowego (50%).

Zajęcia w cyklu "Semestr zimowy 2021/22" (zakończony)

Okres: 2021-10-01 - 2022-02-20
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Konwersatorium, 30 godzin więcej informacji
Koordynatorzy: Witold Kraśkiewicz
Prowadzący grup: Witold Kraśkiewicz
Strona przedmiotu: https://moodle.umk.pl/WNOPIB/course/view.php?id=333
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Konwersatorium - Zaliczenie na ocenę
Skrócony opis:

Zajęcia w bieżącym semestrze będą odbywać się w sposób stacjonarny.

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.
ul. Jurija Gagarina 11, 87-100 Toruń tel: +48 56 611-40-10 https://usosweb.umk.pl/ kontakt deklaracja dostępności USOSweb 7.0.2.0-1 (2024-03-12)