Elements of logic Field of study: Information in e-Society Institutions
Programme code: 02-S1IE14.2015

Module name: Elements of logic
Module code: 02-IE-S1-OPEL02
Programme code: 02-S1IE14.2015
Semester:
  • summer semester 2016/2017
  • summer semester 2015/2016
Language of instruction: Polish
Form of verification: course work
ECTS credits: 3
Description:
W ramach modułu studenci zapoznają się z zasadami poprawnego myślenia, argumentowania, formułowania myśli. Celem jest opanowanie reguł, pojęć, wiadomości z zakresu logiki oraz umiejętności ich wykorzystania w praktyce. Dzięki znajomości teorii logicznych student ma posiąść erudycję logiczną w zakresie niezbędnym do rozumienia problemów logicznych oraz do swobodnego poruszania się w zagadnieniach innych nauk.
Prerequisites:
(no information given)
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 oraz ma wiedzę z zakresu logiki formalnej. [OPEL02_1]
 K_W01 [5/5]
Student zna metody logiki i matematyki wykorzystywane w naukach humanistycznych. Student dysponuje wiedzą na temat możliwości interpretacji wybranych pojęć w języku kombinatoryki oraz teorii kategorii i funktorów. [OPEL02_2]
 K_W04 [5/5]
Student stosuje aparat logiki formalnej i matematycznej w informatologii. [OPEL02_3]
 K_U01 [5/5]
Student stosuje wybrane pojęcia z logiki formalnej j i matematycznej do analizy informacji. [OPEL02_4]
 K_U02 [5/5]
Dzięki elementom logiki formalnej student potrafi opisywać, konceptualizować i wyjaśniać świat nauki. Rozumie go oraz używa zasad logiki do budowania systemów informacji. [OPEL02_5]
 K_U05 [4/5] K_U06 [3/5]
Student nabywa umiejętności przekazywania informacji w sposób prosty i zrozumiały dla innych, ćwiczy umiejętności pracy w zespole i autoprezentacji. [OPEL02_6]
 K_K06 [4/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Kolokwium pisemne [OPEL03_w_1]
Sprawdzian pisemny sprawdzający poziom przyswojenia wiedzy szczegółowej z zakresu logiki.
 OPEL02_1 OPEL02_2
Zadanie problemowe [OPEL03_w_2]
Weryfikacja umiejętności rozwiązywania zadań logicznych w oparciu o przeprowadzone ćwiczenia.
 OPEL02_3 OPEL02_4 OPEL02_5 OPEL02_6
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 [OPEL03_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.
 30
Lektura uzupełniająca zgodna z zaleceniami prowadzącego. Rozwiązywanie przygotowanych zadań z zakresu logiki.
 60 Kolokwium pisemne [OPEL03_w_1] Zadanie problemowe [OPEL03_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)