« predchádzajúce ďalšie »
Pages: 1 ... 8 9 [10] 11 12 ... 16

Author Topic: Matematická logika  (Read 77668 times)

Pribina

  • Sr. Member
  • ****
  • Posts: 297
  • Kapitan Spok
    • View Profile
Re: Matematická logika
« Reply #225 on: 06.06.2008, 03:10:55 »
Podla mna sa tomu on sam vyvaruje tak ze zada okruh z ktoreho mas napisat vlastnu metavetu s dokazom, a tu druhu metavetu bez dokazu co zadava on tak da s ineho okruhu. Potom taka situacia nenastane.
Logged
plllllp prepinan kapitan Spok

Havran

  • Hero Member
  • *****
  • Posts: 2003
  • Here comes the fuzz
    • View Profile
Re: Matematická logika
« Reply #226 on: 06.06.2008, 03:50:37 »
ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi
Logged
Achievement of your happiness is the only moral purpose of your life.

Payne

  • Sr. Member
  • ****
  • Posts: 408
    • View Profile
Re: Matematická logika
« Reply #227 on: 06.06.2008, 03:56:14 »
A to akoze de su tie teorie???
Logged

Havran

  • Hero Member
  • *****
  • Posts: 2003
  • Here comes the fuzz
    • View Profile
Re: Matematická logika
« Reply #228 on: 06.06.2008, 04:00:42 »
skripta strana 54 priklad 77
Logged
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 #229 on: 06.06.2008, 04:28:47 »
to netreba vsetky priklady pozerat?
Logged
Subject: how women communicate with computer

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

Login: yes
Password: incorrect

buhehe

  • Hero Member
  • *****
  • Posts: 1583
    • View Profile
Re: Matematická logika
« Reply #230 on: 06.06.2008, 04:36:22 »
Quote from: Havran on  06.06.2008, 03:50:37
ona zadal 4 teoreticke ulohy a kazda bola z inej casti cize taka situacia nenastane, dalej odporucam si pozriet pre pocitanie prikladov na separaciu klauzul aj ine teorie ako teoriu rovnosti, minimalne teoriu grup a pribuzenstva, teda naucit sa ich axiomi
netreba imho...na pisomku som mu k prikladu napisal ze treba pridat axiomy teorie pribuzenstva ale som ich nepridal lebo som ich nevedel a pokracoval som v pocitani bez nich...(v priklade boli pouzite tie trojuholnicky z jazyka teorie pribuzenstva tak som si myslel ze to je teoria pribuzenstva ale podla neho nebola)...na vyhodnoteni ked som pozrel na svoju pisomku tak som mal napisane ze tie axiomy tam pridavat netreba...
Logged

buhehe

  • Hero Member
  • *****
  • Posts: 1583
    • View Profile
Re: Matematická logika
« Reply #231 on: 06.06.2008, 04:36:53 »
Quote from: danielmi on  06.06.2008, 04:28:47
to netreba vsetky priklady pozerat?

tie co boli na zapoctovke nie...
Logged

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #232 on: 06.06.2008, 04:50:47 »
tak to je potom prvyx cca11 tyzdnov
Logged
Subject: how women communicate with computer

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

Login: yes
Password: incorrect

Sooloni

  • Sr. Member
  • ****
  • Posts: 328
    • View Profile
Re: Matematická logika
« Reply #233 on: 06.06.2008, 21:20:02 »
Quote from: buhehe on  30.05.2008, 18:45:58
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

cize priklady su len z tej opslednej casti zo syntaxu PL ???
Logged

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #234 on: 06.06.2008, 21:31:55 »
pozera aj niekto ine priklady ci len tieto 2 typy?
Logged
Subject: how women communicate with computer

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

Login: yes
Password: incorrect

Final_Destructer

  • Full Member
  • ***
  • Posts: 200
  • Beat The Machine That Works In Your Head.
    • View Profile
Re: Matematická logika
« Reply #235 on: 07.06.2008, 02:58:40 »
Ja chcem prebehnut a aspon popozerat cvika...
Logged
Wanna get destructed?

johnyo13

  • Hero Member
  • *****
  • Posts: 629
  • I can stand my own ground...
    • View Profile
