The basics of logic Field of study: Information Architecture
Programme code: W1-S1AI19.2021

Module name: The basics of logic
Module code: 02-AI-S1-PL02
Programme code: W1-S1AI19.2021
Semester:
  • summer semester 2022/2023
  • summer semester 2021/2022
Language of instruction: Polish
Form of verification: course work
ECTS credits: 2
Description:
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.
Prerequisites:
brak
Key reading:
(no information given)
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 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]
Type Description Codes of the learning outcomes of the module to which assessment is related
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
Form of teaching Student's own work Assessment of the learning outcomes
Type Description (including teaching methods) Number of hours Description Number of hours
practical classes [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]
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)