Logic 2 [WF-FI-11-LOG2] Summer semester 2019/20
Classes, group no.1

selected group was highlighted

This page describes a class group. If you're looking for information on course see course homepage

Course:

Logic 2 [WF-FI-11-LOG2]

Class:

Summer semester 2019/20 [2019/20_L] (past)
Classes [CW], group no.1 [other groups]

Time and location:

This is only approximate timeframe information. If you want to be sure, contact the lecturer. Irregularities in schedules are more frequent in case of classes taking place less often (more than a week between each other).

every Friday, 9:45 - 11:15
room e-learning
(in Polish) e-learning what is the address?

Nearest dates:

Click on the date to see week schedule with class group meeting.

All classes for this group have already took place - show all dates.

Date and location	Lecturers
2020-02-21 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-02-28 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-03-06 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-03-13 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-03-20 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-03-27 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-04-03 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-04-17 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-04-24 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-05-08 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-05-15 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-05-22 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-05-29 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-06-05 09:45 : 11:15 room e-learning (in Polish) e-learning
2020-06-09 09:15 : 11:15 room e-learning (in Polish) e-learning

Number of students:

Places available:

Examination:

graded credit

Lecturer:

Marek Porwolik

Bibliography:

(in Polish)

Literatura obowiązkowa

1. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mnogości, PWN, Warszawa 1984, (do strony 172)

2. Nieznański E., Logika. Podstawy, język, uzasadnianie, Beck, Warszawa 2011 (fragmenty)

Literatura uzupełniająca

Wajszczyk J., Wstęp do logiki z ćwiczeniami, Wydawnictwo Uniwersytetu Warminsko-Mazurskiego 2001

List of topics:

(in Polish)

1. Ontologie mnogościowe i atrybutywne. (Pojęcia: przedmiot, indywiduum, powszechnik, zbiór, własność, element, część, podmiot, kolektyw, dystrybutyw)

2. Uwagi o indukcji

3. Algebra zbiorów (1/3) (sposoby tworzenia zbiorów, zbiory proste i złożone, działania na zbiorach)

4. Algebra zbiorów (2/3) (stosunki między zbiorami)

5. Algebra zbiorów (3/3) (rodziny zbiorów, podział logiczny, analiza logiczna)

6. Elementy teorii relacji (1/2) (para uporządkowana, iloczyn kartezjański, relacja, dziedzina, przeciwdziedzina, pole, działania na relacjach)

7. Elementy teorii relacji (2/2) (formalne własności relacji dwuargumentowych)

8. Związek między klasyczną logiką zdaniową i algebrą zbiorów

9. Arystotelesowska logika nazw LA. Język i reguły inferencji

10. Prawa kwadratu logicznego LA, prawa konwersji, obwersji i kontrapozycji LA

11. Prawa sylogistyczne LA

12. Przykłady logik nieklasycznych: logiki modalne (1/2)

13. Logiki modalne (2/2)

14. Logika deontyczna

15. Z zastosowań logiki do filozofii (podsumowanie, przykłady)

Metody dydaktyczne i sposoby weryfikacji efektów kształcenia:

(in Polish)

Ćwiczenia prowadzone są metodami tradycyjnymi. Wyjaśniamy pojęcia z wykładu, rozwiązujemy zadania.

Efekty kształcenia są weryfikowane za pomocą kartkówek i w trakcie egzaminu ustnego.

Assessment methods and assessment criteria:

(in Polish)

Na co drugich zajęciach studenci piszą kartkówki oceniane na +/-. Zaliczenie gwarantowane jest przez większą ilość + oraz obecność na zajęciach (maksymalna ilość nieobecności: 3). Na ostatnich zajęciach możliwe jest poprawienie kartkówek. Zaliczenie ćwiczeń jest warunkiem przystąpienia do egzaminu z logiki 2.

Course descriptions are protected by copyright.
Copyright by Cardinal Stefan Wyszynski University in Warsaw.

Logic 2 [WF-FI-11-LOG2] Summer semester 2019/20 Classes, group no.1

Logic 2 [WF-FI-11-LOG2] Summer semester 2019/20
Classes, group no.1