Matematická logika-(all)

[hudyy]

a taktiez kedy relacia vyplyva...zo SYSTEMU formul.... napr.   p & q, q ⇐⇒ r |= p ⇒ r

[!Cica!]

...keby si sa ucil....by si vedel =P

[kilomassa]

npisal by niekto ulohy z prvej zapoctovky a ci niekto vie o com ma byt zadanie

[drobcek]

To čo mu máme vlatsne poslať na mail do 1.mája??? Resp co tam ma byt v celom tom projekte??ako to ma vyzerat??Nema niekto dajke priklady??dik....

[Kuko]

nevie niekto aku ma stranku ujo Skrivanek tam kde su tie temy co su uz obsadene  a nema niekto stare temy z minuleho roku abo tak (cisto pre inspiraciu  )

[!Cica!]

nevie niekto aku ma stranku ujo Skrivanek tam kde su tie temy co su uz obsadene  a nema niekto stare temy z minuleho roku abo tak (cisto pre inspiraciu  )

tiez som marne cakal ze tu niekto napise =( ...som zvedavy ako nam to teta Myskova ohodnoti.....sak uvidime v utorok =/

[Sxx]

co bolo stredu na skuske? pochvalte sa

[!Cica!]

ja viem len to.....ze bola skolemizacia a vecsinou otazky z poslednych cvik (ako na vsetkym matikach zvyklo byt)

[sunar007]

zdravím surne potrebujem presné znenie zadania z ML, a na skrivanekovej stranke uz dajak nic neni... nemate niekto? dakujem!!!!

[!Cica!]

Zadania coho?....
....ak projektu, tak mas vytvorit vlastny jazyk predikatovej logiky, ktorim popises nejaku udalost (pravidla hry, stavbu mosta....)....je to len na tebe. Musi to vsak obsahovat upravu vyroku (alebo vety) z 1. matematickeho zapisu na: 2.prenexny tvar, 3. Otvoreny skolemovsky variant a 4. Rozbitie na klauzuly
To je asi vsetko.....a este: malo by to mat aspon 5vyrokov a v kazdom spravit 1.,2.,3.,4.

[sunar007]

Zadania coho?....
....ak projektu, tak mas vytvorit vlastny jazyk predikatovej logiky, ktorim popises nejaku udalost (pravidla hry, stavbu mosta....)....je to len na tebe. Musi to vsak obsahovat upravu vyroku (alebo vety) z 1. matematickeho zapisu na: 2.prenexny tvar, 3. Otvoreny skolemovsky variant a 4. Rozbitie na klauzuly
To je asi vsetko.....a este: malo by to mat aspon 5vyrokov a v kazdom spravit 1.,2.,3.,4.

toto presne, dakujem!!!

[zuzanka]

z ujovych kurikul:
Podmienky pre získanie zápočtu:
Získať aspoň 21 bodov z maximálneho počtu 40 za dochádzku na prednášky (9), z priebežného kontrolného testu v 9. týždni semestra (16), semestrálneho projektu (10) a od cvičiaceho (5). Semestrálny projekt treba odovzdať do konca 12. týždňa semestra. Spočíva vo vytvorení  teórie nejakej stránky bežného života spolu s jej jazykom. Súčasťou projektu je logicky ekvivalentný prenexný tvar axióm, otvorený skolemovský variant ich
uzáveru v klauzulárnom tvare a separácia klauzúl.


Pri hodnotení projektu sa zohľadňuje:

•   charakterizácia jazyka a jeho špeciálnych symbolov
•   interpretácia špeciálnych symbolov v typickej štruktúre
•   adekvátnosť prekladu axióm do formálneho jazyka
•   presnosť transformácie axióm na klauzuly pre použitie rezolučnej metódy
•   úspornosť a konzistentnosť jazyka a teórie
•   bohatosť teórie
•   originalita a elegancia
***************************************
trimem palec

[!Cica!]

ta elegancia tam je nadherna   

[Aniy]

no chlapci tak čo bolo? som počul, že pár ľudí by si to malo dosť detailne pamätať

[kilomassa]

bolo by fakt dobré ak by sa všetci podelili o tom..niekto má aj nejaké tie info tak nech pastne

[angryturtle]

nevie tu nikto pomoct s otazkami co bolo na predtermine?? kolko bodo je za teoriu kolko za priklady?...ake otazky priblizne z teorie a z prikladov?

[!Cica!]

.....este ze tu som...bo kazdy navas serie:

5 priklady
6 teoria

cas dve hodky.....a bolo vsetko co sa da...:
NKT, MDT, rezol. metoda, jednoduchy vyrok, "ktore su formuly", literal, predik. logika.....

[skorec1]

www.valal.sk/upload/savefile_php/uploads/eec06c021d.jpg
www.valal.sk/upload/savefile_php/uploads/583bbd5d3e.jpg

otazky z predterminu, ma niekto co boli na prvom riadnom?

[Kuko]

   nema niekto tu zbierku uloh od RNDr. Helena Myšková, PhD. ? na prednaskach nieco spominala

[Kuko]

  nema niekto tu zbierku uloh od RNDr. Helena Myšková, PhD. ? na prednaskach nieco spominala

[byglajs]

Vie niekto ako vypočítam, či formula pod čiarou je dôsledkom formúl nad čiarou , bez rezolučenej metódy ? Bude treba použiť tie 3 axiómy a MP ?
¬(x & y)           
¬x
---------
y

[byglajs]

A ešte tá tretia otázka môže to byť takto ?

M(x) - x je maliarom
H(x) - x je hudobník
o(x) -  priradí človeku x otca
m(x) - priradí človeku x matku

a)   Niečí otec je hudobník, ale matka nie je maliarka .

(Existuje x ) ((o(x) & H(x)) => (m(x) & ¬M(x))

Hej a ešte skorec1 vďaka za screeny 

[kukoca]

no toto asi nie, co tam hlada implikacia?
podla mna skor(ale na 100% nie je to iste):

(Existuje x )   H(o(x)) & ( ¬M(m(x))

[byglajs]

No ja som najprv tiež takto myslel. Ale potom som rozmýšľal či môže byť to H(o(x)) , či to nemusí byť nejako rozdelené napr.  o(x) & H(x)

[byglajs]

(Existuje x )   H(o(x)) & ( ¬M(m(x))

Inak s tou implikáciou máš asi pravdu. Ale ešte keď používaš ten existenčný kvantifikátor, tak tam nemusia byť ešte jedné zátvorky ?
(Existuje x) [  H(o(x)) & ( ¬M(m(x)) ]