Marcin Szpyrka - wiki

alvis-agh

Anonymous (anonymous@undisclosed.example.com) — 2013-09-13T14:04:44+00:00

Marcin Szpyrka: Modelowanie systemów współbieżnych w języku Alvis, Wydawnictwa AGH, Kraków, 2013. Opis Prezentowany w niniejszej monografii język Alvis powstał jako wynik poszukiwania języka modelowania, który z jednej strony byłby łatwy do opanowania przez inżyniera informatyka, a z drugiej pozwalał na formalną weryfikację wytworzonego modelu. Język Alvis jest rozwijany w Katedrze Informatyki Stosowanej AGH (Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej) przez zes…

latex-wprowadzenie

Anonymous (anonymous@undisclosed.example.com) — 2008-06-08T12:23:46+00:00

LaTeX - wprowadzenie LaTeX (wymawiamy “latech”) jest systemem składu drukarskiego, nadającym się do tworzenia różnego rodzaju dokumentów. LaTeX jest zbiorem makropoleceń systemu TeX. TeX jest zarówno programem komputerowym jak językiem programowania. System został utworzony na zamówienie Amerykańskiego Towarzystwa Matematycznego, jako system do przygotowywania dokumentów matematycznych lub ogólnie naukowych. Korzystając z systemu składu LaTeX mamy za zadanie przygotować jedynie tekst źródłowy, …

materialy

Anonymous (anonymous@undisclosed.example.com) — 2013-11-02T22:39:15+00:00

Dia - rysowanie sieci Petriego Poniżej mały poradnik jak przygotować rysunki sieci Petriego w edytorze dia. Parametry siatki diagramu Wybieramy z menu Plik opcję Właściwości diagramu i ustawiamy gęstość siatki jak na poniższym rysunku.

Badania naukowe/Research * MEOW Research Team * Prace doktorskie / PhD theses * Monografie / Books * Alvis / Formal methods Dydaktyka/Teaching * Advanced data mining * Bazy danych * LaTeX (MTM) * LaTeX for scientists * Model checking * Paradygmaty programowania ---------- * LaTeX dla AGH * LaTeX for PhD Thesis

monografie

Anonymous (anonymous@undisclosed.example.com) — 2026-03-02T16:43:58+00:00

Wybrane książki / Selected books * Marcin Szpyrka: LaTeX. Praktyczny przewodnik, Helion, 2026 (więcej...) * Marcin Szpyrka: Modelowanie systemów współbieżnych w języku Alvis, Wydawnictwa AGH, Kraków, 2013 (więcej...) * Marcin Szpyrka: Sieci Petriego w modelowaniu i analizie systemów współbieżnych

nauka

Anonymous (anonymous@undisclosed.example.com) — 2026-03-02T16:15:42+00:00

Tematyka prac badawczych * Eksploracja danych, uczenie maszynowe * Eksploracja procesów * Metody formalne (Alvis, sieci Petriego itp.) * Modelowanie i analiza systemów współbieżnych z wykorzystaniem metod formalnych. Prace doktorskie realizowane pod moim kierunkiem

rtcp-agh

Anonymous (anonymous@undisclosed.example.com) — 2008-06-10T18:06:52+00:00

Szpyrka M.: Modelowanie i analiza systemów wbudowanych z zastosowaniem RTCP-sieci, Uczelniane Wydawnictwa Naukowo-Dydaktyczne AGH, Kraków, 2007 Opis RTCP-sieci powstały jako wynik adaptacji czasowych kolorowanych sieci Petriego do modelowania systemów czasu rzeczywistego. Stanowią one podklasę sieci kolorowanych, charakteryzującą się m.in. zupełnie odmiennym modelem czasu, występowaniem priorytetów przejść i zmodyfikowanym podejściem do tworzenia modeli hierarchicznych.

sidebar

Anonymous (anonymous@undisclosed.example.com) — 2013-10-06T02:56:44+00:00

Strony główne * Informacje * Kontakt Badania naukowe * Tematyka / Prace doktorskie * Monografie / Publikacje * Formal methods / Alvis Dydaktyka * Bazy danych * LaTeX * MMGK * Paradygmaty programowania * Seminarium dyplomowe * Weryfikacja modelowa * LaTeX dla AGH * Prace dyplomowe * Materiały dodatkowe * Tablica

sp-wnt

Anonymous (anonymous@undisclosed.example.com) — 2008-06-10T18:07:44+00:00

Szpyrka M.: Sieci Petriego w modelowaniu i analizie systemów współbieżnych, WNT, Warszawa, 2008 Opis Wymaga się, by każdy system komputerowy działał poprawnie. Ze względu na specyficzne właściwości systemów współbieżnych weryfikowanie jakości tworzonego oprogramowania wyłącznie na podstawie testów jest na ogół niewystarczające. Coraz częściej do sprawdzania poprawności tworzonego systemu lub najważniejszych jego modułów korzysta się z formalnych metod analizy programów. Jednym z najbardziej po…

start

Anonymous (anonymous@undisclosed.example.com) — 2026-04-01T20:13:39+00:00

Informacje / Announcements * Konsultacje / Office hours – building C2, room 321: →→→ kalendarz / calendar LaTeX Praktyczny przewodnik Link do książki: Nagranie video z seminarium KIS: [LaTeX. Praktyczny przewodnik]

tablica

Anonymous (anonymous@undisclosed.example.com) — 2018-05-29T13:52:24+00:00

Tablica add x (Node y left right) | x == y = Node y left right | x < y = Node y (add x left) right | otherwise = Node y left (add x right) module Main where import System.Environment womenCount :: [[Char]] -> Int womenCount [] = 0 womenCount ([_,_,_,_,_,_,_,_,_,p,_]:xs) | elem p ['0','2','4','6','8'] = 1 + womenCount xs | otherwise = womenCount xs main = do [input] <- getArgs inText <- readFile input let counter = wome…