Przedmioty obieralne dla informatyki (grupa przedmiotów zdefiniowana przez Wydział Matematyki, Informatyki i Mechaniki)

Semestr zimowy 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Wykład ten łączy elementy strukturalnej teorii grafów, algorytmów parametryzowanych, oraz teorii modeli skończonych.

Wątkiem przewodnim wykładu są wyniki algorytmiczne, nazywane “algorytmicznymi meta-twierdzeniami”, które mówią, że całe rodziny problemów algorytmicznych można rozwiązać efektywnie na instancjach o szczególnej strukturze. Zazwyczaj będziemy rozważali problemy grafowe dla grafów o szczególnej strukturze. Przykładowo, każdy problem obliczeniowy, który można opisać zdaniem logiki pierwszego rzędu, można rozwiązać w czasie liniowym na wszystkich grafach planarnych, lub na wszystkich grafach o ustalonym maksymalnym stopniu wierzchołków. Wynik ten można uogólnić na różne inne klasy grafów (w tym klasy nigdziegęste, oraz klasy monadycznie stabilne) czy inne logiki.

Wykład prowadzony po angielsku.

Semestr letni 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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

Semestr zimowy 2025/26

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.

Semestr letni 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Przedmiot poświęcony jest teoretycznym aspektom obliczania najkrótszych ścieżek w grafach, wykraczającym poza zakres podstawowych przedmiotów algorytmicznych. Omówimy niektóre z najważniejszych teoretycznych osiągnięć ostatnich dekad w tym zakresie: algorytmy skalujące w przypadku ujemnych wag, wyrocznie odległości, algorytmy dynamiczne i równoległe, ograniczenia dolne. Spojrzymy również na zastosowania tychże i związki z innymi fundamentalnymi problemami algorytmicznymi na grafach.

Semestr zimowy 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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.

Semestr letni 2025/26

• Laboratorium - 30 godzin
• Wykład - 30 godzin

Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.

Semestr letni 2025/26

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.

Semestr letni 2024/25

• Laboratorium - 30 godzin
• Wykład - 30 godzin

Przedstawienie głównych zagadnień w dziedzinie eksploracji danych (data mining) i metod ich rozwiązywania; omówienia podstawowych algorytmów i ich efektywnych realizacji na dużych zbiorach danych dla trudnych problemów takich, jak reguły asocjacyjne, redukty, dyskretyzacja atrybutów ciągłych, wzorce czasowe, drzewo decyzyjne; przedstawienie nowoczesnych technik obliczeń takich, jak równoległe przetwarzania, obliczenia ewolucyjne, heurystyki za pomocą standardowych baz danych lub logicznie zbudowanych struktur danych.

Semestr letni 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Semestr letni 2025/26

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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.

Semestr letni 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

The course gives an introduction to extremal graph theory, a branch of graph theory which studies how global parameters of a graph, such as its edge density or chromatic number, can influence its local substructures (for instance, how many edges can a graph on n vertices have without containing a triangle).

After introducing the basic results and tools of the subject, the course will focus on the celebrated Szeméredi regularity lemma and its applications, and in the last part of the lecture we will introduce modern and interesting theory of graph limits.

Note: Course is given in English.

Semestr letni 2024/25

• Laboratorium - 30 godzin

Przedmiot ma na celu przedstawienie zaawansowanych mechanizmów programowania funkcyjnego z typami zależnymi na przykładzie tworzenia klienta i serwera protokołu sieciowego. Na zajęciach wykorzystywane będzie programowanie funkcyjne w OCamlu wzbogacone o elementy weryfikacji funkcyjnych własności wykonywane w Coq-u.

Semestr zimowy 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Analiza wybranych problemów geometrii obliczeniowej i metod, które je rozwiązują (zamiatanie, dziel i rządź, prune and search, dualizacja itp..). Teoria i zastosowania.

Semestr zimowy 2024/25

• Laboratorium - 30 godzin
• Wykład - 30 godzin

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.

Semestr letni 2024/25

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Handel elektroniczny jest jednym z podstawowych zastosowań technologii internetowej. Tworzenie zaawanasowanych rozwiązań w tej dziedzinie wymaga nie tylko umiejętności informatycznych, ale także wiedzy z zakresu toerii gier, ekonomii i innych nauk społecznych.

Podczas zajęc przedstawiony zostaną najważniejsze zagadnienia dotyczące handlu elektronicznego, w tym: tworzenie optymalnych mechanizmów wyboru, projektowanie aukcji, aukcje kombinatoryczne, itp.

Wiele technik omawianych na wykładzie wykorzystywane jest przy tworzeniu usług i oprogramowania najwiekszych firm z branży IT, takich jak, na przykład, Google, Ebay czy Microsoft (Yahoo).

Semestr zimowy 2025/26

• Laboratorium - 30 godzin
• Wykład - 30 godzin

Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.