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 prspevky 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) ?