Przedmioty obieralne fakultatywne dla informatyki (IIIr. licencjatu, nowy 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-2N00ALG | brak |
 
|
brak |
|
Zajęcia przedmiotu
Semestr letni 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-specjalność Ekonomia algorytmiczna
Skrócony opis
Wykład jest kontynuacją wykładu "Algorytmy i struktury danych". Celem zajęć jest zaznajomienie studentów z technikami konstrukcji efektywnych algorytmów dla różnych rodzajów problemów kombinatorycznych. Wymagania wstępne: Algorytmy i struktury danych |
|
||
| 1000-2M23ALE | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Wykład dotyczy zagadnień z pogranicza informatyki, sztucznej inteligencji i ekonomii. Omawiane będą najważniejsze zagadnienia z teorii gier (kooperacyjnych i niekooperacyjnych), teorii wyboru społecznego, teorii mechanizmów i analizy sieci społecznych. Wykład będzie się koncentrował na algorytmach i rozwiązaniach o dużym praktycznym znaczeniu. |
|
||
| 1000-317bDNN |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Celem zajęć jest przybliżenie studentom praktycznej wiedzy z zakresu głębokich sieci neuronowych. W trakcie kursu przedstawione zostaną wykorzystywane obecnie techniki, algorytmy oraz narzędzia. Poruszane metody są stosowane między innymi do problemów z dziedziny rozpoznawania obrazów i przetwarzania języka naturalnego. |
|
||
| 1000-2M15ZTA |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Automaty nad słowami nieskończonymi, drzewami i innymi strukturami wejściowymi. Niestandardowe mechanizmy kontroli: automaty ważone/probabilistyczne, stratne, współbieżne, czasowe. Związki pomiędzy automatami, grami i logikami. Algorytmiczna (nie)rozstrzygalność problemów decyzyjnych. |
|
||
| 1000-217bLOG |
Logika dla informatyków (od 2025-10-01)
|
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-2M24MNU |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Metody numeryczne zajmują się konstrukcją, analizą i implementacją algorytmów rozwiązywania zadań obliczeniowych o fundamentalnym znaczeniu w niemal wszystkich obszarach wiedzy. Dziedzina jest bardzo obszerna, dlatego w tym wykładzie skoncentrujemy się na tematach związanych z informatyką. |
|
||
| 1000-2M24PFU | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
|
|
||
| 1000-2M24SWP |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie znaczenia, a także podstawowych problemów, technik i zastosowań formalnego opisywania programów. Wykład omawia różne metody definiowania semantyki programów, ich niezbędne podstawy i techniki matematyczne oraz wprowadza podstawowe pojęcia poprawności programów wraz metodami i formalizmami jej dowodzenia. Zajęcia laboratoryjne ilustrują wykorzystanie tych metod w praktyce projektowej i programistycznej. |
|
||
| 1000-2N03TI |
Teoria informacji (od 2025-10-01)
|
|
brak | brak |
|
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej - specjalność Algorytmika
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej- specjalność Automaty, logika, złożoność
- (od 2025-10-01) Grupa przedmiotów obieralnych dla informatyki magisterskiej - specjalność Kryptografia
Skrócony opis
Wprowadzenie w teorię przydatną w wielu zastosowaniach informatyki, jak m.in. w kryptografii, przy modelowaniu języka naturalnego, czy w bio-informatyce. Teoria ta określa ilościowe miary informacji zawartej w zmiennej losowej lub w ciągu bitów. Wprowadza także kryteria optymalnego kompresowania (kodowania) informacji i przesyłania wiadomości przez niepewny kanał. W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku. |
|
|
| 1000-2N03BO | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Celem zajęć jest zapoznanie studentów mających przygotowanie informatyczne i matematyczne z problemami współczesnej biologii obliczeniowej. Tematyka jest skupiona na analizie sekwencji białek i kwasów nukleinowych. Przedstawione zostaną klasyczne modele matematyczne i metody obliczeniowe stosowane w opisie sekwencji molekularnych. W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku. |
|
||
| 1000-2M24WCK |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Kurs podejmuje próbę szerokiego ujęcia tematyki cyberbezpieczeństwa. Na wykładzie zostaną opisane aspekty teoretyczne: podstawy matematyczne i kryptografia (zarówno protokoły klasyczne, współczesne, jak i potencjalnie przyszłościowe), a na laboratorium - praktyczne: rzeczywiste techniki ataków i sposoby obrony przed nimi. |
|
||
| 1000-2N09ZBD | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Przedmiot będzie poświęcony rozmaitym zagadnieniom bazodanowym, które nie zmieściły się w kursie podstawowym z baz danych. Co więcej, problematyka baz danych jest tak obszerna, że nie zmieściłaby się w żadnym kursie podstawowym. Tematami wykładów będzie strojenie relacyjnych baz danych, odwzorowanie obiektowo-relacyjne, kolumnowe bazy danych, bazy NOSQL (słownikowe, szerokolumnowe, dokumentowe i grafowe), zaawansowane programowanie składowane na serwerach baz danych oraz rozproszone bazy danych. |
|
||
| 1000-2M08ZPI |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Kształtowanie umiejętności zarządzania projektami informatycznymi. Posługiwanie się pojęciami z dziedziny zarządzania projektami. |
|
||
