Nie jesteś zalogowany | Zaloguj się
Facebook
LinkedIn

Informatyka II stopnia rocznik 2025/26 / Computer science, second-cycle, academic year 2025/26

Forma zaliczenia przedmiotu jest wskazana w siatce zajęć: E oznacza egzamin, ZO zaliczenie na ocenę, a Z zaliczenie.

The form of crediting a course is determined in the course schedule below (E stands for Examination, G - Grading, P/F - Pass/Fail).

Ponieważ fundamentalne przedmioty systemowe,  fundamentalne przedmioty teoretyczne oraz przedmioty obowązkowe dla jednych specjalności mogą być jednocześnie przedmiotami obieralnymi dla innych specjalności, wymagania punktowe w USOS w zakresie punktów za przedmioty obieralne (wyrażone punktami 1000-INF-OBIER) stanowią na I roku sumę punktów za 3 standardowe przedmioty obieralne po 6 ECTS,  2 przedmioty obowiązkowe dla danej specjalizacji oraz wymagany przedmiot fundamentalny (w zalezności od realizowanej specjalizacji: systemowy lub teoretyczny).

 

Nazwa przedmiotu

Course name

Liczba godzin

Number of hours

Punkty ECTS

Forma zaliczenia

Form of crediting a course

I rok 2025/26

1st year 2025/26

W

Lecture

Ć

Practical class

L

Lab

Razem

Total

 

Specjalizacja: Algorytmika

Specialization: Algorithmics

 

I rok

1st year

Seminarium magisterskie: Algorytmika lub Metody numeryczne lub Bioinformatyka i genomika obliczeniowa lub Innowacyjne zastosowania informatyki

Master seminars: Algorithmics or Numerical methods or Bioinformatics and computational genomics or Innovative applications of computer science

      60 6

referat, sformułowanie tematu pracy dyplomowej 

presentation of a paper, accepted topic of the MSc thesis

Professional Skills in Computer Science 1000-217bPSC 30 30   60 6

praca zaliczeniowa i/lub egzamin oraz obowiązkowa prezentacja 

credit paper and/or exam, obligatory presentation

Projekt badawczy 1000-218bPRB

Research project

    30 30 6

praca pisemna lub prezentacja wyników przeglądu literatury lub badań własnych

written paper or presentation of the results of a review of professional literature or own research

Przedmiot ogólnouniwersytecki*

General university course *

30     30 3 zgodnie z sylabusem wybranego przedmiotu/according to the course syllabus

Algorytmika 1000-2N00ALG

Algorithmics

30 30   60 6 E(Exam)

Złożoność obliczeniowa 1000-218bZO

Computational complexity

30 30   60 6 E(Exam)

Przedmiot z grupy fundamentalnych przedmiotów systemowych: Metody realizacji języków programowania, obliczenia superkomputerowe lub systemy rozproszone

A course from the group of fundamental/basic system courses: Compiler construction, High performance computing or Distributed systems

30 30 30 90 9 E(Exam)

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

II rok

2nd year

Seminarium magisterskie: Algorytmika lub Metody numeryczne lub Bioinformatyka i genetyka obliczeniowa lub Innowacyjne zastosowania informatyki wraz ze złożeniem pracy magisterskiej

Master seminars: Algorithmics or Numerical methods or Bioinformatics and computational genomics or Innovative applications of computer science with submission of a Msc thesis

      60 6+ 15 referat, praca dyplomowa presentation of a paper, thesis submission

Przedmioty z grupy obieralnych dla specjalności:

Courses from the group of elective courses required for this specialization:

Rzut 1:
Algorytmy tekstowe,
Geometria obliczeniowa,
Teoria informacji
Rzut 2:
Algorytmika przestrzeni metrycznych (co 2 lata),
Algorytmy analizy danych genomicznych,
Algorytmy parametryzowane (co 2 lata),
Ekstremalna teoria grafów (co 2 lata),
Genomika porównawcza,
Grafy rzadkie (co 2 lata),
Kombinatoryka słów,
Kompresja danych - wprowadzenie,
Optymalizacja wypukła (co 2 lata),
Wybrane zagadnienia matematyki dyskretnej,
Wybrane zagadnienia geometrii obliczeniowej i topologii (co 2 lata),
Wybrane zagadnienia teorii grafów (co 2 lata)

 

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty ogólnouniwersyteckie*

