Seminarium jest przeznaczone przede wszystkim dla studentów, którzy biorą lub zamierzają brać udział w zawodach informatycznych dotyczących bezpieczeństwa komputerowego, takich jak Capture the Flag. Zajęcia odbywają się w piątki w godzinach 12:15–14:00 w sali 119.
- Nauczyciel: Wojciech Balik
- Nauczyciel: Jan Góra
- Nauczyciel: Maciej Korpalski
- Nauczyciel: Stanisław Koza
- Nauczyciel: Mateusz Maciejewski
- Nauczyciel: Jan Mazur
- Nauczyciel: Marcin Bieńkowski
- Nauczyciel: Paweł Schmidt
- Nauczyciel: Paweł Gawrychowski
Celem zajęć jest przedstawienie podstawowych metod i algorytmów rozwiązywania typowych zadań obliczeniowych. Omawiane zagadnienia mają wielorakie zastosowania m.in. w obliczeniach naukowych czy grafice komputerowej.
- Nauczyciel: Filip Chudy
- Nauczyciel: Witold Karczewski
- Nauczyciel: Rafał Nowak
- Nauczyciel: Paweł Woźny
Materiały pomocnicze do wykładu analizy numerycznej (M).
- Nauczyciel: Rafał Nowak
- Nauczyciel: Piotr Wnuk-Lipiński
- Nauczyciel: Wojciech Janczewski
- Nauczyciel: Artur Kraska
- Nauczyciel: Paweł Rzechonek
Zajęcia odbywają się we wtorki w godzinach 16:15–18:00 w sali 310.
- Nauczyciel: Tomasz Wierzbicki
- Nauczyciel: Krystian Bacławski
- Nauczyciel: Witold Charatonik
- Nauczyciel: Piotr Polesiuk
- Nauczyciel: Paweł Wieczorek
- Nauczyciel: Witold Charatonik
- Nauczyciel: Jerzy Marcinkowski
- Nauczyciel: Jakub Michaliszyn
Wyłącznie dla udostępniania punktacji
- Nauczyciel: Łukasz Jeż
- Nauczyciel: Mateusz Wasylkiewicz
- Nauczyciel: Paweł Gawrychowski
- Nauczyciel: Artur Kraska
- Nauczyciel: Adam Kunysz
- Nauczyciel: Krzysztof Loryś
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.
- Nauczyciel: Andrzej Łukaszewski
Zajęcia odbywają się we środy w godzinach 16:15–18:00 w pracowni 109.
- Nauczyciel: Tomasz Wierzbicki
Zestaw informacji i porad dla studentów rozpoczynających studia na kierunkach Informatyka oraz ISIM.
- Nauczyciel: Małgorzata Biernacka
- Nauczyciel: Joanna Jędrzejkowska
- Nauczyciel: Wojciech Leśniewski
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).
- Nauczyciel: Andrzej Łukaszewski
- Nauczyciel: Małgorzata Biernacka
- Nauczyciel: Piotr Polesiuk
- Nauczyciel: Filip Sieczkowski
- Nauczyciel: Zdzisław Spławski
- Nauczyciel: Tomasz Wierzbicki
- Nauczyciel: Krystian Bacławski
- Nauczyciel: Piotr Witkowski
- Nauczyciel: Rafał Cieślak
- Nauczyciel: Mateusz Markiewicz
Przedmiot stanowi wprowadzenie do formalnych technik opisu semantyki języków programowania oraz do formalnych metod wnioskowania o programach komputerowych.
- Nauczyciel: Dariusz Biernacki
- Nauczyciel: Filip Sieczkowski
This seminar is devoted to algebraic effects, a novel technique of representing computational effects in programming languages. The students have an opportunity to read a collection of recent research papers on algebraic effects, try to identify future research directions in this area, and discuss the design and implementation of a prototypical programming language supporting algebraic effects that has recently been developed in our institute.
- Nauczyciel: Dariusz Biernacki
Dummy course to share the ranking list in SKOS
- Nauczyciel: Jan Chorowski
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.
- Nauczyciel: Krystian Bacławski
- Nauczyciel: Piotr Polesiuk
- Nauczyciel: Tomasz Wierzbicki
Wykład jest wprowadzeniem do programowania systemów wbudowanych. W ramach wykładu student zapozna się z architekturą popularnych mikrokontrolerów, nauczy się wykorzystywać ich peryferia do sterowania różnorodnymi urządzeniami zewnętrznymi, a także pozna popularne magistrale używane w systemach wbudowanych.
- Nauczyciel: Marek Materzok
- Nauczyciel: Jakub Kowalski
- Nauczyciel: Marek Szykuła
Podstawy teorii kategorii
- Nauczyciel: Maciej Piróg
Wstęp do informatyki 2018/19
- Nauczyciel: Paweł Gawrychowski
- Nauczyciel: Antoni Kościelski
- Nauczyciel: Paweł Laskoś-Grabowski
- Nauczyciel: Krzysztof Nowicki
- Nauczyciel: Krzysztof Piecuch
- Nauczyciel: Marek Piotrów
Celem tego kursu jest nauczenie i rozwinięcie podstawowych umiejętności programowania w jednym z najbardziej rozpowszechnionych języków imperatywnych — języku C. Wykład jest ilustrowany wieloma przykładami, a towarzyszące mu zajęcia w pracowniach uczą (poprzez wiele drobnych zadań i końcowy projekt) praktyki dobrego programowania. W końcowej części wykładu wprowadzane są niektóre elementy języka C++.
- Nauczyciel: Tomasz Drab
- Nauczyciel: Robert Kraus
- Nauczyciel: Paweł Laskoś-Grabowski
- Nauczyciel: Andrzej Łukaszewski
- Nauczyciel: Marek Piotrów
- Nauczyciel: Marek Szykuła
- Nauczyciel: Michał Zapotoczny
- Nauczyciel: Małgorzata Biernacka
- Nauczyciel: Dariusz Biernacki
- Nauczyciel: Tomasz Drab
- Nauczyciel: Mateusz Lewandowski
- Nauczyciel: Marcin Młotkowski
- Nauczyciel: Paweł Rychlikowski
- Nauczyciel: Paweł Rzechonek
- Nauczyciel: Marek Szykuła