Elementy logiki
Informacje ogólne
Kod przedmiotu: | 2751-BN-S1-1-EL |
Kod Erasmus / ISCED: |
(brak danych)
/
(0229) Nauki humanistyczne (inne)
|
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
|
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 |
Przejdź do planu
PN WT ŚR KON
CZ PT |
Typ zajęć: |
Konwersatorium, 30 godzin
|
|
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. |
Właścicielem praw autorskich jest Uniwersytet Mikołaja Kopernika w Toruniu.