General university courses *

30     30 3 zgodnie z sylabusem wybranego przedmiotu according to the course syllabus

Specjalizacja: Kryptografia

Specialization: Cryptography

I rok

1st year

Seminarium magisterskie: Kryptografia, blockchain i fintech lub Innowacyjne zastosowania informatyki

Master seminars: Cryptography, Blockchain & Fintech or Innovative applications of computer science

      60 6 referat, sformułowanie tematu pracy dyplomowej presentation of a paper, accepted topic of the MSc thesis
Professional Skills in Computer Science 1000-217bPSC 30 30   60 6 praca zaliczeniowa i/lub egzamin oraz obowiązkowa prezentacja credit paper and/or exam, obligatory presentation

Projekt badawczy 1000-218bPRB

Research project

    30 30 6

praca pisemna lub prezentacja wyników przeglądu literatury lub badań własnych

written paper or presentation of the results of a review of professional literature or own research

Przedmiot ogólnouniwersytecki*

General university course *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Kryptografia I 1000-2M12KI1

Cryptography I

30 30   60 6 E(Exam)

Złożoność obliczeniowa 1000-218bZO

Computational complexity

30 30   60 6 E(Exam)

Przedmiot z grupy fundamentalnych przedmiotów systemowych: Metody realizacji języków programowania, obliczenia superkomputerowe lub systemy rozproszone

A course from the group of fundamental/basic system courses: Compiler construction, High performance computing or Distributed systems

30 30 30 90 9

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

II rok

2nd year

Seminarium magisterskie: Kryptografia, blockchain i fintech lub Innowacyjne zastosowania informatyki

Master seminars: Cryptography, Blockchain & FintechInnovative applications of computer science

      60 6+ 15 referat, praca dyplomowa/presentation of a paper, thesis submission

Przedmioty z grupy obieralnych dla specjalności:

Courses from the group of elective courses required for this specialization:

Rzut 1
Algorytmika
Teoria informacji
Rzut 2
Ekstremalna teoria grafów (co 2 lata)
Fintech - Financial technology
Handel elektroniczny
Kompresja danych - wprowadzenie
Kryptografia II
Kryptografia stosowana
Wybrane zagadnienia matematyki dyskretnej
Wybrane zagadnienia teorii grafów (co 2 lata)
90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty ogólnouniwersyteckie *

General university courses *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu/according to the syllabus of a selected course

Specjalizacja:  Automaty, logika i złożoność

Specialization: Automata, logic and complexity

I rok

1st year

Seminarium magisterskie: Języki, automaty i obliczenia lub Innowacyjne zastosowania informatyki

Master seminars: Languages, automata and computations or Innovative applications of computer science

      60 6 referat, sformułowanie tematu pracy dyplomowej presentation of a paper, accepted topic of the MSc thesis
Professional Skills in Computer Science 1000-217bPSC 30 30   60 6

praca zaliczeniowa i/lub egzamin oraz obowiązkowa prezentacja 

credit paper and/or exam, obligatory presentation

Projekt badawczy 1000-218bPRB

Research project

    30 30 6

praca pisemna lub prezentacja wyników przeglądu literatury lub badań własnych

written paper or presentation of the results of a review of professional literature or own research

Przedmiot ogólnouniwersytecki*

General university course *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Logika dla informatyków 1000-217bLOG

Logics for computer scientists

30 30 15 75 6 E(Exam)

Złożoność obliczeniowa 1000-218bZO

Computational complexity

30 30   60 6 E(Exam)

Przedmiot z grupy fundamentalnych przedmiotów systemowych: Metody realizacji języków programowania, Obliczenia superkomputerowe lub Systemy rozproszone

A course from the group of fundamental/basic system courses: Compiler construction, High performance computing or Distributed systems

30 30 30 90 9

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

II rok

2nd year

Seminarium magisterskie: Języki, automaty i obliczenia lub Innowacyjne zastosowania informatyki wraz ze złożeniem pracy magisterskiej

Master seminars: Languages, automata and computations or Innovative applications of computer science with submission of a Msc thesis

 

      60 6+ 15 referat, praca dyplomowa presentation of a paper, thesis submission

Przedmioty z grupy obieralnych dla specjalności:

Courses from the group of elective courses required for this specialization:

