tento topic zakladam presne z tychto istych dovodov ako http://www.tu-ke.com/forum/2-rocnik/zaklady-elektroniky-(all) (http://www.tu-ke.com/forum/2-rocnik/zaklady-elektroniky-(all))
takze vsetci co chodia na mat.logiku a maju info ako bude prebiehat semester ake su zapoctovky atd atd ...pls tu postujte
dobre, panove, prosim vas kedy su cvika z logiky? lebo som si akosi neurobil rozvrh na leto:-D
Quote from: kilomassa on 16.02.2009, 04:12:08
tento topic zakladam presne z tychto istych dovodov ako http://www.tu-ke.com/forum/2-rocnik/zaklady-elektroniky-(all) (http://www.tu-ke.com/forum/2-rocnik/zaklady-elektroniky-(all))
takze vsetci co chodia na mat.logiku a maju info ako bude prebiehat semester ake su zapoctovky atd atd ...pls tu postujte
myslim ze vacsinu veci sa clovek dozvie na prvom cviku a prednaske no :) vzhladom na to ze kazdy rok sa to moze menit a teraz hlavne kvoli tym bonusovym 9-tim bodom za prednasky co budu, tak uvidime ako to bude....
kazdopadne minuly rok sa zapocet skladal u Skrivanka z dvoch zapoctoviek, projektu (zadania) a aktivity (za 40b dokopy) :) , ak sa nemylim
Quote from: navarro on 16.02.2009, 04:24:04
dobre, panove, prosim vas kedy su cvika z logiky? lebo som si akosi neurobil rozvrh na leto:-D
...si to mozes pozriet jednoducho na ISku, mas to tam komplet vsetko (i ked trosku nechapem ako si to za cele leto nestihol :trestac:)
Quote from: navarro on 16.02.2009, 04:24:04
dobre, panove, prosim vas kedy su cvika z logiky? lebo som si akosi neurobil rozvrh na leto:-D
...si to mozes pozriet jednoducho na ISku, mas to tam komplet vsetko (i ked trosku nechapem ako si to za cele leto nestihol :trestac:)
[/quote] hmm ta bo som debil...som si spravil rozvrh len na zimu a ze na leto mam reku cas, som nevedel ze to treba spravit na cely rok...diky uz som nasiel na siku ten rozvrh
Quote from: Korgen on 16.02.2009, 05:06:20
myslim ze vacsinu veci sa clovek dozvie na prvom cviku a prednaske no :) vzhladom na to ze kazdy rok sa to moze menit a teraz hlavne kvoli tym bonusovym 9-tim bodom za prednasky co budu, tak uvidime ako to bude....
kazdopadne minuly rok sa zapocet skladal u Skrivanka z dvoch zapoctoviek, projektu (zadania) a aktivity (za 40b dokopy) :) , ak sa nemylim
hm a co mas predstavu o com je to zadanie a a ta aktivita????
zadanie: no minule to bolo konkretne: "vytvorenie teorie niejakej stranky bezneho zivota a jej jazyk" , ale to az pocas semestra sa dozvies ze co to je a ako na to, taka somarinka, nic hrozne ;) dont worry :P
aktivita: u Skirvanka asi male pisomky nahodne na cvikach, ked sa mu zachcelo, napln z predosleho cvika, ale kazdopadne teraz to bude vdaka tym 9 bodom dost pomenene, mozno to bude namiesto tych bodov za aktivitu :)
tusim sa vo vyhlaseni dokonca pise, ze zalezi na ucitelovi, akou formou bude pridelovat body za prednasky. to znamena, ze to zrejme budu nejake tie pisomky, teda tipujem ze minimalne Telepovska bude tak mat :) (DBS 3.roc)
jo, len skrivanek odmietol davat body za ucast na prednaskach, tak uvidime ci sa premoze alebo to bude za tie male pisomky
komu ide ten portal odkail bude skrivanek skusat? mne nebeere heslo alebo meno a skusal som uz rozne kombinacie neviem nikto poradit?
skrivanek ten predmet uz nema len cvici a body sa davaju za ucast na prednaskach nie za pisomky
a kto ma teraz ten predmet?
Quote from: puq on 23.02.2009, 00:24:40
a kto ma teraz ten predmet?
vsetkych 5 cvik ma pan Skrivanek, a obe prednasky prednasa Myskova
Quote from: kilomassa on 22.02.2009, 22:05:49
komu ide ten portal odkail bude skrivanek skusat? mne nebeere heslo alebo meno a skusal som uz rozne kombinacie neviem nikto poradit?
ja sa tam neviem ani preklikať aby som niečo zadával
EDIT: heh poriadne pozerať treba :P ide všetko :)
Quote from: Korgen on 23.02.2009, 01:21:36
Quote from: puq on 23.02.2009, 00:24:40
a kto ma teraz ten predmet?
vsetkych 5 cvik ma pan Skrivanek, a obe prednasky prednasa Myskova
a kto je ta myskova? :D no neviem podla mna to ma pod palcom tak ci tak skrivanek ;)
Quote from: puq on 24.02.2009, 23:33:00
a kto je ta myskova? :D no neviem podla mna to ma pod palcom tak ci tak skrivanek ;)
vyzera to tak, obcas sa spyta, ci ta alebo ta vec je dolezita a ako sme to mali minuleho roku....atd...radsej sa orientujem podla cvik :)
aj hovorila, že prednáša prví krát a aj preto lebo Skřívánek kvôli niečomu "nemôže"
co ma byt vlastne obsahom toho projektu? ako to ma byt spracovane, nejake formalne nalezitosti a pod..
Quote from: timwood on 05.03.2009, 00:24:17
co ma byt vlastne obsahom toho projektu? ako to ma byt spracovane, nejake formalne nalezitosti a pod..
to ani ja netuším
ináč čo myslíte, bude zase písomka ráno a iné skupiny nič? :)
Quote from: Aniy on 17.03.2009, 01:59:51
Quote from: timwood on 05.03.2009, 00:24:17
co ma byt vlastne obsahom toho projektu? ako to ma byt spracovane, nejake formalne nalezitosti a pod..
to ani ja netuším
ináč čo myslíte, bude zase písomka ráno a iné skupiny nič? :)
zas da vam hehe :evica: :evica:
tiež myslím, preventívne som do toho ani nepozrel
ake boli otazky na zapoctovke?
Quote from: Sxx on 09.04.2009, 00:25:55
ake boli otazky na zapoctovke?
ona už bola?
3tiaci mali o tyzden skor, vraj
Neviete niekto ,ze ma byt na tej zapoctovke?
Myslim si ,ze cokolvek pomoze :)
mam, otazku: Kedy je SYSTEM formul splnitelny???
a taktiez kedy relacia vyplyva...zo SYSTEMU formul.... napr. p & q, q ⇐⇒ r |= p ⇒ r
...keby si sa ucil....by si vedel =P
npisal by niekto ulohy z prvej zapoctovky a ci niekto vie o com ma byt zadanie
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:
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
Quote from: Kuko 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
tiez som marne cakal ze tu niekto napise =( ...som zvedavy ako nam to teta Myskova ohodnoti.....sak uvidime v utorok =/
co bolo stredu na skuske? pochvalte sa
ja viem len to.....ze bola skolemizacia a vecsinou otazky z poslednych cvik (ako na vsetkym matikach zvyklo byt)
zdravím surne potrebujem presné znenie zadania z ML, a na skrivanekovej stranke uz dajak nic neni... nemate niekto? dakujem!!!!
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.
;)
Quote from: !Cica! 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.
;)
toto presne, dakujem!!!
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 :)
ta elegancia tam je nadherna :D :buttrock:
no chlapci tak čo bolo? som počul, že pár ľudí by si to malo dosť detailne pamätať :)
bolo by fakt dobré ak by sa všetci podelili o tom..niekto má aj nejaké tie info tak nech pastne
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?
.....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.....
www.valal.sk/upload/savefile_php/uploads/eec06c021d.jpg (http://www.valal.sk/upload/savefile_php/uploads/eec06c021d.jpg)
www.valal.sk/upload/savefile_php/uploads/583bbd5d3e.jpg (http://www.valal.sk/upload/savefile_php/uploads/583bbd5d3e.jpg)
otazky z predterminu, ma niekto co boli na prvom riadnom?
??? nema niekto tu zbierku uloh od RNDr. Helena Myšková, PhD. ? na prednaskach nieco spominala :)
Quote from: Kuko on 08.06.2009, 02:15:31
??? nema niekto tu zbierku uloh od RNDr. Helena Myšková, PhD. ? na prednaskach nieco spominala :)
bu
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
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 ;)
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))
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)
???
Quote from: kukoca on 08.06.2009, 19:33:05
(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)) ]
hej hej, lebo bez zotvorky neplati na cele
bv skusal niekto pocitat tie priklady z toho screenu ? konkretne ten 7. priklad ze ako vam vysiel ? :(
Sorry že toľko spamujem, ale
(Existuje y) Q(g(y),P(y))
nie je formula, že ?
Nie som si istý ale to P tam nesmie byť ? Mám pravdu ?
www.valal.sk/upload/savefile_php/uploads/59fa989627.jpg (http://www.valal.sk/upload/savefile_php/uploads/59fa989627.jpg)
www.valal.sk/upload/savefile_php/uploads/0d0417abd8.jpg (http://www.valal.sk/upload/savefile_php/uploads/0d0417abd8.jpg)
from Roman
www.valal.sk/upload/savefile_php/uploads/f3391d85eb.rar (http://www.valal.sk/upload/savefile_php/uploads/f3391d85eb.rar)
from Matus and Lukas
Prosim vie mi niekto poradi ? Ked urcujem rezolucnou metodou ci je splnena mnozina vyrokovej logiky a vyde mi prazdna rezolventa tak to znamena ze je splnitelna ci nie je :( ? bu
Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím. bk
Quote from: byglajs on 09.06.2009, 16:48:32
Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím. bk
diky :) ;)
www.valal.sk/upload/savefile_php/uploads/0bb87e1aaf.jpg (http://www.valal.sk/upload/savefile_php/uploads/0bb87e1aaf.jpg)
5 priklad prepocitany z 13.5
from roman
thx
Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik. bv
Quote from: byglajs on 09.06.2009, 23:12:38
Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik. bv
tak co mne hovorili kamosi co uz pisali ze pri nej sa da v pohode opisovat ze len zasadne za katedru a sedi si tam ...tak by nemal byt problem s tym ze ti vezme tahak :emot-dance: .... no ale mozno nam pride niekto iny na dozor :emot-rolleyes:
No tak keď bude tak ako hovoríš, tak bude dobre :)
mate v systeme uz vysledky dnesnej skusky?