System komunikacji na odległość ze studentami IIUWr
Course categories
Skip available courses
Available courses
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: Jakub Kowalski
- Teacher: Radosław Miernik
- Teacher: Marek Szykuła
- Teacher: Witold Charatonik
- Teacher: Piotr Polesiuk
- Teacher: Tomasz Wierzbicki
- Teacher: Maciej Piróg
- Teacher: Andrzej Łukaszewski
- Teacher: Łukasz Piwowar
- Teacher: Paweł Rajba
- Teacher: Marek Adamczyk
- Teacher: Marcin Młotkowski
- Teacher: Mikołaj Słupiński
- Teacher: Maria Szlasa
- Teacher: Łukasz Piwowar
Celem projektu jest praktyczna nauka architektur komputerów poprzez ich implementację w formie umożliwiającej syntezę na układy FPGA. Pierwszym krótkoterminowym celem projektu jest zaimplementowanie minimalnego rdzenia RISC-V (RV32I) w mikroarchitekturze out-of-order. Implementacja będzie miała w założeniu modularny charakter „generatora rdzeni”, umożliwiający dodawanie, rekonfigurację i wymianę elementów składowych rdzenia bez głębokich zmian w kodzie.
- Teacher: Marek Materzok
- Teacher: Bartosz Bednarczyk
- Teacher: Witold Charatonik
- Teacher: Jerzy Marcinkowski
- Teacher: Jakub Michaliszyn
- Teacher: Piotr Ostropolski-Nalewaja
- Teacher: Bartłomiej Dudek
- Teacher: Wojciech Janczewski
- Teacher: Artur Kraska
- Teacher: Marek Adamczyk
- Teacher: Paweł Rychlikowski
- Teacher: Piotr Wieczorek
- Teacher: Małgorzata Biernacka
- Teacher: Filip Chudy
- Teacher: Wojciech Leśniewski
- Teacher: Jan Otop
- Teacher: Marcin Preisner
- Teacher: Piotr Wieczorek
- Teacher: Paweł Woźny
- Teacher: Andrzej Łukaszewski
- Teacher: Patrycja Balik
- Teacher: Maciej Piróg
- Teacher: Piotr Polesiuk
- Teacher: Jakub Michaliszyn
- Teacher: Kamil Matuszewski
- Teacher: Patrycja Balik
- Teacher: Arkadiusz Kozdra
- Teacher: Piotr Polesiuk
- Teacher: Tomasz Wierzbicki
- Teacher: Piotr Witkowski
- Teacher: Marek Materzok
- Teacher: Kuba Nowak
- Teacher: Tomasz Wierzbicki
- Teacher: Artur Jeż
- Teacher: Tomasz Jurdziński
- Teacher: Artur Kraska
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Filip Zagórski
- Teacher: Wojciech Janczewski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Łukasz Piwowar
- Teacher: Agnieszka Tatarczuk
- Teacher: Łukasz Halada
- Teacher: Artur Kraska
- Teacher: Marcin Młotkowski
- Teacher: Paweł Rychlikowski
- Teacher: Paweł Garncarek
- Teacher: Paweł Rzechonek
- Teacher: Piotr Wieczorek
- Teacher: Wiktor Zychla
- Teacher: Tomasz Wierzbicki
Java to współczesny obiektowy język programowania stworzony przez Jamesa Goslinga z firmy Sun Microsystems. Od momentu powstania w połowie lat 90-tych XX wieku przeżył on dynamiczny rozwój a zainteresowanie nim nie maleje. Język Java przyciągnął do dziś wiele milionów programistów. Znajduje zastosowanie w każdej ważniejszej gałęzi przemysłu informatycznego i jest obecny w różnego rodzaju urządzeniach, komputerach i sieciach. Popularność Javy wynika przede wszystkim z przenośności programów i niezależności od konkretnej platwormy sprzętowej, a co za tym idzie, ma zastosowanie w Internecie oraz ogólnie w aplikacjach sieciowych. Jego podstawowe koncepcje zostały przejęte z języka Smalltalk (maszyna wirtualna, odśmiecanie pamięci) oraz z języka C++ (znaczna część składni i słów kluczowych).
Celem tych zajęć jest nauka programowania obiektowego w języku Java oraz zapoznanie z najważniejszymi pakietami z biblioteki standardowej i podstawowymi technologiami programistycznymi Javy.
- Teacher: Karol Pokorski
- Teacher: Paweł Rzechonek
Prace Churcha, Turing i Goedla z początków XX w. pokazały, że problem spełnialności (czy dana formuła ma model?) dla logiki pierwszego rzędu jest nierozstrzygalny. Wyniki te zapoczątkowały duży program badawczy, którego celem było ustalenie, które naturalne fragmenty logiki pierwszego rzędu są rozstrzygalne. Nieco później dodatkowym bodźcem dla tego programu stały się potencjalne zastosowania w informatyce (bazy danych, reprezentacja wiedzy, automatyczna weryfikacja programów i sprzętu, sztuczna inteligencja, itd.). Oczywiście, zwiększyły one też zainteresowanie badaczy dokładną złożonością obliczeniową problemu spełnialności w przypadku fragmentów rozstrzygalnych.
Na wykładzie przedstawię szereg wyników dotyczących rozstrzygalności/nierozstrzygalności i złożoności obliczeniowej logik motywowanych teorią informatyki.
W programie m.in.: logiki modalne, temporalne i deskrypcyjne, logiki z dwiema zmiennymi, fragmenty strzeżone, logika z unarną negacją. Wykład będzie oparty głównie na pracach opublikowanych w ciągu ostatnich dwudziestu kilku lat, choć opowiem oczywiście również o paru klasycznych wynikach, sięgając m.in. do prac Kurta Gödla.
Wymagania: Logika dla informatyków, Zalecane: Języki formalne i złożoność obliczeniowa
- Teacher: Emanuel Kieroński
Course description:
This seminar will cover the latest research in generative AI, with a focus on generative models, such as variational autoencoders (VAEs), generative adversarial networks (GANs) and diffusion models (DDPM, or recent modifications LoRA, IP adapters, SORA, …).
The seminar will be based on recent papers and will cover a wide range of topics, including the theory of generative models, training and evaluation of GANs, and applications of generative models in computer vision, natural language processing, and other areas.
Each student will be required to present a paper, write a summary of the paper, and participate in discussions of the papers presented by other students.
Prerequisites:
Basic knowledge of machine learning and deep learning (e.g., completion of the Neural Networks course). Basic knowledge of probability theory and statistics (e.g., completion of the Probability and Statistics course). Basic knowledge of linear algebra (e.g., completion of the Linear Algebra course). The seminar will be held in English (or Polish if all participants prefer).
- Teacher: Rafał Nowak
- Teacher: Artur Jeż
- Teacher: Emanuel Kieroński
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Mateusz Wasylkiewicz
- Teacher: Artur Kraska
- Teacher: Piotr Polesiuk
- Teacher: Piotr Witkowski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Piotr Wieczorek
- Teacher: Bartłomiej Dudek
- Teacher: Jerzy Marcinkowski
- Teacher: Jan Otop
- Teacher: Daniel Górski
- Teacher: Jakub Kowalski
- Teacher: Grzegorz Stachowiak
Celem kursu jest zapoznanie studentów z bogatą składnią języka C++, różnorodnymi technikami stosowanymi w programowaniu w C++ oraz z obszernymi fragmentami biblioteki STL.
- Teacher: Andrzej Łukaszewski
- Teacher: Łukasz Piwowar
- Teacher: Paweł Rzechonek
- Teacher: Łukasz Piwowar
- Teacher: Kamil Matuszewski
- Teacher: Radosław Miernik
- Teacher: Łukasz Piwowar
- Teacher: Marek Materzok
- Teacher: Marek Materzok
- Teacher: Maciej Piróg
- Teacher: Piotr Polesiuk
- Teacher: Rafał Nowak
- Teacher: Paweł Rychlikowski
- Teacher: Michał Stypułkowski
- Teacher: Wojciech Janczewski
- Teacher: Marcin Młotkowski
- Teacher: Mateusz Wasylkiewicz
- Teacher: Witold Karczewski
- Teacher: Antoni Kościelski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Andrzej Łukaszewski
- Teacher: Paweł Woźny
- Teacher: Marcin Bieńkowski
- Teacher: Paweł Garncarek
- Teacher: Andrzej Łukaszewski
- Teacher: Filip Chudy
- Teacher: Jakub Michaliszyn
- Teacher: Radosław Miernik
- Teacher: Paweł Rychlikowski
- Teacher: Filip Zagórski
- Teacher: Małgorzata Biernacka
- Teacher: Dariusz Biernacki
- Teacher: Filip Chudy
- Teacher: Witold Karczewski
- Teacher: Rafał Nowak
- Teacher: Paweł Woźny
- Teacher: Jakub Kowalski
- Teacher: Radosław Miernik
- Teacher: Marek Szykuła
- Teacher: Artur Jeż
Opis przedmiotu. Zajęcia odbywają się we wtorki w godzinach 16:15–20:00 w sali 140. Ostatnia migracja danych z Systemu Zapisy: 12/10/2023.
- Teacher: Tomasz Wierzbicki
Java to współczesny obiektowy język programowania stworzony przez Jamesa Goslinga z firmy Sun Microsystems. Od momentu powstania w połowie lat 90-tych XX wieku przeżył on dynamiczny rozwój a zainteresowanie nim nie maleje. Język Java przyciągnął do dziś wiele milionów programistów. Znajduje zastosowanie w każdej ważniejszej gałęzi przemysłu informatycznego i jest obecny w różnego rodzaju urządzeniach, komputerach i sieciach. Popularność Javy wynika przede wszystkim z przenośności programów i niezależności od konkretnej platwormy sprzętowej, a co za tym idzie, ma zastosowanie w Internecie oraz ogólnie w aplikacjach sieciowych. Jego podstawowe koncepcje zostały przejęte z języka Smalltalk (maszyna wirtualna, odśmiecanie pamięci) oraz z języka C++ (znaczna część składni i słów kluczowych).
Celem tych zajęć jest nauka programowania w języku Java oraz zapoznanie z podstawowymi technologiami Javy.
- Teacher: Karol Pokorski
- Teacher: Paweł Rzechonek
- Teacher: Marek Szykuła
- Teacher: Andrzej Łukaszewski
- Teacher: Łukasz Piwowar
Kurs ASP.NET - laboratorium, grupa PRz (czw. 18-20)
Proszę umieszczać w rozwiązaniach całe projekty VS z usuniętymi katalogami bin/ i obj/ spakowane do pliku .zip.
- Teacher: Paweł Rzechonek
- Teacher: Marek Adamczyk
- Teacher: Klaudia Balcer
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Marcin Młotkowski
- Teacher: Mikołaj Słupiński
- Teacher: Łukasz Piwowar
- Teacher: Andrzej Łukaszewski
- Teacher: Paweł Rzechonek
implementację w formie umożliwiającej syntezę na układy FPGA. Pierwszym
krótkoterminowym celem projektu jest zaimplementowanie minimalnego
rdzenia RISC-V (RV32I) w mikroarchitekturze out-of-order. Implementacja
będzie miała w założeniu modularny charakter „generatora rdzeni”,
umożliwiający dodawanie, rekonfigurację i wymianę elementów składowych
rdzenia bez głębokich zmian w kodzie.
- Teacher: Marek Materzok
- Teacher: Jerzy Marcinkowski
- Teacher: Jakub Michaliszyn
- Teacher: Bartosz Bednarczyk
- Teacher: Witold Charatonik
- Teacher: Katarzyna Paluch
- Teacher: Mateusz Wasylkiewicz
- Teacher: Bartłomiej Dudek
- Teacher: Wojciech Janczewski
- Teacher: Artur Kraska
- Teacher: Małgorzata Biernacka
- Teacher: Filip Chudy
- Teacher: Wojciech Leśniewski
- Teacher: Jakub Michaliszyn
- Teacher: Jan Otop
- Teacher: Marcin Preisner
- Teacher: Piotr Wieczorek
- Teacher: Paweł Woźny
- Teacher: Mateusz Basiak
- Teacher: Bartłomiej Dudek
- Teacher: Paweł Garncarek
- Teacher: Jakub Michaliszyn
- Teacher: Filip Zagórski
- Teacher: Andrzej Łukaszewski
- Teacher: Piotr Lisowski
- Teacher: Maciej Piróg
- Teacher: Piotr Polesiuk
- Teacher: Marek Materzok
- Teacher: Krzysztof Dębicki
- Teacher: Aleksander Łukasiewicz
- Teacher: Jakub Kowalski
- Teacher: Radosław Miernik
- Teacher: Jakub Kowalski
- Teacher: Marek Szykuła
- Teacher: Paweł Rychlikowski
- Teacher: Kamil Matuszewski
- Teacher: Piotr Polesiuk
- Teacher: Tomasz Wierzbicki
- Teacher: Piotr Witkowski
- Teacher: Piotr Polesiuk
- Teacher: Marek Materzok
- Teacher: Tomasz Wierzbicki
- Teacher: Maciej Piróg
- Teacher: Paweł Garncarek
- Teacher: Tomasz Jurdziński
- Teacher: Artur Kraska
- Teacher: Mateusz Wasylkiewicz
- Teacher: Filip Zagórski
- Teacher: Paweł Garncarek
- Teacher: Wojciech Janczewski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Agnieszka Tatarczuk
- Teacher: Wojciech Janczewski
- Teacher: Kamil Matuszewski
- Teacher: Paweł Rychlikowski
- Teacher: Adam Gańczorz
- Teacher: Paweł Garncarek
- Teacher: Piotr Wieczorek
- Teacher: Wiktor Zychla
Opis przedmiotu. Zajęcia odbywają się we środy w godzinach 14:15–16:00 w sali 141. Ostatnia migracja danych z Systemu Zapisy: 12/10/2023.
- Teacher: Tomasz Wierzbicki
Advanced Distributed Algorithms, 2023
- Teacher: Artur Jeż
- Teacher: Emanuel Kieroński
- Teacher: Antoni Kościelski
- Teacher: Paweł Laskoś-Grabowski
Wykład oferuje intensywne wprowadzenie do budowy i zasad działania komputerów z punktu widzenia programisty. Po zaliczeniu przedmiotu studenci powinni rozumieć jaki wpływ ma architektura komputera na wydajność aplikacji, które przyjdzie im implementować w praktyce zawodowej.
- Teacher: Artur Kraska
- Teacher: Piotr Polesiuk
- Teacher: Piotr Witkowski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Piotr Wieczorek
Digital Image Processing / Przetwarzanie Obrazów
- Teacher: Andrzej Łukaszewski
- Teacher: Daniel Górski
- Teacher: Jakub Kowalski
Krzywe i powierzchnie to podstawowe obiekty grafiki komputerowej. To właśnie przy ich pomocy można modelować skomplikowane kształty i sceny, którym nadaje się później cechy realistyczne i wykorzystuje na przykład w tak modnej ostatnio animacji komputerowej.
Głównym celem wykładu jest przedstawienie podstawowych wiadomości na temat narzędzi pozwalających efektywnie reprezentować i modelować krzywe oraz powierzchnie różnego typu i wygładzać przy ich pomocy dane. Szczególny nacisk położony będzie na omówienie odpowiednich technik i algorytmów z tym związanych, które pozwolą uczestnikom zajęć przygotować własny edytor krzywych i powierzchni.
- Teacher: Paweł Woźny
Celem kursu jest rozwinięcie u uczestników praktycznych umiejętności zarządzania systemem Linux na komputerze osobistym lub serwerze. Zostaną przedstawione podstawowe informacje na temat budowy i sposobu działania systemów uniksopodobnych, a szczególnie różnych dystrybucji Linuksa. Zajęcia są adresowane do wszystkich studentów, którzy chcieliby sprawnie korzystać na co dzień z systemów linuksowych i którzy są zdania, że to użytkownik powinien mieć władzę na komputerem, a nie komputer nad użytkownikiem. Mimo że osiągnięcie tego celu wymaga sporego zaangażowania, wiedzy i praktycznych umiejętności, nie zakłada się wstępnego doświadczenia słuchaczy w zakresie administrowania Linuksem. Wystarczy wola odłączenia myszy i chęć pracy z terminalem tekstowym. Opis zajęć. Ostatnia synchronizacja z Systemem Zapisy: 2023-03-09 15:22:04
- Teacher: Tomasz Wierzbicki
C++ to obiektowo zorientowany język programowania. Został on zaprojektowany przez Bjarne'a Stroustrupa z myślą o programowaniu systemowym oraz do zaawansowanych obliczeń inżynierskich. Świadome używanie C++ do rozwiązywania problemów algorytmicznych daje dużo satysfakcji doświadczonym programistom, zwłaszcza dlatego, że generowany przez kompilator kod jest bardzo efektywny.
Celem kursu jest zapoznanie studentów z bogatą składnią języka C++, różnorodnymi technikami stosowanymi w programowaniu w C++ oraz z obszernymi fragmentami biblioteki STL.
- Teacher: Andrzej Łukaszewski
- Teacher: Łukasz Piwowar
- Teacher: Paweł Rzechonek
Kurs programowania gier w silniku Unreal 5 pomoże Ci poznać nie tylko podstawy, ale również zaawansowane techniki pracy z jednym z najpotężniejszych silników do tworzenia gier na świecie.
- Teacher: Łukasz Piwowar
Celem projektu jest praktyczna nauka architektur komputerów poprzez ich implementację w formie umożliwiającej syntezę na układy FPGA. Pierwszym krótkoterminowym celem projektu jest zaimplementowanie minimalnego rdzenia RISC-V (RV32I) w mikroarchitekturze out-of-order. Implementacja będzie miała w założeniu modularny charakter „generatora rdzeni”, umożliwiający dodawanie, rekonfigurację i wymianę elementów składowych rdzenia bez głębokich zmian w kodzie.
- Teacher: Marek Materzok
Wykład jest wprowadzeniem do projektowania układów cyfrowych. Celem wykładu jest nauczenie zasad rządzących funkcjonowaniem elektroniki cyfrowej oraz typowych rozwiązań stosowanych przy projektowaniu układów. Wiedza zdobyta na wykładzie pomoże w zrozumieniu zasady działania mikroprocesorów i mikrokontrolerów oraz zasad rządzących programowalnymi układami logicznymi FPGA.
- Teacher: Marek Materzok
- Teacher: Vincent Michielini
Metody programowania to jeden z przedmiotów obowiązkowych. Jego zasadniczym celem jest przygotowanie studentów do używania języków programowania jako formalnych narzędzi komunikacji miedzy ludźmi, ze szczególnym uwzględnieniem technik, które mogą i powinny być stosowane do zapanowania nad złożonością dużych systemów.
- Teacher: Dariusz Biernacki
- Teacher: Marek Materzok
- Teacher: Piotr Polesiuk
- Teacher: Rafał Nowak
- Teacher: Paweł Rychlikowski
- Teacher: Mikołaj Słupiński
- Teacher: Michał Stypułkowski
- Teacher: Wojciech Janczewski
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Marcin Młotkowski
- Teacher: Zdzisław Płoski
Projekt zespołowy wdrażający dobre praktyki tworzenia oprogramowania z wykorzystaniem sieci neuronowych.
- Teacher: Rafał Nowak
- Teacher: Jakub Kowalski
- Teacher: Marek Szykuła
- Teacher: Marcin Młotkowski
- Teacher: Paweł Rzechonek
- Teacher: Wiktor Zychla
Świetnym sposobem na poznanie architektury systemu linuksowego jest własnoręczne zbudowanie go krok po kroku od zera. Pomaga w tym projekt Gerarda Beekmansa „Linux from scratch” rozpoczęty w 1999 i nadal aktywnie rozwijany. Uczestnicy zajęć otrzymaja do opracowania fragment systemu LFS, który powinni dobrze zrozumieć i przygotować w domu, a następnie przedstawić wszystkim uczestnikom zajęć podczas dwugodzinnej prezentacji tak, by mogli oni odtworzyć omówiony fragment we własnych instalacjach. Na koniec wszyscy powinni mieć gotowe, działające instalacje. Zajęcia są przeznaczone dla osób posiadających dobrą znajomość Linuksa. Opis zajęć. Ostatnia synchronizacja z Systemem Zapisy: 2023-03-09 15:21:48.
- Teacher: Tomasz Wierzbicki
- Teacher: Marcin Bieńkowski
- Teacher: Andrzej Łukaszewski
- Teacher: Tomasz Wierzbicki
- Teacher: Jakub Kowalski
- Teacher: Radosław Miernik
- Teacher: Paweł Rychlikowski
- Teacher: Filip Zagórski
23-08-04 zpl->P.T.Zainteresowan{e|i}:
Dwa pliki umieszczone na tej stronie: (zpl, prac. PO, lato23, A-M).zip i (zpl, prac. PO, lato23, N-Z).zip zawierają komplet zasobów powstałych w ramach pracowni z programowania obiektowego w semestrze letnim roku akademickiego 2022-2023, tj. programy studenckie oraz korespondencję obrazująca nadzór dydaktyczny nad dwiema pracowniami. Wszystkie dane zawarte w plikach podlegają stosownej ochronie autorskiej.
Zdzisław Płoski
- Teacher: Zdzisław Płoski
23-08-04 zpl->P.T. Zainteresowan{e|i}:
Dwa pliki umieszczone na tej stronie: (zpl, prac. PO, lato23, A-M).zip i (zpl, prac. PO, lato23, N-Z).zip zawierają komplet zasobów powstałych w ramach pracowni z programowania obiektowego w semestrze letnim roku akademickiego 2022-2023, tj. programy studenckie oraz korespondencję obrazująca nadzór dydaktyczny nad dwiema pracowniami. Wszystkie dane zawarte w plikach podlegają stosownej ochronie autorskiej.
Zdzisław Płoski, zpl
- Teacher: Zdzisław Płoski
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
- Teacher: Artur Jeż
- Teacher: Witold Karczewski
- Teacher: Emanuel Kieroński
- Teacher: Paweł Laskoś-Grabowski
Wykład oferuje intensywne wprowadzenie do budowy i zasad działania komputerów z punktu widzenia programisty. Po zaliczeniu przedmiotu studenci powinni rozumieć jaki wpływ ma architektura komputera na wydajność aplikacji, które przyjdzie im implementować w praktyce zawodowej.
- Teacher: Krystian Bacławski
- Teacher: Robert Ferens
- Teacher: Artur Kraska
- Teacher: Marek Materzok
- Teacher: Piotr Polesiuk
- Teacher: Piotr Witkowski
Celem wykładu jest omówienie zasad konstrukcji relacyjnych baz danych oraz opanowanie przez słuchaczy umiejętności profesjonalnej obsługi systemu baz danych od strony użytkownika.
- Teacher: Małgorzata Biernacka
- Teacher: Robert Ferens
- Teacher: Artur Kraska
- Teacher: Paweł Laskoś-Grabowski
- Teacher: Jan Otop
- Teacher: Piotr Wieczorek
C++ to obiektowo zorientowany język programowania. Został on zaprojektowany przez Bjerna Stroustrupa z myślą o programowaniu systemowym oraz do zaawansowanych obliczeń inżynierskich. Świadome używanie C++ do rozwiązywania problemów algorytmicznych daje dużo satysfakcji doświadczonym programistom, zwłaszcza dlatego, że generowany przez kompilator kod jest bardzo efektywny.
Celem kursu jest zapoznanie studentów z bogatą składnią języka C++, różnorodnymi technikami stosowanymi w programowaniu w C++ oraz z obszernymi fragmentami biblioteki STL.
- Teacher: Filip Chudy
- Teacher: Robert Kraus
- Teacher: Marek Piotrów
- Teacher: Paweł Rzechonek
DC 2022
- Teacher: Tomasz Jurdziński