Przedmioty obowiązkowe dla I roku studiów 2 stopnia na kierunku informatyka (stary program) (grupa przedmiotów zdefiniowana przez Wydział Matematyki, Informatyki i Mechaniki)
|
Legenda
Jeśli przedmiot jest prowadzony w danym cyklu dydaktycznym, to w odpowiedniej komórce pojawi się koszyk rejestracyjny. Ikona koszyka zależy od tego, czy możesz się rejestrować na dany przedmiot.
- nie jesteś zalogowany 
- aktualnie nie możesz się rejestrować 
- możesz się zarejestrować 
- możesz się wyrejestrować (lub wycofać prośbę) 
- złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać) 
- jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.
2024Z - Semestr zimowy 2024/25 2024L - Semestr letni 2024/25 2025Z - Semestr zimowy 2025/26 2025L - Semestr letni 2025/26 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | |||||||
|---|---|---|---|---|---|---|---|---|
| 2024Z | 2024L | 2025Z | 2025L | |||||
| 1000-217bIII |
 
|
brak | brak | brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Przedmiot stanowi platformę, na której studenci prezentują idee potencjalnie mogące stać się zalążkiem przyszłego przedsięwzięcia biznesowego. Prezentacje będą uzupełnione przez wykłady dotyczące uwarunkowań społecznych, prawnych i gospodarczych związanych z prowadzeniem przedsiębiorstwa informatycznego. |
|
||
| 1000-217bLOG | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specj. Automaty, logika, złożoność
- (od 2025-10-01) Przedmioty obieralne fakultatywne dla informatyki (IIIr. licencjatu, nowy program)
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Wprowadzenie do logiki zdaniowej i logiki pierwszego rzędu: elementy teorii modeli, elementy teorii dowodu, rola w informatyce. Inne logiki ważne w informatyce. Przedmiot ma dwa warianty. W pierwszym z nich zajęcia mają charakter bardziej praktyczny i prowadzone są wraz z laboratorium, w drugim – zajęcia mają pogłębiony charakter teoretyczny. |
|
||
| 1000-217bMRJ |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Przegląd podstawowych zagadnień i technik tworzenia interpreterów i kompilatorów dla języków programowania. Najważniejszymi tematami omawianymi na wykładzie są metody analizy semantycznej oraz generacji i optymalizacji kodu dla różnych maszyn docelowych (JVM, LLVM, asembler). Przydatna będzie wiedza wyniesiona z przedmiotu Języki i Paradygmaty Programowania (lub równoważnego). Absolwenci kursu powinni umieć stworzyć kompilator dla prostego języka programowania. |
|
||
| 1000-217bPSC |
Professional Skills in Computer Science (od 2025-10-01)
|
brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Algorytmika
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specj. Automaty, logika, złożoność
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Ekonomia algorytmiczna
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Kryptografia
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Systemy informatyczne
- (od 2025-10-01) Przedmioty obowiązkowe dla I roku studiów 2 stopnia na kierunku informatyka (stary program)
- (od 2025-10-01) Przedmioty obowiązkowe dla I roku Machine Learning
Skrócony opis
Redakcja tekstów naukowych, właściwy dobór źródeł, przygotowani i wygłaszanie prezentacji. Najważniejsze problemy prawne i etyczne w prowadzeniu badań w dziedzinie informatyki. Projektowanie interfejsów (user experience) i przeprowadzanie badań z udziałem użytkowników (user studies). |
|
|
| 1000-218bZO |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Algorytmika
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specj. Automaty, logika, złożoność
- (od 2025-10-01) Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Kryptografia
- (od 2025-10-01) Przedmioty obieralne dla informatyki i ML
Skrócony opis
Teoria złożoności jest dziedziną komplementarną do algorytmiki. Podczas gdy algorytmika dostarcza najbardziej ekonomicznych rozwiązań problemów obliczeniowych, teoria złożoności tłumaczy, dlaczego niektóre problemy okazują się odporne na próby znalezienia dobrych algorytmów i klasyfikuje problemy obliczeniowe ze względu na ich trudność. Ocenia także walory różnych wzbogaceń tradycyjnego modelu obliczeń, jak obliczenia zrandomizowane, równoległe, interakcyjne, czy kwantowe. |
|
||
