Author Topic: Matematická logika  (Read 77664 times)

Dragon

  • Sr. Member
  • ****
  • Posts: 447
  • See you in hell
    • View Profile
Re: Matematická logika
« Reply #200 on: 02.06.2008, 19:13:30 »
ale no  :emot-shakehead: tak napr. mne chybal bod a bez slova ho dopisal  :bananadance: a tiez ostatnym...len sa trebalo ozvat a on velmi ochotne hladal kde sa da pridat...
SONATA ARCTICA       14.11.2009 Cassosport Hall - Košice 

Padres

  • Sr. Member
  • ****
  • Posts: 313
    • View Profile
Re: Matematická logika
« Reply #201 on: 02.06.2008, 19:24:32 »
a pridal niekomu aj 2 a viac bodov? :) lebo co som pocul tak ti co vychadzali hovorili ze nepridal...

Dragon

  • Sr. Member
  • ****
  • Posts: 447
  • See you in hell
    • View Profile
Re: Matematická logika
« Reply #202 on: 02.06.2008, 19:48:44 »
jj pridal dva body z 57b na 59b ale viac nenasiel tak sa dohodli na oprave...a potom zapise lepsiu znamku
SONATA ARCTICA       14.11.2009 Cassosport Hall - Košice 

johnyo13

  • Hero Member
  • *****
  • Posts: 629
  • I can stand my own ground...
    • View Profile
Re: Matematická logika
« Reply #203 on: 04.06.2008, 15:01:54 »
nepamata si niekto kolko bodov bolo zhruba za jednotlive otazky?
zaujima ma hlavne metaveta podla vlastneho vyberu a tie dva priklady! thx...
☼Ѿ☼ ... ☼Ѿ☼

Havran

  • Hero Member
  • *****
  • Posts: 2003
  • Here comes the fuzz
    • View Profile
Re: Matematická logika
« Reply #204 on: 04.06.2008, 16:39:53 »
za metavetu podla vlasteho vyberu bolo asi 12 a za priklady 10 a 8 sa mi zda
Achievement of your happiness is the only moral purpose of your life.

Martin18

  • Jr. Member
  • **
  • Posts: 59
    • View Profile
Re: Matematická logika
« Reply #205 on: 04.06.2008, 17:12:32 »
tu metavetu podla vlastneho vyberu ,zadal aspon kapitolu z ktorej ma byt alebo uplne lubovolna zo vsetkych?

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Matematická logika
« Reply #206 on: 04.06.2008, 17:16:19 »
zada kapitolu (pochopitelne) :)
:trestac:

TradeMark

  • Hero Member
  • *****
  • Posts: 630
  • He ho forgets, will be destined to remember...
    • View Profile
Re: Matematická logika
« Reply #207 on: 04.06.2008, 17:35:43 »
Aka bola teda celkova skladba uloh? 2 priklady, 1 metaveta podla kapitoly a co este?
Pičoch jest veľo, ale nalivačoch malo!

Korgen

  • Sr. Member
  • ****
  • Posts: 349
    • View Profile
Re: Matematická logika
« Reply #208 on: 04.06.2008, 17:43:53 »
Ide to z nich jak z chlpatej deky  ::)

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Matematická logika
« Reply #209 on: 04.06.2008, 17:50:35 »
sak uz davno bolo pisane co ma byt na skuske... skuste prelistovat par stran dozadu ;)
:trestac:

Havran

  • Hero Member
  • *****
  • Posts: 2003
  • Here comes the fuzz
    • View Profile
Re: Matematická logika
« Reply #210 on: 04.06.2008, 19:27:27 »
sk. B
1. dokazat postacujuci system shefferovou algebrou
2. dokazat metavetu zo syntaxe VL
3. napisat def struktury
4. napisat metavetu skolema
5. separacia klauzul (btw bola teoria pribuzenstva a bez jej axiom som bol v <>, tak som len dalej pocital bez nich a len som mu tam uviedol ze by som ich mal pridat :))
6. unifikacia a urcenie rezolventy

btw: viem ze vyhodnotenie je v pondelok na katedre matiky (tusim b621) ale neviete kedy?

opravene thx to DeNaTuReMaN

sak omg dve strany do zadu sa pozret
Achievement of your happiness is the only moral purpose of your life.

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #211 on: 05.06.2008, 00:22:36 »
takze tohto roku sa treba vsetky metavety ucit?lebo ste tu pisali ze jednu da vlastnu podla kapitoly s dokazom,a druhu hocico?takze mi to vyxadza ze vsetky
Subject: how women communicate with computer

