
This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.
Zobrazi� pr�spevky MenuQuote from: mirek on 25.11.2010, 23:02:17Quote from: FRODO on 25.11.2010, 22:29:17nieco o sietach - nastavovanie rozhrani a smerovanie.
a co tam bolo dnes?
Quote from: Safyia on 22.11.2010, 19:56:59
kto by mi vedel vysvetlit polopatisticky to tretie zadanie? :/
Quote from: ghost on 18.11.2010, 21:40:29
prosim vas mohol by niekto napisat ako riesit 6.priklad
dakujem
Quote from: Eriik on 18.11.2010, 21:10:13
ešte k tým príkladom .. ako by ste spravili v štvorke C a D ? je to tam nejaké divné
Quote from: Catalina on 18.11.2010, 20:48:53
ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)
QuoteHovoríme, že formula φ je sémantickým dôsledkom množiny formúl S (vyplýva z množiny formúl S), keď je pravdivá pri každom ohodnotení výrokových premenných, pri ktorom je pravdivá každá formula z množiny S.
Quote from: Eriik on 18.11.2010, 20:30:14
Zdravím, neviete ako sa toto zátvorkuje ?
xVy=>z
je to toto ? (xVy)=>z alebo toto ? xV(y=>z) ?