SUM na Politechnice Poznańskiej, SKiSR

root

No i jak wrażenia Sad

nie było zadań a teoria, a nawet wiecej - rozumienie teorii ale w sposob sformalizowany. Dla osoby ktora nie potrafi zbyt dobrze myslec "jak typowy programista" nawet wykucie na blache wszystkich regulek moze sie wiazac z niezaliczeniem egzaminu Confused

nieco przegiecie bylo co Shocked

Ale nikt nie mowil ze bedzie prosto Rolling Eyes

Gość

Troche zaluje ze nie byly to zadania, ale trudno sie mowi. Takie zadania typu udowodnij pokaz itp sa ciezkie z tego powodu ze nie zawsze objerze sie dobry kierunek udowadniania. Nie wspomne o tym ze terorie trzeba znac zeby cos udawadniac na podstawie tej teori Smile

Gość

[link widoczny dla zalogowanych]

Gość

A ta fotka po co?
No chyba że mam sobie ją druknąć i rzucać lotkami Wink

PeJot

ehehehehheeheh Laughing

dobry pomysl Twisted Evil

Gość · Gość

Bylo by milo gdyby ktos wrzucil tu pytania jakie pojawily sie na egzaminie. Najlepiej razem z odpowiedziami Very Happy

PeJot

niestety nie mam tych pytan, ale apeluje jednoczesnie do tego co je ma, zeby je tu umiescil, bo to sie bardzo przyda tym co nie zdali Exclamation

Gosc · Gość

Wiem ze sporo osob milo zapisane te pyt. na kartce wiec prawdopodobnie wkrotce sie tu pojawia

PeJot

mam nadzieje Wink

piotrk

juz w lipcu zaraz po egzaminie kolega Filip byl tak uprzejmy i umiescil pytania na forum, dla przypomnienia oto one:

1. Pokaż że zegary Lamporta spełniają warunek zegarów logicznych E->E'=>T(E)<T(E').
2. Podaj definicję formalną odcięcia spójnego i niespójnego.
3. Wyznacz złożoność czasową i komunikacyjną algorytmu Chandy-Lamporta wyznaczania obrazu spójnego zakładając że danejest n-liczba procesów, m-liczba kanałów dwukierunkowych oraz d-średnica grafu topologii przetwarzania.
4. Pokaż że warunkiem poprawności algorytmu Lamporta wzajemnego wykluczania jest własność FIFO kanału komunikacyjnego.
5. Podaj definicję formalną zakleszczenia dla modelu OR.

no to moze teraz ktos napisze odpowiedzi ? Smile