Basic information
Faculty name: |
Faculty of Mathematics and Computer Science |
Major name: |
Computer Mathematics |
Level: |
second cycle |
Profile: |
General academic |
Form: |
full-time degree programme |
Language of study: |
polish |
Leading discipline:
Maths
Programme
ISCED classification:
0588
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). 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).
- Warunkiem zaliczenia roku jest zaliczenie wszystkich przedmiotów obowiązkowych z planu studiów dla tego roku oraz wszystkich zadeklarowanych przedmiotów fakultatywnych. W każdym roku student musi uzyskać co najmniej 60 ECTS.
- Warunkiem ukończenia studiów jest:
* zaliczenie wszystkich przedmiotów obowiązkowych przewidzianych w planie studiów,
* ośmiu przedmiotów fakultatywnych (siedmiu kierunkowych z dziedziny nauk ścisłych oraz co najmniej jednego z dziedziny nauk humanistycznych lub społecznych),
* sześciu seminariów (po jednym w 1. i 2. semestrze, oraz po dwa w semestrach 3. i 4.),
* przygotowanie pracy dyplomowej oraz
* zdanie egzaminu dyplomowego.
W ramach bloku przedmiotów fakultatywnych student jest zobowiązany do zaliczenia co najmniej pięciu przedmiotów z grup 1 i 2, w tym co najmniej jednego przedmiotu matematycznego (z grupy 1) za co najmniej 6 ECTS, co najmniej dwóch informatycznych (z grupy 2) za co najmniej 12 ECTS. Student musi zaliczyć przedmiot(y) humanizujące (z grupy 3) za co najmniej 5 ECTS. Zalecany rozkład przedmiotów fakultatywnych kierunkowych na semestry jest następujący:
* semestr 1: 120 godzin (12 ECTS)
* semestr 3: 240 godzin (24 ECTS)
* semestr 4: 60 godzin (6 ECTS)
Żaden przedmiot nie może zostać zaliczony dwukrotnie w toku studiów I i II stopnia łącznie.
- Warunkiem koniecznym przystąpienia do egzaminu dyplomowego jest napisanie pracy dyplomowej na wybrany przez studenta i uzgodniony z opiekunem naukowym temat. Opiekun naukowy prowadzi indywidualne konsultacje zakończone akceptacją napisanej przez studenta pracy. Opiekun naukowy może wymagać od studenta zaprezentowania pracy na wybranym forum (np. seminarium).
Graduation
(1) przygotowanie pracy dyplomowej oraz (2) egzamin dyplomowy
Warunkiem koniecznym przystąpienia do egzaminu dyplomowego jest napisanie pracy dyplomowej na wybrany przez studenta i uzgodniony z opiekunem naukowym temat. Opiekun naukowy prowadzi indywidualne konsultacje w wymiarze co najmniej 10 godzin, zakończone akceptacją napisanej przez studenta pracy. Opiekun naukowy może wymagać od studenta dodatkowych godzin konsultacji, w szczególności może wymagać zaprezentowania pracy na wybranym forum (np. seminarium).
- W ramach bloku przedmiotów fakultatywnych student musi zrealizować co najmniej osiem przedmiotów: siedem przedmiotów kierunkowych (z dziedziny nauk ścisłych) oraz co najmniej jeden z dziedziny nauk humanistycznych lub społecznych. Za zgodą kierownika kierunku student może realizować przedmiot spoza powyższej listy, o ile pokrywa on efekty uczenia się na kierunku Matematyka komputerowa. W szczególności, dowolny z przedmiotów oferowanych przez Wydział Matematyki i Informatyki UJ, który nie jest przedmiotem obowiązkowym na I i II stopniu MK, może być przedmiotem fakultatywnym. Żaden przedmiot nie może zostać zaliczony dwukrotnie – w toku studiów I i II stopnia łącznie.
- Student jest zobowiązany do zaliczenia co najmniej pięciu przedmiotów z list Przedmiotów matematycznych i informatycznych, w tym co najmniej jednego przedmiotu matematycznego za co najmniej 6 ECTS, co najmniej dwóch informatycznych za co najmniej 12 ECTS. Student musi zaliczyć przedmiot(y) humanizujące (z listy Przedmiotów humanistycznych lub z dziedziny nauk społecznych) za co najmniej 5 ECTS.
- Student musi zaliczyć sześć semestralnych seminariów z dziedziny nauk ścisłych (z listy Seminariów): po jednym w semestrach 1. i 2. oraz po dwa w semestrach 3. i 4. Każde seminarium może być wybierane wielokrotnie.
- Warunkiem koniecznym przystąpienia do egzaminu dyplomowego jest napisanie pracy dyplomowej na wybrany przez studenta i uzgodniony z opiekunem naukowym temat. Opiekun naukowy prowadzi indywidualne konsultacje zakończone akceptacją napisanej przez studenta pracy. Opiekun naukowy może wymagać od studenta zaprezentowania pracy na wybranym forum (np. seminarium).
- W każdym roku student musi uzyskać co najmniej 60 ECTS, zatem zalecany rozkład przedmiotów fakultatywnych kierunkowych na semestry jest następujący:
* semestr 1: 120 godzin(12 ECTS)
* semestr 3: 240 godzin (24 ECTS)
* semestr 4: 60 godzin (6 ECTS)
Niektóre z powyższych przedmiotów w danym roku akademickim mogą nie zostać uruchomione.
Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
Analiza numeryczna
|
60
|
6
|
exam
|
O |
Analiza funkcjonalna
|
60
|
6
|
exam
|
O |
|
60
|
4
|
exam
|
O |
|
4
|
-
|
assessment
|
O |
Wydziałowe kursy do wyboru
|
|
|
|
F |
opis powyżej
|
Algebra dla Informatyków
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Algorytmika Problemow Trudnych
|
60
|
6
|
exam
|
F |
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 Równoległe
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Finite Model Theory
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Bioinformatyka
|
60
|
6
|
exam
|
F |
Kody i kaflowania
|
60
|
6
|
exam
|
F |
Metoda elementu skończonego
|
60
|
6
|
exam
|
F |
Numeryczne rozwiązywanie równań różniczkowych zwyczajnych
|
60
|
6
|
exam
|
F |
Programowanie dla WWW
|
60
|
6
|
exam
|
F |
Programowanie urządzeń mobilnych – Apple iOS
|
60
|
6
|
exam
|
F |
Programowanie w Java
|
60
|
6
|
exam
|
F |
Przetwarzanie języka naturalnego
|
60
|
6
|
exam
|
F |
Bazy danych 2
|
60
|
6
|
exam
|
F |
Testowanie oprogramowania
|
60
|
6
|
exam
|
F |
Wzorce projektowe
|
60
|
6
|
exam
|
F |
Zaawansowane wzorce projektowe i architektoniczne
|
60
|
6
|
exam
|
F |
Basic Real Algebraic Geometry
|
60
|
6
|
exam
|
F |
Galois Theory
|
60
|
6
|
exam
|
F |
Ergodic Theory
|
60
|
6
|
exam
|
F |
Matematyczne aspekty wyborów
|
60
|
6
|
exam
|
F |
Matematyka olimpiad i konkursów
|
60
|
6
|
exam
|
F |
Wybrane zastosowania algebry abstrakcyjnej
|
60
|
6
|
exam
|
F |
Elementarna teoria homotopii
|
60
|
6
|
exam
|
F |
Complex analytic geometry 1
|
60
|
6
|
exam
|
F |
Geometria różniczkowa krzywych i powierzchni
|
60
|
6
|
exam
|
F |
Fourier transform and distribution theory
|
60
|
6
|
exam
|
F |
Introduction to Probability and Statistics
|
60
|
6
|
exam
|
F |
Functional Equations
|
60
|
6
|
exam
|
F |
Wybrane zagadnienia empirycznej mikroekonomii
|
60
|
6
|
exam
|
F |
Przestrzenie metryczne
|
60
|
6
|
exam
|
F |
Wprowadzenie do teorii modeli
|
60
|
6
|
exam
|
F |
Analiza formalna i funkcje analityczne
|
60
|
6
|
exam
|
F |
Sterowanie stochastyczne w czasie dyskretnym
|
60
|
6
|
exam
|
F |
Ekonometria II
|
60
|
6
|
exam
|
F |
Matematyka ubezpieczeń na życie
|
60
|
6
|
exam
|
F |
Applied Ordinary Differential Equations
|
60
|
6
|
exam
|
F |
Przetwarzanie i wizualizacja danych w SAS
|
60
|
6
|
exam
|
F |
Statystyka w badaniach edukacyjnych
|
60
|
6
|
exam
|
F |
Teoria liczb
|
60
|
6
|
exam
|
F |
Geometryczna teoria nawigacji
|
60
|
6
|
exam
|
F |
Modelowanie ryzyka kredytowego
|
60
|
6
|
exam
|
F |
Przedmioty matematyczne
|
|
|
|
O |
opis powyżej
|
Funkcje analityczne
|
60
|
6
|
exam
|
F |
Jakościowa teoria układów dynamicznych z komputerem
|
60
|
6
|
exam
|
F |
Metody optymalizacji
|
60
|
6
|
exam
|
F |
Miara i całka
|
60
|
6
|
exam
|
F |
Modele matematyki finansowej
|
60
|
6
|
exam
|
F |
Topologia 2
|
60
|
6
|
exam
|
F |
Analiza matematyczna 3
|
120
|
12
|
exam
|
F |
Funkcje rzeczywiste
|
60
|
6
|
exam
|
F |
Topological dynamics and chaos
|
60
|
6
|
exam
|
F |
Przedmioty informatyczne
|
|
|
|
O |
opis powyżej
|
Efektywne programowanie w języku Python
|
60
|
6
|
exam
|
F |
Modelling of atmospheric clouds
|
60
|
6
|
exam
|
F |
Kryptologia
|
60
|
6
|
exam
|
F |
Nauczanie maszynowe
|
60
|
6
|
exam
|
F |
Programowanie abstrakcyjne
|
60
|
6
|
exam
|
F |
Programowanie funkcyjne
|
60
|
6
|
exam
|
F |
Programowanie w logice
|
60
|
6
|
exam
|
F |
Programowanie niskopoziomowe
|
60
|
6
|
exam
|
F |
Programowanie współbieżne
|
60
|
6
|
exam
|
F |
Teoria informacji w nauczaniu maszynowym
|
60
|
6
|
exam
|
F |
Seminaria
|
|
|
|
O |
opis powyżej
|
Matematyka obliczeniowa
|
30
|
3
|
assessment
|
F |
Równania różniczkowe i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Matematyka dyskretna
|
30
|
3
|
assessment
|
F |
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Inżynieria danych i oprogramowania
|
30
|
3
|
assessment
|
F |
Inżynieria oprogramowania i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Metody AI
|
30
|
3
|
assessment
|
F |
Modelowanie 3D i animacja komputerowa
|
30
|
3
|
assessment
|
F |
Przetwarzanie obrazów i danych
|
30
|
3
|
assessment
|
F |
Różniczkowa teoria Galois
|
30
|
3
|
assessment
|
F |
Seminarium Katedry Teorii Optymalizacji i Sterowania
|
30
|
3
|
assessment
|
F |
Seminarium kognitywistyczne
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Uczenia Maszynowego
|
30
|
3
|
assessment
|
F |
Testowanie i jakość oprogramowania
|
30
|
3
|
assessment
|
F |
Widzenie komputerowe i rozpoznawanie obrazów
|
30
|
3
|
assessment
|
F |
Analiza Zespolona – Geometryczna Teoria Funkcji
|
30
|
3
|
assessment
|
F |
Geometria przestrzeni Banacha
|
30
|
3
|
assessment
|
F |
Historia matematyki
|
30
|
3
|
assessment
|
F |
Matematyka stosowana
|
30
|
3
|
assessment
|
F |
Metody teorii aproksymacji
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Matematyki Finansowej
|
30
|
3
|
assessment
|
F |
Teoria osobliwości
|
30
|
3
|
assessment
|
F |
Topologia
|
30
|
3
|
assessment
|
F |
Topologia różniczkowa i algebraiczna
|
30
|
3
|
assessment
|
F |
Układy Dynamiczne
|
30
|
3
|
assessment
|
F |
- W ramach bloku przedmiotów fakultatywnych student musi zrealizować co najmniej osiem przedmiotów: siedem przedmiotów kierunkowych (z dziedziny nauk ścisłych) oraz co najmniej jeden z dziedziny nauk humanistycznych lub społecznych. Za zgodą kierownika kierunku student może realizować przedmiot spoza powyższej listy, o ile pokrywa on efekty uczenia się na kierunku Matematyka komputerowa. W szczególności, dowolny z przedmiotów oferowanych przez Wydział Matematyki i Informatyki UJ, który nie jest przedmiotem obowiązkowym na I i II stopniu MK, może być przedmiotem fakultatywnym. Żaden przedmiot nie może zostać zaliczony dwukrotnie – w toku studiów I i II stopnia łącznie.
- Student jest zobowiązany do zaliczenia co najmniej pięciu przedmiotów z list Przedmiotów matematycznych i informatycznych, w tym co najmniej jednego przedmiotu matematycznego za co najmniej 6 ECTS, co najmniej dwóch informatycznych za co najmniej 12 ECTS. Student musi zaliczyć przedmiot(y) humanizujące (z listy Przedmiotów humanistycznych lub z dziedziny nauk społecznych) za co najmniej 5 ECTS.
- Student musi zaliczyć sześć semestralnych seminariów z dziedziny nauk ścisłych (z listy Seminariów): po jednym w semestrach 1. i 2. oraz po dwa w semestrach 3. i 4. Każde seminarium może być wybierane wielokrotnie.
- Warunkiem koniecznym przystąpienia do egzaminu dyplomowego jest napisanie pracy dyplomowej na wybrany przez studenta i uzgodniony z opiekunem naukowym temat. Opiekun naukowy prowadzi indywidualne konsultacje zakończone akceptacją napisanej przez studenta pracy. Opiekun naukowy może wymagać od studenta zaprezentowania pracy na wybranym forum (np. seminarium).
- W każdym roku student musi uzyskać co najmniej 60 ECTS, zatem zalecany rozkład przedmiotów fakultatywnych kierunkowych na semestry jest następujący:
* semestr 1: 120 godzin(12 ECTS)
* semestr 3: 240 godzin (24 ECTS)
* semestr 4: 60 godzin (6 ECTS)
Niektóre z powyższych przedmiotów w danym roku akademickim mogą nie zostać uruchomione.
Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
Obliczalność i złożoność
|
60
|
6
|
exam
|
O |
Zaawansowana matematyka dyskretna
|
60
|
7
|
exam
|
O |
Równania różniczkowe cząstkowe I
|
60
|
6
|
exam
|
O |
Projekt programistyczny
|
60
|
6
|
assessment
|
O |
Ochrona własności intelektualnej
|
5
|
1
|
assessment
|
O |
Wydziałowe kursy do wyboru
|
|
|
|
F |
opis powyżej
|
Algebra dla Informatyków
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Algorytmika Problemow Trudnych
|
60
|
6
|
exam
|
F |
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 Równoległe
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kombinatoryka struktur porządkowych
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Systemy rozproszone
|
60
|
6
|
exam
|
F |
Sztuczna inteligencja - podejście współczesne
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Analiza obrazów medycznych
|
60
|
6
|
exam
|
F |
Applied deep learning
|
60
|
6
|
exam
|
F |
Systemy baz danych NoSQL
|
60
|
6
|
exam
|
F |
Biometria
|
60
|
6
|
exam
|
F |
Deep learning z zastosowaniami w NLP
|
60
|
6
|
exam
|
F |
Geometria obliczeniowa
|
60
|
6
|
exam
|
F |
Hurtownie danych w systemie SAS
|
60
|
6
|
exam
|
F |
Informatyka śledcza
|
60
|
6
|
exam
|
F |
Numeryczne rozwiązywanie równań różniczkowych cząstkowych
|
60
|
6
|
exam
|
F |
Programowanie urządzeń mobilnych – Android
|
60
|
6
|
exam
|
F |
Przetwarzanie grafiki i muzyki
|
60
|
6
|
exam
|
F |
Rozproszone i mobilne bazy danych
|
60
|
6
|
exam
|
F |
Selected Topics in Blockchain Technology and Distributed Ledgers
|
60
|
6
|
exam
|
F |
Sieci neuronowe
|
60
|
6
|
exam
|
F |
Rozpoznawanie obrazów
|
60
|
6
|
exam
|
F |
Basic Differential Topology
|
60
|
6
|
exam
|
F |
Ergodic Theory II: multiple recurrence and joinings
|
60
|
6
|
exam
|
F |
Matematyka ubezpieczeń majątkowych
|
60
|
6
|
exam
|
F |
Homotopijne własności grup Liego - kurs elementarny
|
60
|
6
|
exam
|
F |
HSBC Quants Academy
|
60
|
6
|
exam
|
F |
Quantitative methods and applications
|
60
|
6
|
exam
|
F |
Complex analytic geometry 2
|
60
|
6
|
exam
|
F |
Medial axis and singularities
|
60
|
6
|
exam
|
F |
Algebra komputerowa
|
60
|
6
|
exam
|
F |
Arbitrage Pricing of Financial Derivatives
|
60
|
6
|
exam
|
F |
Wstęp do inżynierii finansowej
|
60
|
6
|
exam
|
F |
Modele statystyczne z wykorzystaniem narzędzi SAS
|
60
|
6
|
exam
|
F |
Wstęp do próbkowania oszczędnego
|
60
|
6
|
exam
|
F |
Nowoczesna teoria całki
|
60
|
6
|
exam
|
F |
Wprowadzenie do analizy niearchimedesowej
|
60
|
6
|
exam
|
F |
Słabe rozwiązania równań różniczkowych cząstkowych
|
60
|
6
|
exam
|
F |
Ekonomia menedżerska
|
60
|
6
|
exam
|
F |
Ekonometria dynamiczna i finansowa
|
60
|
6
|
exam
|
F |
Topologia ujarzmiona: geometria o-minimalna
|
60
|
6
|
exam
|
F |
Analiza stochastyczna
|
60
|
6
|
exam
|
F |
Sterowanie stochastyczne w czasie ciągłym
|
60
|
6
|
exam
|
F |
Topologiczna teoria punktów stałych
|
60
|
6
|
exam
|
F |
Foundations of homology theory
|
60
|
6
|
exam
|
F |
Teoria operatorów III
|
60
|
6
|
exam
|
F |
Języki programowania do przetwarzania danych
|
60
|
6
|
exam
|
F |
Funkcje specjalne. Wybrane zagadnienia
|
60
|
6
|
exam
|
F |
Łańcuchy Markowa i zastosowania
|
60
|
6
|
exam
|
F |
Wstęp do kryptografii matematycznej
|
60
|
6
|
exam
|
F |
Topologia w analizie danych i dynamice
|
60
|
6
|
exam
|
F |
Przedmioty matematyczne
|
|
|
|
O |
opis powyżej
|
Analiza danych statystycznych w systemie SAS
|
60
|
6
|
exam
|
F |
Computational Algebraic Group Theory
|
30
|
2
|
exam
|
F |
Dynamika symboliczna i kody
|
60
|
6
|
exam
|
F |
Modelowanie matematyczne
|
60
|
6
|
exam
|
F |
Wybrane zagadnienia analizy funkcji jednej zmiennej rzeczywistej
|
60
|
6
|
exam
|
F |
Przedmioty informatyczne
|
|
|
|
O |
opis powyżej
|
Modelling of atmospheric clouds
|
60
|
6
|
exam
|
F |
Kodowanie informacji
|
60
|
6
|
exam
|
F |
Modelowanie obiektowe
|
60
|
6
|
exam
|
F |
Programowanie niskopoziomowe
|
60
|
6
|
exam
|
F |
Wprowadzenie do kognitywistyki
|
60
|
6
|
exam
|
F |
Effective and modern C++ programming
|
60
|
6
|
exam
|
F |
Seminaria
|
|
|
|
O |
opis powyżej
|
Matematyka obliczeniowa
|
30
|
3
|
assessment
|
F |
Równania różniczkowe i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Matematyka dyskretna
|
30
|
3
|
assessment
|
F |
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Inżynieria danych i oprogramowania
|
30
|
3
|
assessment
|
F |
Inżynieria oprogramowania i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Metody AI
|
30
|
3
|
assessment
|
F |
Przetwarzanie obrazów i danych
|
30
|
3
|
assessment
|
F |
Różniczkowa teoria Galois
|
30
|
3
|
assessment
|
F |
Seminarium Katedry Teorii Optymalizacji i Sterowania
|
30
|
3
|
assessment
|
F |
Seminarium kognitywistyczne
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Uczenia Maszynowego
|
30
|
3
|
assessment
|
F |
Sieci komputerowe
|
30
|
3
|
assessment
|
F |
Testowanie i jakość oprogramowania
|
30
|
3
|
assessment
|
F |
Widzenie komputerowe i rozpoznawanie obrazów
|
30
|
3
|
assessment
|
F |
Zaawansowana organizacja komputerów
|
30
|
3
|
assessment
|
F |
Analiza Zespolona – Geometryczna Teoria Funkcji
|
30
|
3
|
assessment
|
F |
Geometria przestrzeni Banacha
|
30
|
3
|
assessment
|
F |
Historia matematyki
|
30
|
3
|
assessment
|
F |
Matematyka stosowana
|
30
|
3
|
assessment
|
F |
Metody teorii aproksymacji
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Matematyki Finansowej
|
30
|
3
|
assessment
|
F |
Teoria osobliwości
|
30
|
3
|
assessment
|
F |
Topologia
|
30
|
3
|
assessment
|
F |
Topologia różniczkowa i algebraiczna
|
30
|
3
|
assessment
|
F |
Układy Dynamiczne
|
30
|
3
|
assessment
|
F |
- W ramach bloku przedmiotów fakultatywnych student musi zrealizować co najmniej osiem przedmiotów: siedem przedmiotów kierunkowych (z dziedziny nauk ścisłych) oraz co najmniej jeden z dziedziny nauk humanistycznych lub społecznych. Za zgodą kierownika kierunku student może realizować przedmiot spoza powyższej listy, o ile pokrywa on efekty uczenia się na kierunku Matematyka komputerowa. W szczególności, dowolny z przedmiotów oferowanych przez Wydział Matematyki i Informatyki UJ, który nie jest przedmiotem obowiązkowym na I i II stopniu MK, może być przedmiotem fakultatywnym. Żaden przedmiot nie może zostać zaliczony dwukrotnie – w toku studiów I i II stopnia łącznie.
- Student jest zobowiązany do zaliczenia co najmniej pięciu przedmiotów z list Przedmiotów matematycznych i informatycznych, w tym co najmniej jednego przedmiotu matematycznego za co najmniej 6 ECTS, co najmniej dwóch informatycznych za co najmniej 12 ECTS. Student musi zaliczyć przedmiot(y) humanizujące (z listy Przedmiotów humanistycznych lub z dziedziny nauk społecznych) za co najmniej 5 ECTS.
- Student musi zaliczyć sześć semestralnych seminariów z dziedziny nauk ścisłych (z listy Seminariów): po jednym w semestrach 1. i 2. oraz po dwa w semestrach 3. i 4. Każde seminarium może być wybierane wielokrotnie.
- Warunkiem koniecznym przystąpienia do egzaminu dyplomowego jest napisanie pracy dyplomowej na wybrany przez studenta i uzgodniony z opiekunem naukowym temat. Opiekun naukowy prowadzi indywidualne konsultacje zakończone akceptacją napisanej przez studenta pracy. Opiekun naukowy może wymagać od studenta zaprezentowania pracy na wybranym forum (np. seminarium).
- W każdym roku student musi uzyskać co najmniej 60 ECTS, zatem zalecany rozkład przedmiotów fakultatywnych kierunkowych na semestry jest następujący:
* semestr 1: 120 godzin(12 ECTS)
* semestr 3: 240 godzin (24 ECTS)
* semestr 4: 60 godzin (6 ECTS)
Niektóre z powyższych przedmiotów w danym roku akademickim mogą nie zostać uruchomione.
Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
Wydziałowe kursy do wyboru
|
|
|
|
F |
opis powyżej
|
Algebra dla Informatyków
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Algorytmika Problemow Trudnych
|
60
|
6
|
exam
|
F |
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 Równoległe
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kombinatoryka struktur porządkowych
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Systemy rozproszone
|
60
|
6
|
exam
|
F |
Sztuczna inteligencja - podejście współczesne
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Bioinformatyka
|
60
|
6
|
exam
|
F |
Kody i kaflowania
|
60
|
6
|
exam
|
F |
Metoda elementu skończonego
|
60
|
6
|
exam
|
F |
Numeryczne rozwiązywanie równań różniczkowych zwyczajnych
|
60
|
6
|
exam
|
F |
Programowanie dla WWW
|
60
|
6
|
exam
|
F |
Programowanie urządzeń mobilnych – Apple iOS
|
60
|
6
|
exam
|
F |
Programowanie w Java
|
60
|
6
|
exam
|
F |
Przetwarzanie języka naturalnego
|
60
|
6
|
exam
|
F |
Bazy danych 2
|
60
|
6
|
exam
|
F |
Testowanie oprogramowania
|
60
|
6
|
exam
|
F |
Wzorce projektowe
|
60
|
6
|
exam
|
F |
Zaawansowane wzorce projektowe i architektoniczne
|
60
|
6
|
exam
|
F |
Basic Real Algebraic Geometry
|
60
|
6
|
exam
|
F |
Galois Theory
|
60
|
6
|
exam
|
F |
Ergodic Theory
|
60
|
6
|
exam
|
F |
Matematyczne aspekty wyborów
|
60
|
6
|
exam
|
F |
Matematyka olimpiad i konkursów
|
60
|
6
|
exam
|
F |
Wybrane zastosowania algebry abstrakcyjnej
|
60
|
6
|
exam
|
F |
Elementarna teoria homotopii
|
60
|
6
|
exam
|
F |
Complex analytic geometry 1
|
60
|
6
|
exam
|
F |
Geometria różniczkowa krzywych i powierzchni
|
60
|
6
|
exam
|
F |
Fourier transform and distribution theory
|
60
|
6
|
exam
|
F |
Introduction to Probability and Statistics
|
60
|
6
|
exam
|
F |
Functional Equations
|
60
|
6
|
exam
|
F |
Wybrane zagadnienia empirycznej mikroekonomii
|
60
|
6
|
exam
|
F |
Przestrzenie metryczne
|
60
|
6
|
exam
|
F |
Wprowadzenie do teorii modeli
|
60
|
6
|
exam
|
F |
Analiza formalna i funkcje analityczne
|
60
|
6
|
exam
|
F |
Sterowanie stochastyczne w czasie dyskretnym
|
60
|
6
|
exam
|
F |
Ekonometria II
|
60
|
6
|
exam
|
F |
Matematyka ubezpieczeń na życie
|
60
|
6
|
exam
|
F |
Applied Ordinary Differential Equations
|
60
|
6
|
exam
|
F |
Przetwarzanie i wizualizacja danych w SAS
|
60
|
6
|
exam
|
F |
Statystyka w badaniach edukacyjnych
|
60
|
6
|
exam
|
F |
Teoria liczb
|
60
|
6
|
exam
|
F |
Geometryczna teoria nawigacji
|
60
|
6
|
exam
|
F |
Modelowanie ryzyka kredytowego
|
60
|
6
|
exam
|
F |
Przedmioty matematyczne
|
|
|
|
O |
opis powyżej
|
Funkcje analityczne
|
60
|
6
|
exam
|
F |
Jakościowa teoria układów dynamicznych z komputerem
|
60
|
6
|
exam
|
F |
Metody optymalizacji
|
60
|
6
|
exam
|
F |
Miara i całka
|
60
|
6
|
exam
|
F |
Modele matematyki finansowej
|
60
|
6
|
exam
|
F |
Topologia 2
|
60
|
6
|
exam
|
F |
Analiza matematyczna 3
|
120
|
12
|
exam
|
F |
Funkcje rzeczywiste
|
60
|
6
|
exam
|
F |
Topological dynamics and chaos
|
60
|
6
|
exam
|
F |
Przedmioty informatyczne
|
|
|
|
O |
opis powyżej
|
Efektywne programowanie w języku Python
|
60
|
6
|
exam
|
F |
Modelling of atmospheric clouds
|
60
|
6
|
exam
|
F |
Kryptologia
|
60
|
6
|
exam
|
F |
Nauczanie maszynowe
|
60
|
6
|
exam
|
F |
Programowanie abstrakcyjne
|
60
|
6
|
exam
|
F |
Programowanie funkcyjne
|
60
|
6
|
exam
|
F |
Programowanie w logice
|
60
|
6
|
exam
|
F |
Programowanie niskopoziomowe
|
60
|
6
|
exam
|
F |
Programowanie współbieżne
|
60
|
6
|
exam
|
F |
Teoria informacji w nauczaniu maszynowym
|
60
|
6
|
exam
|
F |
Przedmioty humanistyczne lub z dziedziny nauk społecznych
|
|
|
|
O |
opis powyżej
|
Historia matematyki 1
|
30
|
3
|
assessment
|
F |
Psychologia ogólna
|
45
|
2
|
assessment
|
F |
Filozofia
|
60
|
5
|
assessment
|
F |
Seminaria
|
|
|
|
O |
opis powyżej
|
Matematyka obliczeniowa
|
30
|
3
|
assessment
|
F |
Równania różniczkowe i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Matematyka dyskretna
|
30
|
3
|
assessment
|
F |
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Inżynieria danych i oprogramowania
|
30
|
3
|
assessment
|
F |
Inżynieria oprogramowania i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Metody AI
|
30
|
3
|
assessment
|
F |
Modelowanie 3D i animacja komputerowa
|
30
|
3
|
assessment
|
F |
Przetwarzanie obrazów i danych
|
30
|
3
|
assessment
|
F |
Różniczkowa teoria Galois
|
30
|
3
|
assessment
|
F |
Seminarium Katedry Teorii Optymalizacji i Sterowania
|
30
|
3
|
assessment
|
F |
Seminarium kognitywistyczne
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Uczenia Maszynowego
|
30
|
3
|
assessment
|
F |
Testowanie i jakość oprogramowania
|
30
|
3
|
assessment
|
F |
Widzenie komputerowe i rozpoznawanie obrazów
|
30
|
3
|
assessment
|
F |
Analiza Zespolona – Geometryczna Teoria Funkcji
|
30
|
3
|
assessment
|
F |
Geometria przestrzeni Banacha
|
30
|
3
|
assessment
|
F |
Historia matematyki
|
30
|
3
|
assessment
|
F |
Matematyka stosowana
|
30
|
3
|
assessment
|
F |
Metody teorii aproksymacji
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Matematyki Finansowej
|
30
|
3
|
assessment
|
F |
Teoria osobliwości
|
30
|
3
|
assessment
|
F |
Topologia
|
30
|
3
|
assessment
|
F |
Topologia różniczkowa i algebraiczna
|
30
|
3
|
assessment
|
F |
Układy Dynamiczne
|
30
|
3
|
assessment
|
F |
- W ramach bloku przedmiotów fakultatywnych student musi zrealizować co najmniej osiem przedmiotów: siedem przedmiotów kierunkowych (z dziedziny nauk ścisłych) oraz co najmniej jeden z dziedziny nauk humanistycznych lub społecznych. Za zgodą kierownika kierunku student może realizować przedmiot spoza powyższej listy, o ile pokrywa on efekty uczenia się na kierunku Matematyka komputerowa. W szczególności, dowolny z przedmiotów oferowanych przez Wydział Matematyki i Informatyki UJ, który nie jest przedmiotem obowiązkowym na I i II stopniu MK, może być przedmiotem fakultatywnym. Żaden przedmiot nie może zostać zaliczony dwukrotnie – w toku studiów I i II stopnia łącznie.
- Student jest zobowiązany do zaliczenia co najmniej pięciu przedmiotów z list Przedmiotów matematycznych i informatycznych, w tym co najmniej jednego przedmiotu matematycznego za co najmniej 6 ECTS, co najmniej dwóch informatycznych za co najmniej 12 ECTS. Student musi zaliczyć przedmiot(y) humanizujące (z listy Przedmiotów humanistycznych lub z dziedziny nauk społecznych) za co najmniej 5 ECTS.
- Student musi zaliczyć sześć semestralnych seminariów z dziedziny nauk ścisłych (z listy Seminariów): po jednym w semestrach 1. i 2. oraz po dwa w semestrach 3. i 4. Każde seminarium może być wybierane wielokrotnie.
- Warunkiem koniecznym przystąpienia do egzaminu dyplomowego jest napisanie pracy dyplomowej na wybrany przez studenta i uzgodniony z opiekunem naukowym temat. Opiekun naukowy prowadzi indywidualne konsultacje zakończone akceptacją napisanej przez studenta pracy. Opiekun naukowy może wymagać od studenta zaprezentowania pracy na wybranym forum (np. seminarium).
- W każdym roku student musi uzyskać co najmniej 60 ECTS, zatem zalecany rozkład przedmiotów fakultatywnych kierunkowych na semestry jest następujący:
* semestr 1: 120 godzin(12 ECTS)
* semestr 3: 240 godzin (24 ECTS)
* semestr 4: 60 godzin (6 ECTS)
Niektóre z powyższych przedmiotów w danym roku akademickim mogą nie zostać uruchomione.
Student jest zobowiązany zrealizować w całym toku studiów przynajmniej jeden kurs w języku obcym.
Konsultacje indywidualne
|
10
|
16
|
assessment
|
O |
Wydziałowe kursy do wyboru
|
|
|
|
F |
opis powyżej
|
Algebra dla Informatyków
|
60
|
6
|
exam
|
F |
Algorytmiczna Teoria Gier
|
60
|
6
|
exam
|
F |
Algorytmika Problemow Trudnych
|
60
|
6
|
exam
|
F |
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 Równoległe
|
60
|
6
|
exam
|
F |
Algorytmy Tekstowe
|
60
|
6
|
exam
|
F |
Finite Model Theory
|
60
|
6
|
exam
|
F |
Kombinatoryka struktur porządkowych
|
60
|
6
|
exam
|
F |
Laboratorium Sieci Neuronowych 1
|
30
|
3
|
assessment
|
F |
Laboratorium Sieci Neuronowych 2
|
30
|
3
|
assessment
|
F |
Optymalizacja Dyskretna
|
60
|
6
|
exam
|
F |
SAT solvery
|
60
|
6
|
exam
|
F |
Strukturalna Teoria Grafów
|
60
|
6
|
exam
|
F |
Systemy rozproszone
|
60
|
6
|
exam
|
F |
Sztuczna inteligencja - podejście współczesne
|
60
|
6
|
exam
|
F |
Teoria Informacji
|
60
|
6
|
exam
|
F |
Uczenie maszynowe
|
60
|
6
|
exam
|
F |
Analiza obrazów medycznych
|
60
|
6
|
exam
|
F |
Applied deep learning
|
60
|
6
|
exam
|
F |
Systemy baz danych NoSQL
|
60
|
6
|
exam
|
F |
Bezpieczeństwo systemów komputerowych
|
60
|
6
|
exam
|
F |
Biometria
|
60
|
6
|
exam
|
F |
Cognitive systems
|
60
|
6
|
exam
|
F |
Deep learning z zastosowaniami w NLP
|
60
|
6
|
exam
|
F |
Geometria obliczeniowa
|
60
|
6
|
exam
|
F |
Grafika komputerowa
|
60
|
6
|
exam
|
F |
Human-Computer communication
|
60
|
6
|
exam
|
F |
Hurtownie danych w systemie SAS
|
60
|
6
|
exam
|
F |
Informatyka śledcza
|
60
|
6
|
exam
|
F |
Numeryczne rozwiązywanie równań różniczkowych cząstkowych
|
60
|
6
|
exam
|
F |
Programowanie urządzeń mobilnych – Android
|
60
|
6
|
exam
|
F |
Przetwarzanie grafiki i muzyki
|
60
|
6
|
exam
|
F |
Rozproszone i mobilne bazy danych
|
60
|
6
|
exam
|
F |
Selected Topics in Blockchain Technology and Distributed Ledgers
|
60
|
6
|
exam
|
F |
Sieci neuronowe
|
60
|
6
|
exam
|
F |
Rozpoznawanie obrazów
|
60
|
6
|
exam
|
F |
Basic Differential Topology
|
60
|
6
|
exam
|
F |
Ergodic Theory II: multiple recurrence and joinings
|
60
|
6
|
exam
|
F |
Matematyka ubezpieczeń majątkowych
|
60
|
6
|
exam
|
F |
Homotopijne własności grup Liego - kurs elementarny
|
60
|
6
|
exam
|
F |
HSBC Quants Academy
|
60
|
6
|
exam
|
F |
Quantitative methods and applications
|
60
|
6
|
exam
|
F |
Complex analytic geometry 2
|
60
|
6
|
exam
|
F |
Medial axis and singularities
|
60
|
6
|
exam
|
F |
Algebra komputerowa
|
60
|
6
|
exam
|
F |
Arbitrage Pricing of Financial Derivatives
|
60
|
6
|
exam
|
F |
Wstęp do inżynierii finansowej
|
60
|
6
|
exam
|
F |
Modele statystyczne z wykorzystaniem narzędzi SAS
|
60
|
6
|
exam
|
F |
Wstęp do próbkowania oszczędnego
|
60
|
6
|
exam
|
F |
Nowoczesna teoria całki
|
60
|
6
|
exam
|
F |
Wprowadzenie do analizy niearchimedesowej
|
60
|
6
|
exam
|
F |
Słabe rozwiązania równań różniczkowych cząstkowych
|
60
|
6
|
exam
|
F |
Ekonomia menedżerska
|
60
|
6
|
exam
|
F |
Ekonometria dynamiczna i finansowa
|
60
|
6
|
exam
|
F |
Topologia ujarzmiona: geometria o-minimalna
|
60
|
6
|
exam
|
F |
Analiza stochastyczna
|
60
|
6
|
exam
|
F |
Sterowanie stochastyczne w czasie ciągłym
|
60
|
6
|
exam
|
F |
Topologiczna teoria punktów stałych
|
60
|
6
|
exam
|
F |
Foundations of homology theory
|
60
|
6
|
exam
|
F |
Teoria operatorów III
|
60
|
6
|
exam
|
F |
Języki programowania do przetwarzania danych
|
60
|
6
|
exam
|
F |
Funkcje specjalne. Wybrane zagadnienia
|
60
|
6
|
exam
|
F |
Łańcuchy Markowa i zastosowania
|
60
|
6
|
exam
|
F |
Wstęp do kryptografii matematycznej
|
60
|
6
|
exam
|
F |
Topologia w analizie danych i dynamice
|
60
|
6
|
exam
|
F |
Przedmioty matematyczne
|
|
|
|
O |
opis powyżej
|
Analiza danych statystycznych w systemie SAS
|
60
|
6
|
exam
|
F |
Computational Algebraic Group Theory
|
30
|
2
|
exam
|
F |
Dynamika symboliczna i kody
|
60
|
6
|
exam
|
F |
Modelowanie matematyczne
|
60
|
6
|
exam
|
F |
Wybrane zagadnienia analizy funkcji jednej zmiennej rzeczywistej
|
60
|
6
|
exam
|
F |
Przedmioty informatyczne
|
|
|
|
O |
opis powyżej
|
Modelling of atmospheric clouds
|
60
|
6
|
exam
|
F |
Kodowanie informacji
|
60
|
6
|
exam
|
F |
Modelowanie obiektowe
|
60
|
6
|
exam
|
F |
Programowanie niskopoziomowe
|
60
|
6
|
exam
|
F |
Wprowadzenie do kognitywistyki
|
60
|
6
|
exam
|
F |
Effective and modern C++ programming
|
60
|
6
|
exam
|
F |
Przedmioty humanistyczne lub z dziedziny nauk społecznych
|
|
|
|
O |
opis powyżej
|
Historia matematyki 2
|
30
|
3
|
assessment
|
F |
Psychologia
|
60
|
5
|
assessment
|
F |
Seminaria
|
|
|
|
O |
opis powyżej
|
Matematyka obliczeniowa
|
30
|
3
|
assessment
|
F |
Równania różniczkowe i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Matematyka dyskretna
|
30
|
3
|
assessment
|
F |
Algebra i Logika w Informatyce
|
30
|
3
|
assessment
|
F |
Algorytmy Randomizowane i Aproksymacyjne
|
30
|
3
|
assessment
|
F |
Informatyka Teoretyczna
|
30
|
3
|
assessment
|
F |
Optymalizacja Kombinatoryczna
|
30
|
3
|
assessment
|
F |
Inżynieria danych i oprogramowania
|
30
|
3
|
assessment
|
F |
Inżynieria oprogramowania i zagadnienia pokrewne
|
30
|
3
|
assessment
|
F |
Metody AI
|
30
|
3
|
assessment
|
F |
Przetwarzanie obrazów i danych
|
30
|
3
|
assessment
|
F |
Różniczkowa teoria Galois
|
30
|
3
|
assessment
|
F |
Seminarium Katedry Teorii Optymalizacji i Sterowania
|
30
|
3
|
assessment
|
F |
Seminarium kognitywistyczne
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Uczenia Maszynowego
|
30
|
3
|
assessment
|
F |
Sieci komputerowe
|
30
|
3
|
assessment
|
F |
Testowanie i jakość oprogramowania
|
30
|
3
|
assessment
|
F |
Widzenie komputerowe i rozpoznawanie obrazów
|
30
|
3
|
assessment
|
F |
Zaawansowana organizacja komputerów
|
30
|
3
|
assessment
|
F |
Analiza Zespolona – Geometryczna Teoria Funkcji
|
30
|
3
|
assessment
|
F |
Geometria przestrzeni Banacha
|
30
|
3
|
assessment
|
F |
Historia matematyki
|
30
|
3
|
assessment
|
F |
Matematyka stosowana
|
30
|
3
|
assessment
|
F |
Metody teorii aproksymacji
|
30
|
3
|
assessment
|
F |
Seminarium Zakładu Matematyki Finansowej
|
30
|
3
|
assessment
|
F |
Teoria osobliwości
|
30
|
3
|
assessment
|
F |
Topologia
|
30
|
3
|
assessment
|
F |
Topologia różniczkowa i algebraiczna
|
30
|
3
|
assessment
|
F |
Układy Dynamiczne
|
30
|
3
|
assessment
|
F |