Cel kształcenia i wykaz literatury

Główny cel kształcenia: Przekazanie zaawansowanej wiedzy i umiejętności dotyczących programowania współbieżnego i rozproszonego.

Ogólne informacje o zajęciach: Podczas wykładów studenci otrzymują wiedzę dotyczącą teoretycznych zagadnień z zakresu programowania współbieżnego i rozproszonego. Uzyskana w ramach wykładów wiedza zostanie wykorzystana w trakcie zajęć laboratoryjnych, które pozwolą studentom na uzyskanie praktycznych umiejętności z zakresu programowania współbieżnego i rozproszonego.

Wykaz literatury, wymaganej do zaliczenia zajęć

Literatura wykorzystywana podczas zajęć wykładowych

1	Ułasiewicz J.	Systemy czasu rzeczywistego QNX6 Neutrino	Wydawnictwo BTC.	2007
2	N. Matthew, R. Stones	Zaawansowane Programowanie w systemie Linux	Helion, Gliwice.	2002
3	N. Matthew, R. Stones	LINUX Programowanie	Wydawnictwo RM, Warszawa .	1999
4	Zbigniew Czech	Wprowadzenie do obliczeń równoległych	PWN.	2013
5	C. Horstmann, G. Cornell	Java 2. Techniki zaawansowane	Helion.	2005
6	A. Silberschatz, P.B. Galvin, G. Gagne	Podstawy systemów operacyjnych	WNT.	2006
7	Lal K., Rak T.	Linux a technologie klastrowe	MIKOM-PWN.	2005

Wymagania wstępne w kategorii wiedzy/umiejętności/kompetencji społecznych

Wymagania formalne: Rejestracja na danym semestrze studiów.

Wymagania wstępne w kategorii Wiedzy: wiedza o programowaniu obiektowym, znajomość podstaw języka Java

Wymagania wstępne w kategorii Umiejętności: umiejętność logicznego myślenia, umiejętność programowania obiektowego, samodzielne uczenie się, korzystanie z literatury i Internetu

Wymagania wstępne w kategorii Kompetencji społecznych: komunikatywność, umiejętność radzenia sobie ze stresem, odpowiedzialność, szacunek do innych, sumienność i systematyczność

Efekty kształcenia dla zajęć

MEK	Student, który zaliczył zajęcia	Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia	Metody weryfikacji każdego z wymienionych efektów kształcenia	Związki z KEK	Związki z PRK
01	Ma wiedzę z zakresu współbieżności i systemów rozproszonych.	wykład, laboratorium	egzamin cz. pisemna, sprawozdania, kolokwium
02	Ma wiadomości z zakresu komunikatów i kanałów w systemach UNIX.	wykład	egzamin cz. pisemna	K_W02++	P7S_WG
03	Zna metody programowania zorientowanego obiektowo systemów współbieżnych/rozproszonych. Potrafi zaimplementować program współbieżny/rozproszony.	wykład, laboratorium	egzamin cz. pisemna, sprawozdania, kolokwium	K_W02++ K_U07+	P7S_UW P7S_WG
04	Posiada wiadomości z zakresu komunikacji i synchronizacji w systemach współbieżnych.	wykład, laboratorium	egzamin cz. pisemna, sprawozdania, kolokwium	K_U08++	P7S_UW

Uwaga: W zależności od sytuacji epidemicznej, jeżeli nie będzie możliwości weryfikacji osiągniętych efektów uczenia się określonych w programie studiów w sposób stacjonarny w szczególności zaliczenia i egzaminy kończące określone zajęcia będą mogły się odbywać przy użyciu środków komunikacji elektronicznej (w sposób zdalny).

Treści kształcenia dla zajęć

Sem.	TK	Treści kształcenia	Realizowane na	MEK
1	TK01	Procesy współbieżne.	W01	MEK01
1	TK02	Wzajemne wykluczenie, bezpieczeństwo i żywotność, blokada i zagłodzenie.	W02	MEK01 MEK04
1	TK03	Klasyczne problemy współbieżności.	W03	MEK01 MEK04
1	TK04	Komunikaty i kanały w systemie UNIX.	W04	MEK02
1	TK05	Programowanie wielowątkowe w systemie Windows.	W05	MEK01 MEK04
1	TK06	Wątki w języku Java, komunikacja i synchronizacja.	W06, W07, L01, L02, L03, L04, L05	MEK01 MEK03 MEK04
1	TK07	Programowanie rozproszone w języku Java.	W08, W09	MEK01 MEK03
1	TK08	Zdalne wywoływanie metod RMI.	W10	MEK01 MEK03

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 1)		Godziny kontaktowe: 20.00 godz./sem.	Uzupełnienie/studiowanie notatek: 25.00 godz./sem. Studiowanie zalecanej literatury: 10.00 godz./sem.
Laboratorium (sem. 1)	Przygotowanie do laboratorium: 20.00 godz./sem. Przygotowanie do kolokwium: 10.00 godz./sem.	Godziny kontaktowe: 10.00 godz./sem.	Dokończenia/wykonanie sprawozdania: 25.00 godz./sem.
Konsultacje (sem. 1)
Zaliczenie (sem. 1)	Przygotowanie do zaliczenia: 16.00 godz./sem.	Zaliczenie pisemne: 2.00 godz./sem.

Sposób wystawiania ocen składowych zajęć i oceny końcowej

Forma zajęć	Sposób wystawiania oceny podsumowującej
Wykład	egzamin pisemny
Laboratorium	sprawozdania, kolokwium zaliczeniowe
Ocena końcowa	brana pod uwagę ocena z egzaminu oraz ocena z laboratorium

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)

Inne
(-)

Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : nie

Treści zajęć powiazane są z prowadzonymi badaniami naukowymi: tak

1	R. Davidrajuh; T. Kossowski; S. Samolej	Simulation in the GPenSIM Environment of the Movement of Vehicles in the City Based on Their License Plate Numbers	2024
2	G. Dec; A. Majka; T. Rogalski; D. Rzońca; S. Samolej	Regular graph-based free route flight planning approach	2021
3	D. Nowak; T. Rogalski; D. Rzońca; S. Samolej; Ł. Wałek	Control System for Aircraft Take-off and Landing Based on Modified PID controllers	2019