Author Topic: Matematická logika-(all)  (Read 18038 times)

hudyy

  • Newbie
  • *
  • Posts: 6
    • View Profile
Re: Matematická logika-(all)
« Reply #25 on: 21.04.2009, 03:39:58 »
a taktiez kedy relacia vyplyva...zo SYSTEMU formul.... napr.   p & q, q ⇐⇒ r |= p ⇒ r

!Cica!

  • Full Member
  • ***
  • Posts: 186
  • Kto ma nepozná môže ?utova?,kto ma pozná už ?utuje
    • View Profile
Re: Matematická logika-(all)
« Reply #26 on: 21.04.2009, 15:37:35 »
...keby si sa ucil....by si vedel =P

kilomassa

  • Sr. Member
  • ****
  • Posts: 289
    • View Profile
Re: Matematická logika-(all)
« Reply #27 on: 27.04.2009, 23:50:59 »
npisal by niekto ulohy z prvej zapoctovky a ci niekto vie o com ma byt zadanie

drobcek

  • Newbie
  • *
  • Posts: 10
    • View Profile
Re: Matematická logika-(all)
« Reply #28 on: 29.04.2009, 03:04:56 »
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.... :baaa:

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #29 on: 01.05.2009, 18:25:49 »
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  bv ) bu

!Cica!

  • Full Member
  • ***
  • Posts: 186
  • Kto ma nepozná môže ?utova?,kto ma pozná už ?utuje
    • View Profile
Re: Matematická logika-(all)
« Reply #30 on: 11.05.2009, 07:16:11 »
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  bv ) bu
tiez som marne cakal ze tu niekto napise =( ...som zvedavy ako nam to teta Myskova ohodnoti.....sak uvidime v utorok =/

Sxx

  • Sr. Member
  • ****
  • Posts: 329
    • View Profile
Re: Matematická logika-(all)
« Reply #31 on: 11.05.2009, 16:15:57 »
co bolo stredu na skuske? pochvalte sa


!Cica!

  • Full Member
  • ***
  • Posts: 186
  • Kto ma nepozná môže ?utova?,kto ma pozná už ?utuje
    • View Profile
Re: Matematická logika-(all)
« Reply #32 on: 11.05.2009, 16:52:15 »
ja viem len to.....ze bola skolemizacia a vecsinou otazky z poslednych cvik (ako na vsetkym matikach zvyklo byt)

sunar007

  • Newbie
  • *
  • Posts: 12
    • View Profile
Re: Matematická logika-(all)
« Reply #33 on: 13.05.2009, 16:05:46 »
zdravím surne potrebujem presné znenie zadania z ML, a na skrivanekovej stranke uz dajak nic neni... nemate niekto? dakujem!!!!

!Cica!

  • Full Member
  • ***
  • Posts: 186
  • Kto ma nepozná môže ?utova?,kto ma pozná už ?utuje
    • View Profile
Re: Matematická logika-(all)
« Reply #34 on: 13.05.2009, 18:38:19 »
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

  • Newbie
  • *
  • Posts: 12
    • View Profile
Re: Matematická logika-(all)
« Reply #35 on: 13.05.2009, 19:21:47 »
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

  • Sr. Member
  • ****
  • Posts: 281
  • But my dreams, they aren't so empty....
    • View Profile
Re: Matematická logika-(all)
« Reply #36 on: 14.05.2009, 05:25:37 »
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 :)
Byt mŕtvy, nebyť.....je sladké preto, že je to omnoho viac než spánok, je to mier, upokojenie, koniec bolesti a trampôt; ale túto vrcholnú slasť, akú možno ľudskému tvorovi dopriať, mŕtva bytosť už neprežíva, necíti.

!Cica!

  • Full Member
  • ***
  • Posts: 186
  • Kto ma nepozná môže ?utova?,kto ma pozná už ?utuje
    • View Profile
Re: Matematická logika-(all)
« Reply #37 on: 14.05.2009, 05:54:22 »
ta elegancia tam je nadherna  :D  :buttrock:

Aniy

  • Hero Member
  • *****
  • Posts: 549
    • View Profile
    • AnimeXpo
Re: Matematická logika-(all)
« Reply #38 on: 16.05.2009, 18:05:55 »
no chlapci tak čo bolo? som počul, že pár ľudí by si to malo dosť detailne pamätať :)


kilomassa

  • Sr. Member
  • ****
  • Posts: 289
    • View Profile
Re: Matematická logika-(all)
« Reply #39 on: 16.05.2009, 20:47:18 »
bolo by fakt dobré ak by sa všetci podelili o tom..niekto má aj nejaké tie info tak nech pastne

angryturtle

  • Newbie
  • *
  • Posts: 33
    • View Profile
Re: Matematická logika-(all)
« Reply #40 on: 26.05.2009, 16:26:40 »
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!

  • Full Member
  • ***
  • Posts: 186
  • Kto ma nepozná môže ?utova?,kto ma pozná už ?utuje
    • View Profile
Re: Matematická logika-(all)
« Reply #41 on: 26.05.2009, 17:51:46 »
.....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

  • Full Member
  • ***
  • Posts: 146
    • View Profile
Re: Matematická logika-(all)
« Reply #42 on: 06.06.2009, 18:07:18 »

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #43 on: 08.06.2009, 02:15:31 »
 ???  nema niekto tu zbierku uloh od RNDr. Helena Myšková, PhD. ? na prednaskach nieco spominala :)

Kuko

  • Jr. Member
  • **
  • Posts: 91
    • View Profile
Re: Matematická logika-(all)
« Reply #44 on: 08.06.2009, 17:43:46 »
???  nema niekto tu zbierku uloh od RNDr. Helena Myšková, PhD. ? na prednaskach nieco spominala :)
bu

byglajs

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #45 on: 08.06.2009, 18:49:15 »
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

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #46 on: 08.06.2009, 19:06:29 »
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

  • Jr. Member
  • **
  • Posts: 68
    • View Profile
Re: Matematická logika-(all)
« Reply #47 on: 08.06.2009, 19:33:05 »
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

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #48 on: 08.06.2009, 19:36:51 »
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

  • Jr. Member
  • **
  • Posts: 65
    • View Profile
Re: Matematická logika-(all)
« Reply #49 on: 08.06.2009, 19:43:51 »
(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)) ]