MeRSZ online
okoskönyvtár
Több száz tankönyv egy helyen.
Online. Bárhol. Bármikor.
Vektorszámítás I.
Vektor- és tenzoralgebra
Gömbi geometria
A kétdimenziós euklideszi geometria a síkfelületeken elhelyezkedő idomok tulajdonságaival foglalkozik. Az egyszerűbb alakzatokat ekkor pontok és egyenesek határolják. Felvetődik a kérdés, hogyan általánosíthatók az euklideszi geometria eljárásai görbült felületeken elhelyezkedő idomok tulajdonságainak vizsgálatára.
Tartalomjegyzék
- BIZTONSÁGRA TERVEZÉS ÉS BIZTONSÁGIGAZOLÁS FORMÁLIS MÓDSZEREI
- Impresszum
- Előszó
- 1. Bevezetés
- 2. A biztonság igazolása
- 3. Biztonsági követelmények megfogalmazása
- 4. Rendszerek viselkedésének formális modellezése
- 4.1. Petri-hálók
- 4.1.1. A Petri-hálók felépítése
- 4.1.2. A Petri-hálók dinamikus viselkedése
- 4.1.3. A tüzelés algebrai jellemzése
- 4.1.4. Kiterjesztések: a tüzelési szemantika módosítása
- 4.1.5. A Petri-hálók viselkedési tulajdonságai
- 4.1.6. A Petri-hálók strukturális tulajdonságai
- 4.1.7. A Petri-hálók analízismódszerei
- 4.2. Magas szintű Petri-hálók
- 4.3. Időzített automaták
- 4.1. Petri-hálók
- 5. A működés ellenőrzése: formális verifikáció
Kiadó: Akadémiai Kiadó
Online megjelenés éve: 2016
ISBN: 978 963 059 845 3
Hivatkozás: https://mersz.hu/janossy-tasnadi-vektorszamitas-i//
BibTeXEndNoteMendeleyZotero
gomb segítségével választhatsz, hogy fejezetről fejezetre lapozva vagy inkább folyamatosan görgetve olvasnád-e a könyvet.
