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.
2023Z - Semestr zimowy 2023/24 2023L - Semestr letni 2023/24 2024Z - Semestr zimowy 2024/25 2024L - Semestr letni 2024/25 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | |||||||
---|---|---|---|---|---|---|---|---|
2023Z | 2023L | 2024Z | 2024L | |||||
1000-2N00ALG | brak | brak |
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
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 2023/24
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 2023/24
Grupy przedmiotu
Skrócony opis
Podstawy kompresji tekstów i obrazów. Uniwersalne metody kompresji. |
|
|||
1000-2N00PLO | brak | brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
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 2023/24
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 2023/24
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 2023/24
Grupy przedmiotu
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 2023/24
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. Prezentacja poszczególnych zagadnień jest oparta o konkretne zastosowania poprzez omawianie studiów przypadków. |
|
||||
1000-2N03BO | brak | brak |
Zajęcia przedmiotu
Semestr letni 2023/24
Grupy przedmiotu
Skrócony opis
Celem zajęć jest zapoznanie studentów z tematyką intensywnie rozwijanej ostatnio dziedziny jaką jest molekularna biologia obliczeniowa. Na wykładzie zostanie położony nacisk na metody algorytmiczne analizy danych genetycznych oraz modele matematyczne stosowane w opisie zjawisk molekularnych. Wykład umożliwi udział w innych zajęciach monograficznych z tej dziedziny proponowanych na wydziale i ewentualne zaangażowanie się w prowadzone projekty badawcze. W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku. |
|
||||
1000-2N09ZBD | brak | brak |
Zajęcia przedmiotu
Semestr zimowy 2023/24
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 2023/24
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. |
|
||||