-
Dokaz pravilnosti sklepa
- 1. Dam predpostavke
- poskušam izpeljati zaključek s pravili sklepanja
- S pogojnim sklepom, tam kjer imam implikacijo, vzamem prvi člen, ter poskušam najti drugega
- Protislovje: Tam kjer imam implikacijo, negiram implikacijo ter to dam kot predpostavko, ter poskušam najti en protiprimer
-
Kaj je komplement grafa
- Različni točki u in v sosedi v grafu G(črtica) natnko tedaj, ko nista sosedi v G.

-
Kromatično število grafa
Najmanjše število barv s katerimi se da graf pobarvati.
-
Kdaj je graf regularen
Takrat ko imajo vse njegove točke isto stopnjo.
- Točka stopnje 0: Izolirana točka
- Točka stopnje 1: List grafa
- Točka stopnje 3: Kubični graf
Točka poljubne stopnje: d-regularen
-
Kaj je sprehod v grafu, pravila, dolžina sprehoda.
- Je zaporedje, pri čemer sta vsaki zaporedni točki sosedi.
- Sprehod ima začetek in konec, to sta krajišči sprehoda.
- Sprehod v začetku u in koncu v pravimo tudi u-v sprehod.
- Sprehod sme isto povezavo uporabiti večkrat, prav tako, ravno tako lahko posamezno povezavo uporabi v različnih smereh.
Dolžino sprehoda S označimo z |S|, ter je enaka številu uporabljenih povezav, upoštevamo tudi število ponovitev.
-
Kdaj je graf povezan?
Če za poljubni dve točki u v, obstaja u-v sprehod.
-
Razdalja med točkama u-v v grafu
Je dolžina najkrajšega u-v sprehoda v grafu.
-
Eulerjev obhod
- Enostaven obhod, ki vsebuje vse povezave največ enkrat ter se zaključi na začetku.
 - Graf G je eulerjev, če ima kak eulerjev obhod.
-
Hamiltonov cikel
- Je cikel, ki vsebuje vse točke grafa.
 - Hamiltonov pot: Vsebuje vse točke
- Hamilnotnov cikel: vsebuje vse točke in se vrne v začetno
-
Kdaj sta grafa izomorfna
Kadar ohranja število vozlišč, število povezav, stopnje vozlišč, število trikotnikov.
-
Kdaj je graf poln
- Graf je poln če sta vsaki njegovi točki sosedi

-
Kdaj je graf prazen
Kadar nobeni točki nista sosedi.
-
Kdaj je graf dvodelen?
Kadar ga lahko pobarvam z dvema barvama.
-
Sklep s protislovjem
Negiram sklep, ter poskušam najti protiprimer
-
Pogojni sklep
- Dela samo za implikacijo
- Vzamem prvi del ter poskušam najti drugega.
-
Tavtologija
Logični izraz ki ima v vseh naborih logično vrednost 1
-
Protislovje
Je izraz, ki ima v vseh naborih logično vrednost 0
-
Kaj je doseg kvantifikatorja?
Je najkrajša izjavna formula ki jo preberemo neposredno za lastno spremenljivko posameznega kvantifikatorja.
-
Drevo
- Drevo je povezan graf brez ciklov.

-
Gozd
- Gozd je graf brez ciklov

-
-
Izračun GCD nalog
- Izračunam največji skupni deljitelj
- (predzadna vrstica)+ t*(zadna)
- Primer
- -34*828 + 14*2016 + t*(56*828-23*2016)
- 828*(-34+56t) + 2016*(14 - 23t)
-
Kdaj je relacija R ekvivalenčna
Kadar je refleksivna, simetrična, tranzitivna.
-
Kaj je ekvivalenčni razred relacije
R[a] ={x|xRa}
Ekvivalencni razred elementa a∈A je mnozica vseh tistih elementov mnoziceA, ki so v relaciji z a.
-
-
Prenesena normalna oblika
Kvantifikatorji se nahajajo na začektu
|
|