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.
- Teacher: Filip Chudy
- Teacher: Witold Karczewski
- Teacher: Rafał Nowak
- Teacher: Paweł Woźny
- Teacher: Filip Chudy
- Teacher: Witold Karczewski
- Teacher: Rafał Nowak
- Teacher: Piotr Wieczorek
- Teacher: Artur Jeż
KCK vel HCI (also known as CHI) alias usability engineering, cp. UX or UXD (also UED) and so on.
- Teacher: Zdzisław Płoski
- Teacher: Witold Charatonik
- Teacher: Piotr Polesiuk
- Teacher: Andrzej Łukaszewski
- Teacher: Łukasz Piwowar
- Teacher: Dariusz Biernacki
- Teacher: Martin Bohm
- Teacher: Vincent Michielini
- Teacher: Marcin Młotkowski
- Teacher: Mateusz Pyzik
- Teacher: Łukasz Piwowar
- Teacher: Kamil Matuszewski
- Teacher: Radosław Miernik
- Teacher: Łukasz Piwowar
- Teacher: Piotr Wieczorek
- Teacher: Marek Materzok
Korespondencja i materiały pomocnicze zpl-a na ćwiczenia i pracownię z inżynierii oprogramowania (IO). Wydanie 3. IIUWr, rok akademicki 2022/23.
- Teacher: Zdzisław Płoski
- Teacher: Jerzy Marcinkowski
- Teacher: Jakub Michaliszyn
- Teacher: Bartosz Bednarczyk
- Teacher: Witold Charatonik
- Teacher: Artur Kraska
- Teacher: Mariusz Maślanka
- Teacher: Tomasz Wierzbicki
Najważniejsze informacje dla nowych studentów rozpoczynających naukę w roku akademickim 2022/23.
- Teacher: Małgorzata Biernacka
- Teacher: Wojciech Leśniewski
- Teacher: Jakub Michaliszyn
- Teacher: Jan Otop
- Teacher: Piotr Wieczorek
- Teacher: Paweł Woźny
- Teacher: Jakub Michaliszyn
- Teacher: Mateusz Pyzik
- Teacher: Marek Szykuła
- Teacher: Filip Zagórski
- Teacher: Andrzej Łukaszewski
- Teacher: Dariusz Biernacki
- Teacher: Piotr Lisowski
- Teacher: Vincent Michielini
- Teacher: Piotr Polesiuk
- Teacher: Paweł Rychlikowski
Na seminarium czytać będziemy prace dotyczące rozstrzygalności i złożoności problemów spełnialności (czy dana formuła ma model), skończonej spełnialności (czy dana formuła ma model skończony) oraz związanych z nimi problemów odpowiadania na zapytania do baz danych/baz wiedzy (dla danej bazy D, teorii logicznej T i zapytania q, czy prawdą jest, że każdy model/skończony model D i T spełnia q?)
Interesować nas będą fragmenty logiki pierwszego rzędu (two-variable fragment, guarded fragment, unary negation fragment, guarded negation fragment, …) oraz logiki deskrypcyjne.
Materiał będzie się częściowo pokrywał z materiałem przedmiotu Problemy Decyzyjne w Logice, ale będzie też sporo innych rzeczy i osoby, które ten przedmiot zaliczyły mogą śmiało zapisać się na seminarium.
Niewykluczone, że spotkamy się z pewnymi problemami otwartymi, które będzie można próbować rozwiązać.
- Teacher: Emanuel Kieroński
- Teacher: Krystian Bacławski
- Teacher: Piotr Polesiuk
- Teacher: Tomasz Wierzbicki
- Teacher: Piotr Witkowski
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.
- Teacher: Marek Materzok
- Teacher: Piotr Polesiuk
- Teacher: Tomasz Wierzbicki
Strona WdI 2022/23
- Teacher: Bartosz Bednarczyk
- Teacher: Adam Gańczorz
- Teacher: Artur Kraska
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Aleksander Łukasiewicz
- Teacher: Filip Zagórski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Andrzej Łukaszewski
- Teacher: Paweł Rzechonek
- Teacher: Marek Szykuła
- Teacher: Dariusz Biernacki
- Teacher: Filip Chudy
- Teacher: Robert Ferens
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Paweł Rychlikowski
- Teacher: Robert Ferens
- Teacher: Adam Gańczorz
- Teacher: Mateusz Pyzik
- Teacher: Piotr Wieczorek
- Teacher: Wiktor Zychla