Omówiono programy komputerowe wspomagające sprawdzanie wiedzy i umiejętności. scharakteryzowano najczęściej spotykane formy komputerowego sprawdzania wiedzy: testy wyboru, testy uzupełnień oraz programy z bazą wiedzy do sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych. Charakterystyka każdego rodzaju testu jest zilustrowana opisem odpowiedniego programu komputerowego.

Artykuł jest poświęcony kolorowaniu grafów w modelu rozproszonym. Podano schemat konstruowania samostabilizujących się algorytmów wierzchołkowego kolorowania grafów z możliwością nadawania wierzchołkom priorytetów. W oparciu o tę technikę skonstruowano samostabilizujący się algorytm LF który został szczegółowo opisany. Przeprowadzono również testy komputerowe porównując algorytm LF ze znanymi wcześniej algorytmami samostabilizującymi.

W artykule przedstawiono podstawowe funkcje sieciowego systemu komputerowego wspomagającego przeprowadzenie i ocenianie testów. Szczególną uwagę zwrócono na funkcję modułu obsługi nauczyciela.

Praca zawiera opis i testy 3 procedur badawczych dotyczących lokalizacjizniszczeń w konstrukcjach. Procedury bazują na danych modalnych jakie obiektgeneruje podczas swoich drgań tzn. częstościach własnych i postaciach drgań Badane są zmiany podatności układu, zmiany krzywizn postaci drgań i wrażli-wość częstości na założone zniszczenia. Odpowiednie procedury wiążące się ztymi trzema metodami są przestestowane na przykładzie wspornika...