Politechnika Warszawska - Centralny System Uwierzytelniania
Strona główna

Introduction to Formal Logic and Set Theory

Informacje ogólne

Kod przedmiotu: 1120-IN000-ISA-0113
Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Introduction to Formal Logic and Set Theory
Jednostka: Wydział Matematyki i Nauk Informacyjnych
Grupy: Computer Science and Information Systems, BSc. - obligatory courses, sem. 1
Strona przedmiotu: http://www.mini.pw.edu.pl/~szaniaws
Punkty ECTS i inne: 5.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
Język prowadzenia: angielski
Metody i kryteria oceniania: (tylko po angielsku)

test 1 - 30 points

Test 2 - 30 points

test 3 - 30 points

Activity 10 points

To pass at least 12 points on each test and at least 50 on total are required

The final grade is awarded according to the following scale: 50-59 C, 60-69 C+, 70-79 B, 80-89 B+, 90-100 A.

Tests include theory.

Zajęcia w cyklu "rok akademicki 2022/2023 - sem. zimowy" (w trakcie)

Okres: 2022-10-01 - 2023-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Joanna Chybowska-Sokół, Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2021/2022 - sem. zimowy" (zakończony)

Okres: 2021-10-01 - 2022-02-22
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Konstanty Junosza-Szaniawski, Agnieszka Piliszek
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2020/2021 - sem. zimowy" (zakończony)

Okres: 2020-10-01 - 2021-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Konstanty Junosza-Szaniawski, Agnieszka Piliszek
Strona przedmiotu: http://www.mini.pw.edu.pl/~szaniaws
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2019/2020 - sem. zimowy" (zakończony)

Okres: 2019-10-01 - 2020-02-21
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Renata Gruszka, Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2018/2019 - sem. zimowy" (zakończony)

Okres: 2018-10-01 - 2019-02-17
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Renata Gruszka, Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2017/2018 - sem. zimowy" (zakończony)

Okres: 2017-10-01 - 2018-02-18
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena łączna
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2016/2017 - sem. zimowy" (zakończony)

Okres: 2016-10-01 - 2017-02-19
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin
Semestr:

1

Zajęcia w cyklu "rok akademicki 2015/2016 - sem. zimowy" (zakończony)

Okres: 2015-10-01 - 2016-02-22
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin

Zajęcia w cyklu "rok akademicki 2014/2015 - sem. zimowy" (zakończony)

Okres: 2014-09-29 - 2015-02-22
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć:
Ćwiczenia, 30 godzin, 30 miejsc więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Konstanty Junosza-Szaniawski
Prowadzący grup: Konstanty Junosza-Szaniawski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Egzamin
Ćwiczenia - Zaliczenie
Wykład - Egzamin
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Warszawska.
pl. Politechniki 1, 00-661 Warszawa tel: (22) 234 7211 https://pw.edu.pl kontakt deklaracja dostępności USOSweb 6.8.0.0-7 (2022-11-16)