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.
- Prowadzący: Wojciech Balik
- Prowadzący: Jan Góra
- Prowadzący: Maciej Korpalski
- Prowadzący: Stanisław Koza
- Prowadzący: Mateusz Maciejewski
- Prowadzący: Jan Mazur
- Prowadzący: Marcin Bieńkowski
- Prowadzący: Paweł Schmidt
- Prowadzący: 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.
- Prowadzący: Filip Chudy
- Prowadzący: Witold Karczewski
- Prowadzący: Rafał Nowak
- Prowadzący: Paweł Woźny
Materiały pomocnicze do wykładu analizy numerycznej (M).
- Prowadzący: Rafał Nowak
- Prowadzący: Piotr Wnuk-Lipiński
- Prowadzący: Wojciech Janczewski
- Prowadzący: Artur Kraska
- Prowadzący: Paweł Rzechonek
- Prowadzący: Krystian Bacławski
- Prowadzący: Witold Charatonik
- Prowadzący: Piotr Polesiuk
- Prowadzący: Paweł Wieczorek
- Prowadzący: Witold Charatonik
- Prowadzący: Jerzy Marcinkowski
- Prowadzący: Jakub Michaliszyn
Wyłącznie dla udostępniania punktacji
- Prowadzący: Łukasz Jeż
- Prowadzący: Mateusz Wasylkiewicz
- Prowadzący: Paweł Gawrychowski
- Prowadzący: Artur Kraska
- Prowadzący: Adam Kunysz
- Prowadzący: 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.
- Prowadzący: Andrzej Łukaszewski
Zestaw informacji i porad dla studentów rozpoczynających studia na kierunkach Informatyka oraz ISIM.
- Prowadzący: Małgorzata Biernacka
- Prowadzący: Joanna Jędrzejkowska
- Prowadzący: Wojciech Leśniewski
Celem przedmiotu jest przybliżenie studentom pierwszego roku podstawowych narzędzi do współtworzenia, kompilowania, uruchamiania, publikowania oraz dokumentowania swoich oraz cudzych programów. W programie, między innymi, podstawy Linuksa, gita i LaTeX-a.
- Prowadzący: Michał Gańczorz
- Prowadzący: Paweł Laskoś-Grabowski
- Prowadzący: Marcin Młotkowski
- Prowadzący: Piotr Polesiuk
- Prowadzący: Piotr Wieczorek
- Prowadzący: Tomasz Wierzbicki
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).
- Prowadzący: Andrzej Łukaszewski
- Prowadzący: Małgorzata Biernacka
- Prowadzący: Piotr Polesiuk
- Prowadzący: Filip Sieczkowski
- Prowadzący: Zdzisław Spławski
- Prowadzący: Tomasz Wierzbicki
- Prowadzący: Krystian Bacławski
- Prowadzący: Piotr Witkowski
- Prowadzący: Rafał Cieślak
- Prowadzący: Mateusz Markiewicz
Przedmiot stanowi wprowadzenie do formalnych technik opisu semantyki języków programowania oraz do formalnych metod wnioskowania o programach komputerowych.
- Prowadzący: Dariusz Biernacki
- Prowadzący: 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.
- Prowadzący: Dariusz Biernacki
Dummy course to share the ranking list in SKOS
- Prowadzący: 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.
- Prowadzący: Krystian Bacławski
- Prowadzący: Piotr Polesiuk
- Prowadzący: 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.
- Prowadzący: Marek Materzok
- Prowadzący: Jakub Kowalski
- Prowadzący: Marek Szykuła
Wstęp do informatyki 2018/19
- Prowadzący: Paweł Gawrychowski
- Prowadzący: Antoni Kościelski
- Prowadzący: Paweł Laskoś-Grabowski
- Prowadzący: Krzysztof Nowicki
- Prowadzący: Krzysztof Piecuch
- Prowadzący: 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++.
- Prowadzący: Tomasz Drab
- Prowadzący: Robert Kraus
- Prowadzący: Andrzej Łukaszewski
- Prowadzący: Marek Piotrów
- Prowadzący: Marek Szykuła
- Prowadzący: Michał Zapotoczny
- Prowadzący: Małgorzata Biernacka
- Prowadzący: Dariusz Biernacki
- Prowadzący: Tomasz Drab
- Prowadzący: Mateusz Lewandowski
- Prowadzący: Marcin Młotkowski
- Prowadzący: Paweł Rychlikowski
- Prowadzący: Paweł Rzechonek
- Prowadzący: Marek Szykuła