Boole kielégíthetőség képletű
Ez a témakör tartozik a fórumban:
Unió és B halmaz halmaza, amely az összes ilyen és csak azokat az elemeket, amelyek tartoznak legalább az egyik készlet A. Peresecheniemmnozhestv A és B halmaz, mely azon és csak azokat az elemeket, amelyek tartoznak.
Mit tegyünk a kapott anyag:
Minden téma ebben a szakaszban:
Halmazelmélet.
Több Snazyvaetsya egyesítés egyetlen tárgy, könnyen megkülönböztethető a gondolat vagy intuíció. Ezek a tárgyak az úgynevezett elemek
Tulajdonságok alcsoportok.
1. reflexivitás. A halmaz részhalmaza A:
Algebra halmazelmélet.
Bármilyen set A, B és C is megvalósítható következő azonosságokat: 1. kommutatív jog
Tuple.
Tuple a rendezett halmaz elemei. Tuple jellemzi az elemek és a sorrendje elrendezés. Az elemek a leírónak nevezett komponentami.Kompon
Graph és tulajdonságait a grafikon
Az ütemezés a párok halmaza. Grafikonok lehet meghatározni. 1. A lista:
Compliance.
Compliance hármas fajta. Ebben az esetben,
Kapcsolat.
Attitude egy pár formájában úgy, hogy az FÍM
Tranzitivitás.
Az arány az úgynevezett tranzitív, ha minden x, a feltétel: xjy és yjz Þ xjz vagy F
Equivalence formula.
1) kommutativitás AVV º º VVA AB BA 2) asszociativitási AV (VVS) º (AVV) VC A (BC) º (AB) C
Különböző formái beszéd bemutatása
A levél - az elem nyilatkozatok x vagy annak tagadásával. Elemi diszjunkciót kifejeződése a következő formában:
A matematikai logika.
Segítségével a matematikai logika, akkor: · megoldani logikai problémákat; · Végrehajtása technikai eszközök. Segítségével logikai m
Quine módszer.
Quine módszer algoritmus a következő lépéseket tartalmazza: 1. Bármely képletű
minimalizálása kártya módszer.
eljárás minimalizálja leképezési algoritmust a következő lépéseket tartalmazza: 1. megadott képietek a PDNF. 2. táblázatot összes lehetséges kombinációját változók. 3.
minimalizálás módszerrel Veitch térképeket.
Veitch eljárás térképek algoritmus a következő lépéseket tartalmazza: 1. Minden képlet adott PDNF. 2. Mapping Veitch. Veitch térkép - egy táblázat az összes lehetséges
Boole-függvények és tulajdonságaik.
Boole-függvény egy n-változós függvény, ami veszi a értéke 1 vagy 0, valamint annak érvek is vannak beállítva, hogy 1 vagy 0. logikai fu
Funkcionális teljesség. Post-tétel.
Funkcionális sor logikai funkciók - egy sor funkciót, amely lehetővé teszi minden olyan funkciót, a matematikai logika, hogy leírja a jellemzőit a készletben
A logika az állítmány.
Állítmány - olyan összetett állítás, amely esetben az értéke, és
előfordulási mátrix
Mátrix esetén - a mátrix csúcsok és az élek incidens nekik. Doug incidens fel, ha ez ív indul vagy érkezik a ver
szomszédsági mátrix
Kapcsolódó arc - ez ív esemény egyik csúcsa. Szomszédos csúcsot - csúcsok esetet egy ív. A szomszédsági mátrix -
Euler gráf.
Euler lánc nevezzük lánchosszabbító egész szélei a gráf. Euler-ciklus az úgynevezett Euler lánc kiindulási és zakanchivayuschayas
A több belső stabilitást gráf
Sok belső stabilitása a grafikon - egy sor nem-szomszédos csúcsok. Adott egy gráf
Több külső, a stabilitás gráf
Több külső, a stabilitás - a csomópontok halmaza, amelyek egyike az alábbi szabályokat: 1). Minden csúcs a készletben
A több utak a grafikonon
By szomszédsági mátrix lehet meghatározni, hogy hány különböző módon áll fenn az i-j- és az egyik csúcsot hosszúságú
Algoritmus hullámfront. Keresés minimális utat egy grafikonon.
Az egyik leggyakoribb probléma a gráfelmélet a feladata megtalálni a minimális utat a grafikonon. Vegyünk néhány ingatlan minimális utak 1. Bármely E
Longline-párhuzamos grafikon formájában
Egy gráf nem hurkok, lehet képviseli formájában egy párhuzamos-halmozott. Longline-párhuzamos formában - egy típusú grafikon, amely a felső szint a nulla helyiségek
Az algoritmus összehangolni grafikon halmozott párhuzamos formában.
1. tevő mátrixok szomszédossági grafikon. 2. A szomszédsági mátrix látható a keresésének nulla oszlopokat. Csúcsok, amelyek megfelelnek a nulla oszlopok kerülnek tier nulla.
Fák és erdők
Elkülönítve csúcsokat nevezzük, melyek nem ezeket összekötő csúcsok módon. Bontatlan úgynevezett csúcsok, amelyek között lényegében
Algoritmus megszerzésének fát a grafikonon
1. Válassz bármely csúcspont. Counter i Feltételezzük egyenlő 1 (i = 1). 2. Ha i = k, akkor a fa épül. 3. Ha i ¹ k, van kiválasztva
algoritmusok elmélete
Algoritmus - pontos, egyértelmű utasítást arról, hogy milyen lépéseket és milyen sorrendben kell megoldani minden problémát az osztály a hasonló problémákat.
A funkció vetítési
(4.3) átalakítási szabályok Funkciók 1. szabály
Turing-gép
Ha a megoldás a probléma tömeges algoritmus ismert, akkor annak végrehajtása csak tisztán kell alkalmazása az algoritmus követelményeknek. Automatizmus végrehajtásához szükséges az algoritmus
Markov normál algoritmusok
Normál Markov algoritmus egy permutációs rendszer. (4.10)
Törvények gép működését.
Attól függően, hogy a jogszabályok működésének különbözteti 3 típusú gépek: 1. Az első típusú vagy automata Miles:
minimalizálása automaták
A bemeneti szó halmaza érkező jelek a bemenet. Kimeneti szó az úgynevezett jelkonstelláció a kimeneten.
Minimalizáló algoritmus Mealy automatát
1. A kimeneti tábla azonosak az állami kimeneti jelek. Ezek a feltételek együttesen osztályba odnoekvivalentnyh Államok. Futnia végzik. 2. táblázat áthelyezése
Átmenet a Lisztes automatát be Moore automaták
Lisztes és Moore automaták különböző kimeneti funkciót. Lisztes Machine: (
Az átmenet a Moore Lisztes gép
Az átmenet a Moore Lisztes gép építeni kimeneti tábla. Az építkezés áll az esetben a kimenet jelölés állapotát kereszteződés táblázatban megjelölt