Konsultacje w czasie sesji

Najbliższe konsultacje będę miał w CZWARTEK 28 VI w godzinach 11 – 13 w 313/C3 lub 1/C5.

Posted in Uncategorized | Możliwość komentowania Konsultacje w czasie sesji została wyłączona

Ostatnie zadanie z MIASI

W ostatnim zadaniu z analizą kodu w NuSMV proszę opracować ją dla number [0;8], aby wielkość zmiennych programu nie przekraczała zakresu int w NuSMV i wszystko działało szybko. Także trzecia rzecz do zweryfikowania niech będzie dla number=5.

Posted in Uncategorized | Możliwość komentowania Ostatnie zadanie z MIASI została wyłączona

Egzamin z MIASI

Egzamin z MIASI odbędzie się w czwartek 21 i 28 VI w godz. 11-13 w sali 1 C-5.

Posted in Modelowanie i Analiza... (lab) | Możliwość komentowania Egzamin z MIASI została wyłączona

Tematy pracy dyplomowej inżynierskiej

Jeśli ktoś byłby zainteresowany wykonaniem swej pracy dyplomowej inżynierskiej ze mną jako promotorem, to proszę o kontakt i wybór tematu lub zaproponowanie własnego (nowe tematy można zgłaszać do 20 IV).

Na podstronie Prace dyplomowe można zapoznać się z moimi proponowanymi i realizowanymi tematami prac dyplomowych.

Zachęcam też do składania własnych propozycji tematów.

Posted in Prace dyplomowe | Możliwość komentowania Tematy pracy dyplomowej inżynierskiej została wyłączona