• 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 - ENCY

#1
napamatam vsetko, ale aspon nieco
priklady:
- karnaughova mapa
- rezolucna metoda
- skolemovsky variant
- predikatovy jazyk prepisat do "ludskej reci"
...
teoria:
- daco o dokazani, ze T|= alfa a aj uviest na priklade
- tranzitivnost len uz neviem ci vo vyrokovej alebo predikatovej
- jazyk vyrokovej logiky
...

este nieco bolo, ale nebolo to tazke takze pohoda .... viac menej to co na zapocte

btw: ja som mal s Myskovou
#2
Quote from: krisko on  09.01.2010, 00:08:08
ency, tebe FP ide  :P tak smelo do toho!

nj sak uvidim na skuse  bv

ale aj tak dik za testy .. o ne sa bude opierat moje studium

#3
mame po silvestri a treba sa ucit   :laugh:
problem nastal, ked som uvidel ake su tie skripta hrube (resp. kolko stran ma to PDFko)

mohli by ste sem niekto pridat nejaky fajny tahak, alebo ak niekto ma nejake minulorocne testiky - tak by sa mohol o ne podelit   bq

urcite sa potesi viac ludi

    :ropebanana: