• Welcome to TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach.
 
Menu

Zobrazi� pr�spevky

This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.

Zobrazi� pr�spevky Menu

Messages - trinky

#1
2. ročník / Re: Matematicka logika
25.01.2011, 22:40:41
Quote from: smelyzajo on  25.01.2011, 22:15:19
vedel by mi tu niekto hodit prestnu definiciu kedy je formula splnena a kedy splnitelna v strukture M v predikatovej logike thx >:(

Formula je splnena, teda platí v strukture M, ked je v tejto strukture pravdiva pri kazdom ohodnoteni premennych.
Ak je v strukture M pre jazyk teorie T splena kazda axioma teorie T, hovorime ze m je model teorie T. Teoria,ktora ma model je splnitelna.
#2
2. ročník / Re: Matematicka logika
25.01.2011, 21:27:42
Quote from: ghost on  25.01.2011, 21:09:52
ak ma niekto otazky z 19.01. (u drazenskej) tak nech prispeje prosim
dakujem

a co tie otazky budu zajtra na opravaku?
#3
2. ročník / Re: Matematicka logika
25.01.2011, 20:06:19
Neviete co mam ocakavat zajtra na dekanskom u drazdenskej? podobne otazky ako boli doteraz na riadnom a opravnom? ci da nieco ulne ine? nemate niekto nejake info resp skupina u myskovej mali ste tazku dnes skusku?
#4
2. ročník / Re: Matematicka logika
07.12.2010, 22:49:59
Mam otazku ty co mame s drazdenskou v piatok o 7:30 opravak je zajtra rano 7:30 v ZP4 alebo kedt vlastne.... Dik
#5
1. ro?ník / Assembler 8086 - zadanie
26.04.2010, 18:36:26
Spraví mi niekto zadanie na assembler 8086 komplet aj s dokumentaciou do 12 tyzdna?, ponukam 10-15 Eur  ZADANIE c.47 Načitajte s klávesnice retazec znakov ukončených znakom konca riadku. Vstup spracúvajte ako reťazec číslic. Nech tento reťazec predstavuje cele cislo v šestnástkovej sústave. Zobrazte toto číslo v binarnom priamom kode na 16 bitoch.

Napiste PM, alebo kontaktujte na ICQ 200-821-381