Rzut 1
Języki, automaty i obliczenia II
Teoria informacji
Weryfikacja
Rzut 2
Algorytmiczne aspekty teorii gier (co 2 lata)
Algorytmy parametryzowane  (co 2 lata)
Automaty nieskończone (co 2 lata)
Automaty, logika, gry (co 2 lata)
Automaty, macierze, kody (co 2 lata)
Grafy rzadkie (co 2 lata)
Przekształcenia automatowe (co 2 lata)
Teoria modeli skończonych (co 2 lata)
Teoria współbieżności (co 2 lata)
Weryfikacja formalna
Złożoność obliczeniowa II
90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty ogólnouniwersyteckie *

General university courses *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Specjalizacja:  Ekonomia algorytmiczna

Specialization:  Algorithmic economics

I rok

1st year

Seminarium magisterskie: Ekonomia algorytmiczna lub Innowacyjne zastosowania informatyki

Master seminars: Algorithmic economics or Innovative applications of computer science

      60 6

referat, sformułowanie tematu pracy dyplomowe 

presentation of a paper, accepted topic of the MSc thesis

Professional Skills in Computer Science 1000-217bPSC 30 30   60 6

praca zaliczeniowa i/lub egzamin oraz obowiązkowa prezentacja 

credit paper and/or exam, obligatory presentation

Projekt badawczy 1000-218bPRB

Research project

    30 30 6

praca pisemna lub prezentacja wyników przeglądu literatury lub badań własnych

written paper or presentation of the results of a review of professional literature or own research

Przedmiot ogólnouniwersytecki*

General university course *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Obliczeniowa teoria wyboru społecznego 1000-2M09OTW

Computational social choice theory

30 30   60 6 E(Exam)

Algorytmika 1000-2N00ALG

Algorithmics

30 30   60 6 ZO(G)

Przedmiot z grupy fundamentalnych przedmiotów systemowych: Metody realizacji języków programowania, obliczenia superkomputerowe lub systemy rozproszone

A course from the group of fundamental/basic system courses: Compiler construction, High performance computing or Distributed systems

30 30 30 90 9

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

II rok

2nd year

Seminarium magisterskie: Ekonomia algorytmiczna lub Innowacyjne zastosowania informatyki  wraz ze złożeniem pracy magisterskiej

Master seminars: Algorithmic economics or Innovative applications of computer science with submission of a Msc thesis

      60 6+ 15 referat, praca dyplomowa presentation of a paper, thesis submission

Przedmioty z grupy obieralnych dla specjalności:

Courses from the group of elective courses required for this specialization: 

Algorytmiczne aspekty teorii gier (co 2 lata)
Analiza sieci społecznych
Optymalizacja wypukła (co 2 lata)
Teoria aukcji
Teoria gier koalicyjnych (co 2 lata)
Teoria implementacji
90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty ogólnouniwersyteckie *

General university courses *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Specjalizacja: Systemy informatyczne

Specialization: Information systems/IT systems

I rok

1st year

Seminarium magisterskie: Systemy rozproszone lub

Dane, strumienie, rozpraszanie lub Innowacyjne zastosowania informatyki

Master seminars: Distributed systems, Data, streams, dispersion or Innovative applications of computer science

      60 6 referat, sformułowanie tematu pracy dyplomowej presentation of a paper, accepted topic of the MSc thesis
Professional Skills in Computer Science 1000-217bPSC 30 30   60 6

praca zaliczeniowa i/lub egzamin oraz obowiązkowa prezentacja 

credit paper and/or exam, obligatory presentation

Projekt badawczy 1000-218bPRB

Research project

    30 30 6

praca pisemna lub prezentacja wyników przeglądu literatury lub badań własnych

written paper or presentation of the results of a review of professional literature or own research

Przedmiot ogólnouniwersytecki*

General university course *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Systemy rozproszone 1000-217bSR

Distributed systems

30   30 60 9

projekty laboratoryjne, egzamin

lab projects, examination

Zaawansowane bazy danych 1000-2N09ZBD

Advanced databases

30   30 60 6

projekty laboratoryjne, egzamin

lab projects, examination

Przedmiot z grupy fundamentalnych przedmiotów teoretycznych: Złożoność obliczeniowa, algorytmika lub logika dla informatyków

A course from the group of fundamental/basic theoretical courses: Computational complexityAlgorithmics or Logics for computer scientists

 

30 30   60 6

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

II rok 

2nd year

