Basic information
Faculty name: |
Faculty of Mathematics and Computer Science |
Major name: |
Analytical Computer Science |
Level: |
second cycle |
Profile: |
General academic |
Form: |
full-time degree programme |
Language of study: |
polish |
Discipline:
Informatics
Programme
ISCED classification:
0613
Number of semesters:
4
Professional title awarded to graduates:
magister
Description of the program implementation
W programie obowiązuje sekwencyjny system zajęć. Jego szczegóły zawarte są w sylabusach przedmiotów (w polu wymagania wstępne).
Warunkiem zaliczenia roku jest zaliczenie wszystkich przedmiotów z planu studiów dla tego roku.
Warunkiem uzyskania wpisu warunkowego na kolejny rok jest uzyskanie co najmniej 50 ECTS z przedmiotów z planu studiów dla danego roku.
Ogólne zasady zaliczania przedmiotów reguluje Uchwała nr 1C/IX/2017 Rady Wydziału z dnia 28 września 2017 (z korektą w postaci Uchwały nr 1B/X/2017 RW z dnia 26.10.2017).
Graduation
Warunkami ukończenia studiów są: zaliczenie wszystkich przedmiotów przewidzianych w planie studiów, zaliczenie przedmiotów realizowanych nadprogramowo, zdanie egzaminu z języka angielskiego na poziomie co najmniej B2+, napisanie i uzyskanie pozytywnej oceny z pracy magisterskiej oraz uzyskanie pozytywnej oceny z egzaminu magisterskiego.
1. Student na I roku jest zobowiązany zdać egzamin z języka angielskiego na poziomie B2+.
2. Student na I roku studiów jest zobligowany do zrealizowania kursów z grup Przedmioty Fakultatywne o wartości punktowej 30 ECTS łącznie.
3. Student na II roku studiów jest zobligowany jest do zrealizowania kursów z grupy Przedmioty Fakultatywne o wartości punktowej 36 ECTS łącznie oraz seminariów o wartości puktowej 12 ECTS łącznie.
4. Ponadto, student jest zobligowany do zrealizowania w całym toku studiów co najmniej jednego kursu z grupy Przedmioty Fakultatywne A, jednego z grupy Przedmioty Fakultatywne B i jednego z grupy Przedmioty Fakultatywne C.
5. Niektóre z Przedmiotów Fakultatywnych w danym roku akademickim mogą nie zostać uruchomione.
6. Za zgodą kierownika kierunku, student może zrealizować przedmiot spoza listy jako Przedmiot Fakultatywny lub jako Seminarium, o ile pokrywa on efekty uczenia na kierunku informatyka analityczna.
7. Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
8. W ramach kursu Tutorial, na II roku studiów student przygotowuje pracę magisterską.
Teoria programowania
|
60
|
6
|
exam
|
O |
|
60
|
4
|
exam
|
O |
|
4
|
-
|
assessment
|
O |
Ochrona własności intelektualnej
|
5
|
1
|
assessment
|
O |
Filozofia
|
60
|
5
|
assessment
|
O |
Przedmioty Fakultatywne A
|
|
|
|
O |
opis powyżej
|
Algorytmy Aproksymacyjne
|
60
|
6
|
exam
|
F |
Algorytmy Geometryczne
|
60
|
6
|
exam
|
F |
Algorytmy Grafowe
|
60
|
6
|
exam
|
F |
Algorytmy Probabilistyczne
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Algorytmy Równoległe
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Implementacja Algorytmów 1
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 2
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 3
|
30
|
3
|
assessment
|
F |
Przedmioty Fakultatywne B
|
|
|
|
O |
opis powyżej
|
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kodowanie informacji
|
60
|
6
|
exam
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Przedmioty Fakultatywne C
|
|
|
|
O |
opis powyżej
|
Kompilatory
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Programowanie funkcyjne
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Teoria Programowania w Logice
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Weryfikacja Oprogramowania
|
60
|
6
|
exam
|
F |
Seminaria
|
|
|
|
O |
Student na I roku studiów jest zobligowany do zrealizowania Seminariów o wartości puktowej 12 ECTS łącznie. Student na II roku studiów jest zobligowany jest do zrealizowania seminariów o wartości puktowej 12 ECTS łącznie. Każde Seminarium może być wybierane wielokrotnie.
|
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmika
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Paradygmaty Języków Programowania
|
30
|
3
|
assessment
|
F |
Podstawy informatyki
|
30
|
3
|
assessment
|
F |
1. Student na I roku jest zobowiązany zdać egzamin z języka angielskiego na poziomie B2+.
2. Student na I roku studiów jest zobligowany do zrealizowania kursów z grup Przedmioty Fakultatywne o wartości punktowej 30 ECTS łącznie.
3. Student na II roku studiów jest zobligowany jest do zrealizowania kursów z grupy Przedmioty Fakultatywne o wartości punktowej 36 ECTS łącznie oraz seminariów o wartości puktowej 12 ECTS łącznie.
4. Ponadto, student jest zobligowany do zrealizowania w całym toku studiów co najmniej jednego kursu z grupy Przedmioty Fakultatywne A, jednego z grupy Przedmioty Fakultatywne B i jednego z grupy Przedmioty Fakultatywne C.
5. Niektóre z Przedmiotów Fakultatywnych w danym roku akademickim mogą nie zostać uruchomione.
6. Za zgodą kierownika kierunku, student może zrealizować przedmiot spoza listy jako Przedmiot Fakultatywny lub jako Seminarium, o ile pokrywa on efekty uczenia na kierunku informatyka analityczna.
7. Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
8. W ramach kursu Tutorial, na II roku studiów student przygotowuje pracę magisterską.
Złożoność obliczeniowa
|
60
|
6
|
exam
|
O |
Przedmioty Fakultatywne A
|
|
|
|
O |
opis powyżej
|
Algorytmy Aproksymacyjne
|
60
|
6
|
exam
|
F |
Algorytmy Geometryczne
|
60
|
6
|
exam
|
F |
Algorytmy Grafowe
|
60
|
6
|
exam
|
F |
Algorytmy Probabilistyczne
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Algorytmy Równoległe
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Implementacja Algorytmów 1
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 2
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 3
|
30
|
3
|
assessment
|
F |
Przedmioty Fakultatywne B
|
|
|
|
O |
opis powyżej
|
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kodowanie informacji
|
60
|
6
|
exam
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Przedmioty Fakultatywne C
|
|
|
|
O |
opis powyżej
|
Kompilatory
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Programowanie funkcyjne
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Teoria Programowania w Logice
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Weryfikacja Oprogramowania
|
60
|
6
|
exam
|
F |
Seminaria
|
|
|
|
O |
Student na I roku studiów jest zobligowany do zrealizowania Seminariów o wartości puktowej 12 ECTS łącznie. Student na II roku studiów jest zobligowany jest do zrealizowania seminariów o wartości puktowej 12 ECTS łącznie. Każde Seminarium może być wybierane wielokrotnie.
|
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmika
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Paradygmaty Języków Programowania
|
30
|
3
|
assessment
|
F |
Podstawy informatyki
|
30
|
3
|
assessment
|
F |
1. Student na I roku jest zobowiązany zdać egzamin z języka angielskiego na poziomie B2+.
2. Student na I roku studiów jest zobligowany do zrealizowania kursów z grup Przedmioty Fakultatywne o wartości punktowej 30 ECTS łącznie.
3. Student na II roku studiów jest zobligowany jest do zrealizowania kursów z grupy Przedmioty Fakultatywne o wartości punktowej 36 ECTS łącznie oraz seminariów o wartości puktowej 12 ECTS łącznie.
4. Ponadto, student jest zobligowany do zrealizowania w całym toku studiów co najmniej jednego kursu z grupy Przedmioty Fakultatywne A, jednego z grupy Przedmioty Fakultatywne B i jednego z grupy Przedmioty Fakultatywne C.
5. Niektóre z Przedmiotów Fakultatywnych w danym roku akademickim mogą nie zostać uruchomione.
6. Za zgodą kierownika kierunku, student może zrealizować przedmiot spoza listy jako Przedmiot Fakultatywny lub jako Seminarium, o ile pokrywa on efekty uczenia na kierunku informatyka analityczna.
7. Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
8. W ramach kursu Tutorial, na II roku studiów student przygotowuje pracę magisterską.
Prezentacje magisterskie
|
6
|
1
|
assessment
|
O |
Przedmioty Fakultatywne A
|
|
|
|
O |
opis powyżej
|
Algorytmy Aproksymacyjne
|
60
|
6
|
exam
|
F |
Algorytmy Geometryczne
|
60
|
6
|
exam
|
F |
Algorytmy Grafowe
|
60
|
6
|
exam
|
F |
Algorytmy Probabilistyczne
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Algorytmy Równoległe
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Implementacja Algorytmów 1
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 2
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 3
|
30
|
3
|
assessment
|
F |
Przedmioty Fakultatywne B
|
|
|
|
O |
opis powyżej
|
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kodowanie informacji
|
60
|
6
|
exam
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Przedmioty Fakultatywne C
|
|
|
|
O |
opis powyżej
|
Kompilatory
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Programowanie funkcyjne
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Teoria Programowania w Logice
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Weryfikacja Oprogramowania
|
60
|
6
|
exam
|
F |
Seminaria
|
|
|
|
O |
Student na I roku studiów jest zobligowany do zrealizowania Seminariów o wartości puktowej 12 ECTS łącznie. Student na II roku studiów jest zobligowany jest do zrealizowania seminariów o wartości puktowej 12 ECTS łącznie. Każde Seminarium może być wybierane wielokrotnie.
|
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmika
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Paradygmaty Języków Programowania
|
30
|
3
|
assessment
|
F |
Podstawy informatyki
|
30
|
3
|
assessment
|
F |
1. Student na I roku jest zobowiązany zdać egzamin z języka angielskiego na poziomie B2+.
2. Student na I roku studiów jest zobligowany do zrealizowania kursów z grup Przedmioty Fakultatywne o wartości punktowej 30 ECTS łącznie.
3. Student na II roku studiów jest zobligowany jest do zrealizowania kursów z grupy Przedmioty Fakultatywne o wartości punktowej 36 ECTS łącznie oraz seminariów o wartości puktowej 12 ECTS łącznie.
4. Ponadto, student jest zobligowany do zrealizowania w całym toku studiów co najmniej jednego kursu z grupy Przedmioty Fakultatywne A, jednego z grupy Przedmioty Fakultatywne B i jednego z grupy Przedmioty Fakultatywne C.
5. Niektóre z Przedmiotów Fakultatywnych w danym roku akademickim mogą nie zostać uruchomione.
6. Za zgodą kierownika kierunku, student może zrealizować przedmiot spoza listy jako Przedmiot Fakultatywny lub jako Seminarium, o ile pokrywa on efekty uczenia na kierunku informatyka analityczna.
7. Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
8. W ramach kursu Tutorial, na II roku studiów student przygotowuje pracę magisterską.
Prezentacje magisterskie
|
6
|
1
|
assessment
|
O |
Tutorial
|
10
|
15
|
assessment
|
O |
Przedmioty Fakultatywne A
|
|
|
|
O |
opis powyżej
|
Algorytmy Aproksymacyjne
|
60
|
6
|
exam
|
F |
Algorytmy Geometryczne
|
60
|
6
|
exam
|
F |
Algorytmy Grafowe
|
60
|
6
|
exam
|
F |
Algorytmy Probabilistyczne
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Algorytmy Równoległe
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Implementacja Algorytmów 1
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 2
|
30
|
3
|
assessment
|
F |
Implementacja Algorytmów 3
|
30
|
3
|
assessment
|
F |
Przedmioty Fakultatywne B
|
|
|
|
O |
opis powyżej
|
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kodowanie informacji
|
60
|
6
|
exam
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Przedmioty Fakultatywne C
|
|
|
|
O |
opis powyżej
|
Kompilatory
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Programowanie funkcyjne
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Teoria Programowania w Logice
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Weryfikacja Oprogramowania
|
60
|
6
|
exam
|
F |
Seminaria
|
|
|
|
O |
Student na I roku studiów jest zobligowany do zrealizowania Seminariów o wartości puktowej 12 ECTS łącznie. Student na II roku studiów jest zobligowany jest do zrealizowania seminariów o wartości puktowej 12 ECTS łącznie. Każde Seminarium może być wybierane wielokrotnie.
|
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmika
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Paradygmaty Języków Programowania
|
30
|
3
|
assessment
|
F |
Podstawy informatyki
|
30
|
3
|
assessment
|
F |