Języki formalne i złożoność obliczeniowa

Informacje ogólne

Kod przedmiotu:	06-DJFZLI0
Kod Erasmus / ISCED:	(brak danych) / (brak danych)
Nazwa przedmiotu:	Języki formalne i złożoność obliczeniowa
Jednostka:	Wydział Matematyki i Informatyki
Grupy:	Moodle - przedmioty Szkoły Nauk Ścisłych
Punkty ECTS i inne:	0 LUB 6.00 (w zależności od programu) 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. zobacz reguły punktacji
Język prowadzenia:	(brak danych)

Zajęcia w cyklu "Semestr zimowy 2020/2021" (zakończony)

Okres:	2020-10-01 - 2021-02-28	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Ćwiczenia, 15 godzin, 150 miejsc więcej informacji Wykład, 30 godzin, 150 miejsc więcej informacji Zajęcia laboratoryjne, 15 godzin, 150 miejsc więcej informacji
Koordynatorzy:	Maciej Kandulski
Prowadzący grup:	Filip Graliński, Maciej Kandulski, Jakub Pokrywka
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin Zajęcia laboratoryjne - Zaliczenie z notą

Zajęcia w cyklu "Semestr zimowy 2021/2022" (zakończony)

Okres:	2021-10-01 - 2022-02-23	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Ćwiczenia, 15 godzin, 120 miejsc więcej informacji Wykład, 30 godzin, 120 miejsc więcej informacji Zajęcia laboratoryjne, 15 godzin, 120 miejsc więcej informacji
Koordynatorzy:	Maciej Kandulski
Prowadzący grup:	Maciej Kandulski, Tomasz Kowalski, Jakub Pokrywka
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin Zajęcia laboratoryjne - Zaliczenie z notą

Zajęcia w cyklu "Semestr zimowy 2023/2024" (jeszcze nie rozpoczęty)

Okres:	2023-10-01 - 2024-02-04	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Ćwiczenia, 15 godzin, 82 miejsc więcej informacji Wykład, 30 godzin, 82 miejsc więcej informacji Zajęcia laboratoryjne, 15 godzin, 82 miejsc więcej informacji
Koordynatorzy:	(brak danych)
Prowadzący grup:	Krzysztof Jurkiewicz, Maciej Kandulski
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin Zajęcia laboratoryjne - Zaliczenie z notą

Zajęcia w cyklu "Semestr zimowy 2022/2023" (zakończony)

Okres:	2022-10-01 - 2023-02-26	Wybrany podział planu: ten tydzień cykl przedmiotu zobacz plan zajęć
Typ zajęć:	Ćwiczenia, 15 godzin, 132 miejsc więcej informacji Wykład, 30 godzin, 131 miejsc więcej informacji Zajęcia laboratoryjne, 15 godzin, 132 miejsc więcej informacji
Koordynatorzy:	Maciej Kandulski
Prowadzący grup:	Maciej Kandulski, Tomasz Kowalski, Tomasz Obrębski
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin Zajęcia laboratoryjne - Zaliczenie z notą