Logic 2404-P-1-LOG-Sj

This course has not yet been described...

Total student workload

(in Polish) - godziny realizowane z udziałem nauczyciela: 30 godzin konwersatorium - praca indywidualna studenta: 30 godzin - konsultacje z prowadzącym: 10 godzin - przygotowanie do sprawdzianu końcowego / egzaminu: 20 godzin Razem: 90 godzin / 3 punkty ECTS

Learning outcomes - knowledge

(in Polish) K_W29 - zna elementy klasycznego rachunku zdań, klasycznego rachunku kwantyfikatorów oraz podstawy teorii zbiorów.

Learning outcomes - skills

(in Polish) K_U19 - potrafi wyprowadzać wnioski zgodnie z zasadami logiki oraz dostrzegać podstawowe błędy logiczne w rozumowaniu innych osób.

Learning outcomes - social competencies

(in Polish) K_K01 - potrafi określać priorytety służące realizacji zadań oraz celów zarówno zawodowych, jak i naukowych

Course coordinators

Marek Nasieniewski

Teaching methods

(in Polish) • Metody dydaktyczne eksponujące - pokaz • Metody podające: - wykład konwersatoryjny • Metody poszukujące: - klasyczna metoda problemowa

Observation/demonstration teaching methods

- display

Expository teaching methods

- participatory lecture

Exploratory teaching methods

- classic problem-solving

Type of course

compulsory course

Prerequisites

(in Polish) Brak

Additional information

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

Description of 2404-P-1-LOG-Sj in USOSweb