Seminarium magisterskie: Systemy rozproszone lub Dane, strumienie, rozpraszanie lub Innowacyjne zastosowania informatyki 

wraz ze złożeniem pracy magisterskiej

Master seminars: Distributed systems or Data, streams, dispersion or Innovative applications of computer science with submission of a Msc thesis

      60 6+ 15 referat, praca dyplomowa presentation of a paper, thesis submission

Przedmioty z grupy obieralnych dla specjalności:

Courses from the group of elective courses required for this specialization:

Algorytmika przetwarzania zapytań
Eksploracja i przetwarzanie dużych zbiorów danych
Implementacja systemów baz danych
Inżynieria rozproszonej infrastruktury obliczeniowej
Obliczenia superkomputerowe
Programowanie mikrokontrolerów
Przetwarzanie dużych danych i programowanie na klastrach
Uczenie maszynowe w dużej skali
Wstęp do cyberbezpieczeństwa i kryptografii
Zaawansowane systemy operacyjne
Zarządzanie projektami informatycznymi

 

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty ogólnouniwersyteckie *

General university courses *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Specjalizacja: Języki programowania

Specialization: Programming languages

I rok

1st year

Seminarium magisterskie: Języki programowania lub 

Zagadnienia programowania obiektowego lub Innowacyjne zastosowania informatyki

Master seminars: Programming languages or Advanced topics in object-oriented programming or Innovative applications of computer science

      60 6

referat, sformułowanie tematu pracy dyplomowej 

presentation of a paper, accepted topic of the MSc thesis

Professional Skills in Computer Science 1000-217bPSC 30 30   60 6

praca zaliczeniowa i/lub egzamin oraz obowiązkowa prezentacja                     

credit paper and/or exam, obligatory presentation

Projekt badawczy 1000-218bPRB

Research project

    30 30 6

praca pisemna lub prezentacja wyników przeglądu literatury lub badań własnych

written paper or presentation of the results of a review of professional literature or own research

Przedmiot ogólnouniwersytecki*

General university course *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

Metody realizacji języków programowania 1000-217bMRJ

Compiler construction

30 30 30 90 9

projekt programistyczny, egzamin

programming project, examination

Semantyka i weryfikacja programów 1000-2M24SWP

Program Semantics and Verification

30   30 60 6

projekty laboratoryjne, egzamin

lab projects, examination

Przedmiot z grupy fundamentalnych przedmiotów teoretycznych: Złożoność obliczeniowa, algorytmika lub logika dla informatyków

A course from the group of fundamental/basic theoretical courses: Computational complexityAlgorithmics or Logics for computer scientists

30 30   60 6

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

II rok

2nd year

Seminarium magisterskie: Języki programowania lub 

Zagadnienia programowania obiektowego lub Innowacyjne zastosowania informatyki  wraz ze złożeniem pracy magisterskiej

Master seminars: Programming languagesAdvanced topics in object-oriented programmingInnovative applications of computer science with submission of a Msc thesis

      60 6+ 15 referat, praca dyplomowa presentation of a paper, thesis submission

Przedmioty z grupy obieralnych dla specjalności:

Courses from the group of elective courses required for this specialization:

Logika i teoria typów (co 2 lata)
Programowanie w logice
Programowanie w logice i w Prologu
Rachunek lambda (co 2 lata)
Teoria kategorii w podstawach informatyki
Zaawansowane programowanie funkcyjne

 

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty obieralne

Elective courses

90 90   180 18

w sposób określony w sylabusie, ale obowiązkowo obejmujący egzamin pisemny lub projekt

according to the syllabus, but including an obligatory written examination or project

Przedmioty ogólnouniwersyteckie *

General university courses *

    30 30 3 zgodnie z sylabusem wybranego przedmiotu according to the syllabus of a selected course

* podana liczba godzin jest orientacyjna i powinna pozwolić na uzyskanie wymaganej licby punktów ECTS. Pamiętaj również, że w ramach zajęć ogólnouniwersyteckich, na każdym etapie studiów (licencjat/magisterium), powinieneś zdobyć co najmniej 5 pkt ECTS z przedmiotów humanistycznych lub społecznych.

* Please note that the number of hours given is indicative only, in order to obtain the required number of ECTS credits. Also remember that you need to collect at least 5 ECTS credits in humanities or social sciences courses at each stage of your studies (Bachelor's/Master's degree).