Login: yes
Password: i dont have one
password is incorrect...

Login: yes
Password: incorrect

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Matematická logika
« Reply #212 on: 05.06.2008, 00:46:34 »
no naucit sa vsetky... ale dokazat staci vediet len jednu z kazdej kapitoly :)
:trestac:

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #213 on: 05.06.2008, 01:02:24 »
v tyx skriptax su dokazy?
Subject: how women communicate with computer

Login: yes
Password: i dont have one
password is incorrect...

Login: yes
Password: incorrect

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Matematická logika
« Reply #214 on: 05.06.2008, 01:03:27 »
predpokladam ze hej... (aj ked som to este nevidel)
:trestac:

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: Matematická logika
« Reply #215 on: 05.06.2008, 01:05:12 »
hej su ...

Padres

  • Sr. Member
  • ****
  • Posts: 313
    • View Profile
Re: Matematická logika
« Reply #216 on: 05.06.2008, 01:41:58 »
hej su ale nevypracovane... :-)

buhehe

  • Hero Member
  • *****
  • Posts: 1583
    • View Profile
Re: Matematická logika
« Reply #217 on: 05.06.2008, 01:59:00 »
dokazy metaviet su vypracovane a su to tie overenia, treba sa naucit z kazdej kapitoly 1 dokaz
dokazy ostatne nie su vypracovane a su to tie problemy

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #218 on: 05.06.2008, 15:09:12 »
takze tie omacky co su v skriptax neriesit,studovat iba metavetty,definicie?problemy a overenia ignorovat(az na jedno overenie v kazdej kap.)??
Subject: how women communicate with computer

Login: yes
Password: i dont have one
password is incorrect...

Login: yes
Password: incorrect

johnyo13

  • Hero Member
  • *****
  • Posts: 629
  • I can stand my own ground...
    • View Profile
Re: Matematická logika
« Reply #219 on: 05.06.2008, 16:22:49 »
takze tie omacky co su v skriptax neriesit,studovat iba metavetty,definicie?problemy a overenia ignorovat(az na jedno overenie v kazdej kap.)??
no zalezi, co ocakavas od skusky? ked nieco odignorujes tak za to nedostanes body :P
ale ak ti staci [E], tak je rozumne sa naucit vsetky metavety a po jednej vediet dokazat, plus aspon zaklad ku kazdej definicii, skrivanek vraj dava nejake body aj za blbosti, ktore aspon neznakom odrazaju skutocnost :D ...
no a este samozrejme pozriet tie priklady co boli na prvom termine...
tak to aspon robim ja a myslim, ze nebude najmensi problem :)
☼Ѿ☼ ... ☼Ѿ☼

Sooloni

  • Sr. Member
  • ****
  • Posts: 328
    • View Profile
Re: Matematická logika
« Reply #220 on: 05.06.2008, 23:01:29 »
ta metaveta co si sami mozeme vybrat.. to moze byt uplne lubovolna metaveta s dokazom? alebo su tam aj nejake podmienky na to?

valec

  • Full Member
  • ***
  • Posts: 125
    • View Profile
Re: Matematická logika
« Reply #221 on: 05.06.2008, 23:05:55 »
hociaka,len z kazdej studijnej jednotky jednu treba..

Sooloni

  • Sr. Member
  • ****
  • Posts: 328
    • View Profile
Re: Matematická logika
« Reply #222 on: 05.06.2008, 23:15:58 »
hociaka,len z kazdej studijnej jednotky jednu treba..

okay

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #223 on: 06.06.2008, 02:45:32 »
a ked sa stane taka vec,ze vyberem si vlastnu metavetu s dokazom a este aj on zada tu metavetu bez dokazu?a kedze sa iba jednu metavetu ucim s dokazom,tak budem musiet napisat to iste...
Subject: how women communicate with computer

Login: yes
Password: i dont have one
password is incorrect...

Login: yes
Password: incorrect

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: Matematická logika
« Reply #224 on: 06.06.2008, 03:06:31 »
a ked sa stane taka vec,ze vyberem si vlastnu metavetu s dokazom a este aj on zada tu metavetu bez dokazu?a kedze sa iba jednu metavetu ucim s dokazom,tak budem musiet napisat to iste...
tak tomu sa hovori "Z pekla stastie" a myslim, ze proti tomu nemoze povedat ani ň :D