Messages

Áno, ale pri úplných tvaroch musí každá elementárna konjunkcia/disjunkcia obsahovať všetky premenné (až pri minimálnych nie).

vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...)  vo VL a PL a okrem binarnych relacii

Takže tie dôkazy nebudú vôbec? Viem, že nebudeme mať napísať samotný dôkaz, to vravela. Ale napr. určiť, či je formula pod čiarou dôsledkom formúl nad čiarou alebo vypísať použité pravidlá pre existujúci dôkaz, to tam môže byť, či nie?

Pri lexikálnej chybe sa má kompilácia ukončiť alebo máme lexikálne chyby ignorovať?

(5/6)*8

Čo máme písať do tej šablóny ako názov fakulty a katedry? FEI (keď tam študujem) a katedru vynechať, alebo Rektorát ako "fakultu" a KSV ako katedru?

A neviete niekto o dakom linku kde by boli online nejake psychlogicke casopisy? Take  oficialnejsie od odbornikov, ne od laikov

http://rzblx1.uni-regensburg.de/ezeit/fl.phtml?bibid=TUKE&colors=7&lang=en
Dosť veľa vecí je tam aj fulltext na stiahnutie, pokiaľ sa pripojíš cez sieť TUKE (funguje to napr. aj z intráku).

Inak ten program na výpočet Fibonacciho čísla je nejaký divný. Vypisuje, že napr. Fib(3)=3, ale tretie Fibonacciho číslo je 2. Asi to bude tým, že je tam naprogramované Fib(0)=1, ale v skutočnosti Fib(0)=0.

vie mie niekto povedat, ci toto je korektny pseudokod na InsertionSort?
lebo ked si to prepisem do C tak mi to nezotriedi posledny prvok v poli

ak urobim ten hlavny for cyklud nie od 1 po N-1 ale od 2 po N tak to samozrejme funguje krasne, ale to uz zial nie je podla pseudokodu

Algoritmus je správny, ale v test.c je: #define N 16, pričom počet prvkov v tom testovacom poli je 17 - asi je to myslené ako "maximálny index poľa" a nie ako počet prvkov poľa. Takže buď zavolaj tú funkciu s parametrom N+1 alebo v cykle for použi i <= n.

nejaky fajny budik na PC najlepsie freeware, s funkciou prebudenia z hibernacie a moznostou pridat vlastny song ako zvuk pri upozornovani/prebudzani ?? 

Používal som WakeupOnStandBy: http://www.dennisbabkin.com/php/download.php?what=WOSB

Nie je to priamo budík, ale dokáže prebudiť PC z hibernácie v daný čas a spustiť ľubovoľný program (teda napr. aj prehrávač multimédií) so zadaným parametrom.

Napríklad tak, že si "true", resp. "false" uložíš do znakovej konštanty. Potom v cykle kým je prečítaný znak malé písmeno, porovnávaš prečítaný znak so znakom nachádzajúcim sa na určitom indexe v tejto konštante (tento index postupne inkrementuješ).

OT. pre skupiny s Myškovou: Kedy a ako má byť zápočet? (sa mi zdá že 8-9t, ale 9t prednáška asi nebude vychádza to na 17násteho). Píše sa to vôbec na cviku či na prednáške?

V 9. týždni na cvičeniach.

čo vypíše funkcia dfsst() ak :
1. existuje spojenie medzi : 0-1, 0-2, 2-3
2. existuje spojenie medzi : 0-1, 1-3, 2-4

1.)
Edge: (0,1)
Edge: (0, 2)
Edge: (2, 3)

2.)
Edge: (0,1)
Edge: (1, 3)
Edge: (2, 4)

pre prvý prípad len že je hrana 2-3 a
pre druhý prípad že je hrana len 0-1

Myslím, že to nie, lebo: "V prípade, že zadaný graf nie je súvislý, vypíšte všetky kostry (jeho súvislých komponentov) získané prehľadávaním do hĺbky (spanning forest)."

Pretože reťazec je už sám o sebe smerník:

Code [Select] Expand

char *s;

Zabudol si vnútri funkcie zmeniť rekurzívne volania z inorder na preorderTT.

Je to taký trik, ako s použitím toho #define-u jednoduchšie v C-čku zapisovať operácie s množinami.

(E symbol) | mnozina bude znamenať: zjednotenie množín (resp. symbolov)
(E symbol) & mnozina bude znamenať: symbol patrí množine

Takže napríklad:

Code [Select] Expand

(E symbol) & (E PLUS | E MINUS)
znamená:

Napadajú ma len dve priamočiare možnosti:
1. Skompilovať kód v C++ kompilátore, kde už je overloading podporovaný.
2. Pridať potrebným funkciám prefixy, napr. QueueIsEmpty(Queue Q), StackIsEmpty(Stack S).

...

Skontroluj si v zdrojáku prechody zo stavu S1.

pls čo presne robí tento príkaz?

Code [Select] Expand

G->visited[n] = 0;

a čo znamená -> ??

Vymaže príznak, že daný uzol grafu bol už navštívený (teda nastaví, že ešte nebol navštívený).

-> je operátor prístupu k záznamu pomocou smerníka. Ak máme štruktúru a smerník na ňu:

Code [Select] Expand


struct GraphRecord {
      int visited[max];
      ...
};
typedef struct GraphRecord *Graph;
Graph G = ...;

potom

Code [Select] Expand

G->visited[n]
je to isté ako:

Code [Select] Expand

(*G).visited[n]

Skôr by som povedal, že to prvé, keďže je tam "listu" a nie "listov", ale je to dosť nejasné.

Na Moodli.

Neviem, ako presne to máš spravené, ale v Dequeue by si mal hodnotu Front zvyšovať (pomocou Succ). Čo sa týka zapisovanie do Q->Array[0], tak pokiaľ všetko funguje, nie je to samo o sebe chyba.

Ja som tie zoznamy nekopíroval, len som menil smerníky. Tým pádom sa CUT vykoná v konštantnom čase (smerník na danú položku už máme ako parameter, takže zoznamom netreba prechádzať).

Čo sa týka operácie CAT, tam potrebujeme prejsť na koniec prvého zoznamu, čo už je O(n). Dalo by sa to obísť napríklad tak, že pre každý zoznam budeme v nejakej premennej uchovávať referenciu na posledný prvok zoznamu. Túto referenciu budeme pri každom pridaní alebo odstránení posledného prvku meniť. V operácii CAT potom už len použijeme tento smerník, čiže sa vykoná v čase O(1).

(predané)

Nie. Myslím, že je to obyčajný deterministický automat, ako tie ostatné. Ja som si len myslel, že nemôže byť naraz viac tokenov pred rôznymi a-čkami, ale asi môže. Ak príde v danom stave a-čko, posunú sa všetky tokeny, ktoré boli pred a-čkami.

Jediný "problém" by mohol nastať, keby sme chceli určiť, ktoré konkrétne a-čko sme práve prečítali. Ale to nie je naša úloha. My máme len rozpoznať, či zadaný reťazec vyhovuje alebo nevyhovuje danému regulárnemu výrazu.

Starý príspevok pre istotu zmažem, aby vás nemiatol.

[getc(stdin)]

Na solarisoch vam pojde getc(stdin) a getchar()
na ostatnych (netbeans & visual studio & snad aj devc++) je mozne stale pouzit getch() a getchar()
ale na NB si stiahnite balik compilerov mingw (nie cygwin), bez toho vam getch() nezhltne...

skusal som to vo visual studio  a nebere mi getch() ...   v com moze byt hacik???

Použi _getch(). A do vnútra súboru stdafx.h pridaj #include <conio.h>.