Re: Matematická logika
« Reply #236 on: 07.06.2008, 05:36:05 »
Quote from: Final_Destructer on  07.06.2008, 02:58:40
Ja chcem prebehnut a aspon popozerat cvika...
podla mna sa to neoplati :) staci prezriet forum z min. roku, vraj daval vzdy ten isty typ prikladov!
Logged
☼Ѿ☼ ... ☼Ѿ☼

danielmi

  • Hero Member
  • *****
  • Posts: 551
  • zlty sneh
    • View Profile
Re: Matematická logika
« Reply #237 on: 07.06.2008, 06:49:05 »
cize tu separaciu a unifikaciu?
Logged
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 #238 on: 07.06.2008, 07:55:30 »
Len typ ci aj presne tie iste priklady? :D
Logged

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Matematická logika
« Reply #239 on: 07.06.2008, 16:08:18 »
asi blba otazka ale... metavety sa treba ucit vsetky alebo len tie co boli na prednaskach? :)
Logged
:trestac:

Dragon

  • Sr. Member
  • ****
  • Posts: 447
  • See you in hell
    • View Profile
Re: Matematická logika
« Reply #240 on: 07.06.2008, 17:20:12 »
my sme mali skolema a ten bol aj na prednaske...ale nespoliehal by som sa  :emot-shakehead:
Logged
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 #241 on: 07.06.2008, 17:28:19 »
Quote from: sri on  07.06.2008, 07:55:30
Len typ ci aj presne tie iste priklady? :D
ten isty typ, ten isty priklad...len ine zadanie :P
Logged
☼Ѿ☼ ... ☼Ѿ☼

elektrikar

  • Newbie
  • *
  • Posts: 39
  • no more ...
    • View Profile
Re: Matematická logika
« Reply #242 on: 07.06.2008, 17:37:53 »
neopisal niekto presne zadanie prikladov na prvom termine ?:P nech si to prepocitame ... vdaka 
Logged

Payne

  • Sr. Member
  • ****
  • Posts: 408
    • View Profile
Re: Matematická logika
« Reply #243 on: 07.06.2008, 18:03:17 »
Hej inak, nema dakto vypocitane priklady zo zbierky? resp. nesu dakde vysledky?
Logged

Sooloni

  • Sr. Member
  • ****
  • Posts: 328
    • View Profile
Re: Matematická logika
« Reply #244 on: 07.06.2008, 20:07:44 »
heh a kde mame vlastne tu ML? miestnost 230 to je nekde na vysokoskolskej ???? :D
Logged

Mao

  • Sr. Member
  • ****
  • Posts: 392
    • View Profile
Re: Matematická logika
« Reply #245 on: 07.06.2008, 21:28:05 »
To je v hlavnej budove, 2.poschodie, blok A.
Logged

Havran

  • Hero Member
  • *****
  • Posts: 2003
  • Here comes the fuzz
    • View Profile
Re: Matematická logika
« Reply #246 on: 07.06.2008, 23:20:07 »
Quote from: elektrikar on  07.06.2008, 17:37:53
neopisal niekto presne zadanie prikladov na prvom termine ?:P nech si to prepocitame ... vdaka 

a to si myslis ze nejaky manik si bude pametat vsetky tie pismenka v spravnom poradi co boli na termine ??

sak to taka sucha skuska bola, sa naucite metavety priklady a D jak vysite
Logged
Achievement of your happiness is the only moral purpose of your life.

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: Matematická logika
« Reply #247 on: 07.06.2008, 23:31:15 »
tie problemy asi nie su nikdy riesene co? :)
Logged
:trestac:

puq

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: Matematická logika
« Reply #248 on: 07.06.2008, 23:35:54 »
kasli na problem :P staci ti vediet 2 priklady a vlastnu metavetu a nemas problem :P a popripade ak chytis dobre otazky, tak aj CBA moze byt :D
Logged

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: Matematická logika
« Reply #249 on: 08.06.2008, 00:36:56 »
mate aj niekto iny zablokovane prihlasovanie / odhlasovanie na 9.6. ci len ja?  ah:
Ked dobre pocitam, tak do terminu je este vyse 37 hodin...
Logged
Pages: 1 ... 8 9 [10] 11 12 ... 16
« predchádzajúce ďalšie »