Matematicka logika

[Makaveli]

Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?

ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..

[Shwollo]

na skúšku sa môžem zapísať na ktorú chcem?

[yvory]

Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?

ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..

ja som tiez nemal ale ked som jej napisal mail tak mi ho tam napisala,problemom moze byt bud to ze nemate dostatok bodov,alebo mate privela neospravedlnenych hodin alebo jednoducho na vas zabudla,najskor vylucte dve moznosti a tretiu rieste

[Makaveli]

Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?

ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..

ja som tiez nemal ale ked som jej napisal mail tak mi ho tam napisala,problemom moze byt bud to ze nemate dostatok bodov,alebo mate privela neospravedlnenych hodin alebo jednoducho na vas zabudla,najskor vylucte dve moznosti a tretiu rieste

tak s tim ze malo bodov asi nebude kedze poznam jedneho co mal 4 body a dvakrat chýbal a ma uz zapisane a ja som chýbal len raz a nic  z toho a tiež viem že on ani jednu ospravedlnenku jej nedal

[GryfonN]

 
este raz pre moj pokojny spanok sa chcem spytat , mi co sme prihlaseny v maise na 7:00 matika v ZP1 tak mame predtermin o 9:55 realne ?

[elros]

este raz pre moj pokojny spanok sa chcem spytat , mi co sme prihlaseny v maise na 7:00 matika v ZP1 tak mame predtermin o 9:55 realne ?

Ano, 9:55 , normalne ako prednaska je predtermin, v maise to je len tak, aby sa jej to nekrylo z prednaskou

[scorpi]

ako by ste toto robili?
Použite vetu o dedukcii pre nasledujúci príklad:
Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.

[elros]

ako by ste toto robili?
Použite vetu o dedukcii pre nasledujúci príklad:
Bude pršat.
Zoberiem si dáždnik.
Nezmoknem.

Bude pršat.                                   
Ak si zoberiem dáždnik, nezmoknem

[neucilasom]

Ty co ste pisali opravnu pri Drazenskej, mate uz zapisany zapocet?

ja nemam a viem aj o dalsej osobe ktora nema a co ostatny neviem..

Ja som mal zapocet spraveny a isiel som na opravnu a uz v sobotu som to mal na maise tak neviem. Skus napisat maila miesto pocul som o jednom ze vraj ....

[j.ferko]

musim ist na cvicko teraz v 13tom tyzdni, ak som nebol na predtermine ?

[revelc]

musim ist na cvicko teraz v 13tom tyzdni, ak som nebol na predtermine ?

nemusis

[v_oid]

No, nie som z toho predterminu prilis nadseny :-/

[black_stone]

Ake typy prikladov boli ? Boli aj take co sme mali riesit na zapocte ?

[v_oid]

Hej, Karnaughova mapa bola, rezolucna metoda, potom tie smiesne co trebalo zapisat formalne slovne vyroky, no a dalej napisat klauzarny tvar - to bolo za 9 body ... :-/

[ghost]

prosim Vas ,
ten kto robil predtermin u Drazenskej, mohol by prispiet otazkami ktore sa tam objavili

[sulo]

Ktoré termíny skúšok v MAISe sú pre tých, čo mali s Myškovou? Alebo je to jedno?

[cenki]

Ktoré termíny skúšok v MAISe sú pre tých, čo mali s Myškovou? Alebo je to jedno?

4.1 je isto s Myškovou - po prihlásení mi tam píše.

[totaluser]

ale mozem tam ist aj ked som mal prednasky s Drazenskou, ci nie?

[LubomirR]

ale mozem tam ist aj ked som mal prednasky s Drazenskou, ci nie?

Radšej sa vopred dohodni, lebo aj dnes na predtermíne u Myškovej tam ktosi prišiel od Draženskej a nebola z toho nadšená.

[Gabho]

Otazky ktore boli na predtermine s Drazenskou:
Teoria:
1.Definuj literal, elementarnu konjunkciu, elementarnu disjunkciu, DNT, KNT. Uved priklad na formulu v DNT a na formulu v KNT
2. Co je dokaz vo vyrokovej logike. Vysvetlite, kedy je formula G bezprostredným dosledkom F1,F2 .... Fn.
3. Napiste pravidlo rezolucie a rezolucny princip. Na priklade vysvetlite rezolucny uzaver mnoziny T.
4. Uvedte jazyk predikatovej logiky. Uvedte logicke a specialne symboly.
5. Co je term. Bola dana formula, a trebalo rozhodnut, ci je mozne uvedeny term t substituovat za premennu.
6. Vypiste axiomy a odvodzovacie pravidla predikatovej logiky v teorii bez rovnosti.

Priklady:
1. Dana boolovska funkcia, najst minDNT - vyrokova logika
2. Zistit, ci mnozina formul S je splnitelna. - vyrokova logika
3. K danym formulam predikatovej logiky priradit spravne vety (Boli uvedene formuly aj vety). - predikatova logika
4. Upravit formulu na klauzularny tvar. - predikatova logika
5. Zistit, ci formula fi je sematickym dolsedkom mnoziny formul S. - predikatova logika

Znenia su len priblizne, aby ste mali zhruba sajnu, co bolo. Bol este jeden priklad, ale neviem aky.

[v_oid]

Neviete kdeze je zajtra to vyhodnotenie o 11? S Myskovou.

[dotko]

je tu niekto taky kto chodil k drazenskej, bol na opravaku a este stale nema zapisanu znamku na maise? lebo mne sa to stale a uz v utorok som jej pisal mail co sa deje lebo znamky zo zapoctov mali byt uz v pondelok..
nevravela na prednaske alebo tak ze ak niekto nebude mat ospravedlnenky ze mu neda prejst alebo take nieco? lebo ja som asi nemal nejake

[GayLordYebal]

Neviete kdeze je zajtra to vyhodnotenie o 11? S Myskovou.

→ v patek sa mi zda že po cvikach asi 10 30 ... a ked ne ta až po dalšom cviku 12 20 ... ale neber ma za slovo 

[v_oid]

Neviete kdeze je zajtra to vyhodnotenie o 11? S Myskovou.

→ v patek sa mi zda že po cvikach asi 10 30 ... a ked ne ta až po dalšom cviku 12 20 ... ale neber ma za slovo 

Kde, nie kedy.

[Shwollo]

viete nietko odpoveď na toto:

Vysvetlite rozdiel medzi ohodnotením premenných a pravdivostnou hodnotou
formula v predikátovej logike.