Przedmioty obieralne stałe dla informatyki (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-2N09ALT |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Wykład jest poświęcony omówieniu podstawowych metod projektowania i analizowania algorytmów związanych z tekstami. Zasadniczym problemem będzie zrozumienie struktury wielu skomplikowanych algorytmów oraz różnego typu techniki algorytmiczne i struktury danych (drzewa sufiksowe, grafy podsłów). Teksty są prostym a jednocześnie powszechnym typem informacji, ale będą rozważane zarówno standardowe teksty (jako ciągi symboli), jak również bardziej strukturalne formy: teksty dwuwymiarowe (związki z grafiką) i drzewa etykietowane (struktury występujące w XML i biologii obliczeniowej). Klasyczne problemy algorytmiczne związane są z szukaniem (lub wykrywaniem) wzorca, regularnością i kompresją tekstów. Ponadto rozważymy problemy związane z biologią obliczeniową (uliniowienie, drzewa ewolucyjne) oraz ze "stringologią" fraktali dwuwymiarowych. Wiele ciekawych tekstów jest zadanych w formie skompresowanej, rozmiar rzeczywistego tekstu może być wykładniczy w stosunku do rozmiaru n jego opisu. |
|
||
| 1000-2N09KDW | brak | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
Skrócony opis
Podstawy kompresji tekstów i obrazów. Uniwersalne metody kompresji. |
|
||
| 1000-2N00PLO |
|
brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Celem zajęć jest zapoznanie studentów z podstawami programowania w logice. Na wykładzie zostanie przedstawiona składnia i semantyka (deklaratywna i operacyjna) programów w logice oraz omówiona kwestia poprawności i pełności mechanizmu obliczeniowego stosowanego w programowaniu w logice. Na laboratorium studenci poznają podstawowe techniki programowania w logice. |
|
||
| 1000-2N09SUS | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Systemy uczące się muszą być zdolne do wyciągnięcia wniosków z doświadczeń, obserwacji i danych historycznych. Ta zdolność powinna doprowadzić do możliwości automatycznego poprawiania się systemu i tym samym zwiększa efektywności i skuteczności. Wykład będzie wstępem do podstaw systemów uczących się. Będziemy się zajmować wiele modeli uczenia opartego o przykłądy, w tym metod drzew decyzyjnych, sieci neuronowych, klasyfikatory Bayesowskie, i itp. To pozwoli nam zrozumieć niektóre problemy i wyzwania dla systemów uczących się, takie jak problem uogólnienia i obciążenia (bias) klasyfikatorów, overfitting, problem wyboru modelu, selekcja cech, wyuczalność, itp. |
|
||
| 1000-2N00SID | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Przedmiot ma na celu zaznajomienie studentów z inteligentnymi technikami stosowanymi do rozwiązywania problemów, które są trudne lub niepraktyczne przy zastosowaniu typowych metod programistycznych. Zajęcia przedstawiają w związku z tym między innymi metody heurystyczne, aproksymacyjne, randomizowane, bazujące na wnioskowaniu dedukcyjnym i indukcyjnym, często modelowanym poprzez analogię do tego, w jaki sposób problemy rozwiązują ludzie. Główne tematy obejmują także inteligentne metody przeszukiwania dużych przestrzeniach stanów i rozwiązań, inteligentne strategie w grach, wnioskowanie w logice i logiczne podstawy planowania, podstawy uczenia maszynowego powiązane ze sztuczną inteligencja, podstawy modelowania niepewności, jak również różne zastosowania specjalistyczne. |
|
||
| 1000-2N03TI |
|
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) Przedmioty obieralne fakultatywne dla informatyki (IIIr. licencjatu, nowy program)
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-2N09WSS | brak |
|
|
brak |
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Wykład jest poświęcony omówieniu podstawowych metod modelowania i wnioskowania, stosowanych przy tworzeniu systemów inteligentnych. Przedstawia przeglądowo wybrane zastosowania wybranych formalizmów logicznych w planowaniu, bazach danych, reprezentacji wiedzy, semantycznym Internecie, systemach autonomicznych itp. Daje umiejętność modelowania oraz wiedzę o najważniejszych technikach automatycznego wnioskowania używanych w omawianych zastosowaniach. Dyskutowane są także wybrane silniki regułowe, stosowane jako narzędzia wnioskowania. |
|
||
| 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-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-2N09ZSO | brak |
|
brak |
|
Zajęcia przedmiotu
Semestr letni 2024/25
Grupy przedmiotu
Skrócony opis
Wykład jest gorąco zalecany studentom, którzy zamierzają w przyszłości uczestniczyć w seminarium magisterskim 'Systemy rozproszone', które w części obejmuje zagadnienia systemów operacyjnych, w tym rozproszonych systemów operacyjnych. Przedmiot jest realizowany poprzez wykład i laboratorium. Zamierzamy razem ze studentami przyjrzeć się dokładnie budowie konkretnego systemu operacyjnego. Przykładem omawianym na zajęciach jest Linux, który jest nowoczesnym systemem, popularnym u nas na wydziale, często stosowanym jako platforma serwerowa, ale także na stacjach roboczych, komórkach, jako system wbudowany. Linux jest dostępny w postaci źródeł co pozwala na dokładnie przyjrzenie się zastosowanym w nim algorytmom, strukturom danych, a także samodzielne eksperymentowanie i prowadzenie badań w dziedzinie systemów operacyjnych. |
|
||
