Podstawy logiki Kierunek studiów: Architektura informacji
Kod programu: W1-S1AI19.2020

Nazwa modułu: Podstawy logiki
Kod modułu: 02-AI-S1-PL02
Kod programu: W1-S1AI19.2020
Semestr: semestr letni 2020/2021
Język wykładowy: polski
Forma zaliczenia: zaliczenie
Punkty ECTS: 2
Opis:
W ramach modułu studenci zapoznają się z podstawową terminologią stosowaną w logice oraz wiedzą z zakresu logiki formalnej. Ponadto na podstawie tej wiedzy student rozwiązuje zadania , analizuje różne sytuacje, wyjaśnia świat nauki.
Wymagania wstępne:
brak
Literatura podstawowa:
(brak informacji)
Efekt modułowy Kody efektów kierunkowych do których odnosi się efekt modułowy [stopień realizacji: skala 1-5]
Student zna podstawą terminologię stosowaną w logice tj. zdanie logiczne, funktory, argumenty zdania, alternatywę, koniunkcję, implikację, negację, równoważność zdania oraz ma wiedzę na temat podstawowych praw rachunku zdań tj. zasada sprzeczności, zasada wyłączonego środka, prawa De Morgana, zaprzeczenie implikacji. [PL02_1]
 K_W01 [5/5]
Student dysponuje wiedzą na temat możliwości interpretacji wybranych pojęć tj. zdanie logiczne, funktory, argumenty zdania, alternatywę, koniunkcję, implikację, negację, równoważność zdania w języku logiki oraz kategorii zdania i funktorów. [PL02_2]
 K_W04 [5/5]
Student stosuje wybrane pojęcia tj. zdanie, kwantyfikatory, spójniki logiczne z logiki formalnej oraz potrafi zastosować logikę matematyczną w prawach rachunku zdań. [PL02_3]
 K_U02 [5/5]
Student potrafi krytycznie odnieść się do zadań z logiki formalnej, potrafi znaleźć prawidłową odpowiedź śledząc dynamikę zmian w technologiach informacyjno-komunikacyjnych i ich wpływ na środowisko informacyjne. [PL02_4]
 K_K01 [4/5]
Student dzięki elementom logiki formalnej potrafi opisywać, konceptualizować i wyjaśniać świat nauki. Rozumie go oraz używa zasad logiki do budowania systemów informacji. [PL02_5]
 K_U08 [3/5]
Typ Opis Kody efektów modułowych do których odnosi się sposób weryfikacji
Ocena ciągła [PL02_w_1]
Ocenie podlegać będą odpowiedzi ustne oraz zadania praktyczne wykonywane przez studentów w trakcie zajęć , które sprawdzać będą opanowanie wiedzy i umiejętności z wybranych pojęć w języku kombinatoryki , teorii kategorii zdań i funktorów oraz z zakresu architektury informacji.
 PL02_1 PL02_2 PL02_3 PL02_4 PL02_5
Sprawdzian pisemny [PL02_w_2]
Sprawdzian sprawdzający poziom opanowania wiedzy umiejętności praktycznych.
 PL02_1 PL02_2 PL02_3 PL02_4
Rodzaj prowadzonych zajęć Praca własna studenta Sposoby weryfikacji
Typ Opis (z uwzględnieniem metod dydaktycznych) Liczba godzin Opis Liczba godzin
ćwiczenia [PL02_fs_1]
Ćwiczenia w trakcie których studenci pracują w grupach, wykonując indywidualne zadania z uwzględnieniem zasady komunikowania się każdy z każdym. Ćwiczenia, podczas których studenci uczestniczą w dyskusji na temat problemów logicznych występujących w zaproponowanych zadaniach.
15
Rozwiązywanie zadań i powtarzanie ćwiczeń wykonywanych na zajęciach w celu utrwalenia i usprawnienia nabytych umiejętności. Przygotowanie do ćwiczeń i sprawdzianów pisemnych.
 45 Ocena ciągła [PL02_w_1] Sprawdzian pisemny [PL02_w_2]
Załączniki
Opis modułu (PDF)
Informacje o sylabusach mogą ulec zmianie w trakcie trwania studiów.
Sylabusy (USOSweb)
Semestr Moduł Język wykładowy
(brak danych)