Zajęcia I2.T (teoria informatyki). Zajęcia odbywają się we wtorki
w godzinach 14:15–18:00 w sali 141. Wykład jest prowadzony według
książki Chrisa Okasaki Purely Functional Data Structures, CUP 1999.
- Teacher: Tomasz Wierzbicki
Materiały pomocnicze do wykładu analizy numerycznej.
- Teacher: Filip Chudy
- Teacher: Przemysław Gospodarczyk
- Teacher: Witold Karczewski
- Teacher: Rafał Nowak
- Teacher: Paweł Woźny
Computational photography is a relatively new field at the convergence of photography, computer vision, image processing, and computer graphics. Its goal is to overcome the limitations of traditional photography by using computational techniques to enhance the way we capture, manipulate, and interact with visual media. This course covers fundamentals and applications of hardware and software techniques, with emphasis on software methods. We will study many interesting, recent image-based algorithms and implement them to the degree that is possible.
more information: franchomelendez.com/index.php/teaching/computational-photography/
- Teacher: Francisco Melendez Blas
- Teacher: Zdzisław Płoski
Przedmiot Informatyczny 1 (dla studentów studiów I stopnia). Wykłady
odbywają się w poniedziałki w godzinach 16:15–18:00 i środy w godzinach
14:15–16:00 w sali 119. Wieczorki Bezpieczeństwa odbywają się w poniedziałki
w godzinach 18:15–20:00 w sali 119. Opis zajęć.
- Teacher: Andrzej Łukaszewski
- Teacher: Jan Otop
- Teacher: Tomasz Wierzbicki
- Teacher: Witold Charatonik
- Teacher: Tomasz Wierzbicki
- Teacher: Jerzy Marcinkowski
- Teacher: Jakub Michaliszyn
Półsemestralny kurs obejmuje naukę podstaw programowania równoległego kart graficznych w oparciu o bibliotekę CUDA firmy NVIDIA. Współczesne karty graficzne zawierają coraz większą moc obliczeniową w postaci wielu równoległych jednostek obliczeniowych i są wykorzystywane nie tylko do generowania grafiki. Biblioteka CUDA umożliwia programowanie kart graficznych przy pomocy rozszerzeń języka C. Głównym celem kursu jest nabycie umiejętności programowania równoległego w technologii CUDA zagadnień nie tylko związanych z grafiką komputerową. W tym celu konieczne jest poznanie architektury współczesnych kart graficznych i ograniczeń które wpływają na wybór algorytmu i sposób implementacji na karcie graficznej.
- Teacher: Andrzej Łukaszewski
Zestaw informacji i porad dla studentów rozpoczynających studia na kierunkach Informatyka oraz ISIM.
- Redaktor strony: Małgorzata Biernacka
Wykład z podstaw grafiki komputerowej wprowadza podstawowe metody i niezbędną teoretyczną wiedzę umożliwiając efektywne programowanie grafiki z użyciem kart graficznych. W części praktycznej na pracowni uczymy się programować w nowoczesnej wersji OpenGL (wersja 3.3 lub nowsza).
- Teacher: Andrzej Łukaszewski
This course provides students with a deep, working understanding of the essential concepts of programming languages. It offers both an analytic view of the semantics of programming constructs and a hands-on approach to the executable semantics.
- Teacher: Dariusz Biernacki
Wykład jest wprowadzeniem do projektowania układów cyfrowych przy użyciu języka opisu sprzętu Verilog oraz ich implementacji na układach FPGA. W ramach zajęć student nauczy się również metod testowania sprzętu oraz zapozna się z podstawami formalnej weryfikacji układów cyfrowych.
- Teacher: Marek Materzok
- Teacher: Jan Chorowski
- Teacher: Marek Materzok
- Teacher: Cezary Siwek
Projekt mający na celu utworzenie bota konwersującego będącego wizytówką Instytutu Informatyki
- Teacher: Paweł Rychlikowski
Zajęcia odbywają się w piątki w sali 140 w godzinach 8:15–12:00. Opis zajęć.
- Teacher: Rafał Cieślak
- Teacher: Mateusz Markiewicz
This seminar is a continuation of the course "Software foundations in Coq," and its main objective is to provide a forum for presenting and discussing a wide range of topics related to program certification in the Coq proof assistant.
- Teacher: Dariusz Biernacki
Celem seminarium jest pogłębienie znajomości tematyki związanej z:
- maszynami do obliczeń równoległych,
- pamięciami komputerowymi,
- mikroarchitekturą procesorów,
- algorytmami arytmetyki komputerowej.
- Teacher: Krystian Bacławski
Seminarium na którym będą omawiane różne tematy związane z wykorzystywaniem (dużych) zbiorów tekstów.
- Teacher: Paweł Rychlikowski
Kurs jest przeznaczony dla studentów, którzy chcą zrozumieć w detalach co robi komputer pod kontrolą systemu operacyjnego. Będziemy szczegółowo omawiać najpopularniejsze abstrakcje dostarczane przez SO. Poznamy również niektóre detale implementacji systemów uniksowych z rodziny BSD. Wykład będzie prowadzony na podstawie książki Tanenbauma wzbogacanej doświadczeniami prowadzącego w implementacji SO.
- Teacher: Krystian Bacławski
Podstawy budowy i testowania systemów wbudowanych opartych o platformę Arduino.
- Teacher: Marek Materzok
- Teacher: Łukasz Piwowar
Wykład ma na celu przedstawienie metod sztucznej inteligencji wykorzystywanych na potrzeby gier. Omówimy algorytmy służące do grania w gry, proceduralnego generowania ich zawartości oraz wykorzystywane w silnikach gier. .
- Teacher: Jakub Kowalski
- Teacher: Krzysztof Piecuch
- Teacher: Marek Szykuła
Wprowadzenie do programowania wykorzystujące miły i sympatyczny język Python
- Teacher: Michał Gańczorz
- Teacher: Jakub Kowalski
- Teacher: Paweł Rychlikowski
- Teacher: Filip Sieczkowski