PDS MBS Otázka 30. Formální metody v počítačových sítích. Nemá někdo nějáký pěkně zpracovaný materiál na tuto otázku? Bohužel ty slajdy jsou sami o sobě dost nevypovídající.
https://drive.google.com/open?id=1Qb4HyCZsk_JvFe8fQbZLt1-YCaDNB6I-
Zobrazit všechny odpovědi (3)
Díky. Tahle otázka je prostě strašně zmatená. :D
ridil bych se heslem: "To tam urcite nebude"
ano, bohuzial potom si mozes hovorit "ale bolo" :D
Kdyby měl ještě někdo něco, nechť se podělí :D
Zobrazit všechny odpovědi (4)
jedny materiály ti jsou málo?
Davide... já hledám něco, co mě doopravdy uspokojí!!!
jáj ono to nezobrazuje gify? :( .. .tak ti to pošlu do zprávy... :D
Jaroslav Dytrych jak je prosim mozne ze je to statnicovy okruh, kdyz se to loni a podle vseho ani letos neprobiralo? Prednasku jsem nasel v archivu z roku 2016, ale 2017 ani 2018 nic. Je to normalni? Da se s tim neco delat? oprava -> letos se to probiralo, ale loni tedy nejspis ne?
Zobrazit všechny odpovědi (6)
Okruhy by měly být sestavené tak, že se to probíralo v roce, kdy to měl mít student, co jde ke státnicím, při řádném průběhu studia. Tedy pokud se to probírá v 1. ročníku a student v něm byl v r. 2016/2017, letos to může být u státnic i když se to 2017/2018 neprobíralo. Ale u státnic v roce 2019 už to tam být nemůže, i kdyby se to 2018/2019 zase probíralo.
Garant předmětu každý rok potvrzuje okruhy ke státnicím podle toho, co probíral (zodpovídá za to). Potvrzené okruhy se pak využijí v roce, kdy jde student podle studijního plánu ke státnicím.
Ano to je muj pripad. PDS jsem mel v roce 2017 a v roce 2017 se to neprobiralo.
Jordán Jarolím Je to magisterské studium, takže nejsem kompetentní k tomu, abych to nějak přezkoumával, ale došlo-li k pochybení na straně garanta předmětu, bylo by dobré informovat doc. Růžičku, který by to mohl nějak řešit.
Jordán Já jsem měl PDS taky v roce 2017 a prof. Švéda na to přednášku měl (KA a temporální logiky). Pouze její záznam očividně neexistuje.
no nevim, zaznam neni, v datovem skladu pro ten rok to neni, na prednasky jsem chodil a nevidel jsem to... ale tak mozne je vse, chyba muze byt i u me samozrejme
Zde je záznam na přednášku z léta 2007: https://video1.fit.vutbr.cz/av/records.php?id=3688&categ_id=145
FLP MBS Ahoj. Co se učíte k otázce 25 - Prolog - změna DB/programu za běhu (demonstrace na prohledávání stavového prostoru, práce se seznamy)?
assert, retract, listing, stavovy priestor nadefinovany napriklad pomocou binarnych faktov, ktore reprezentuju hrany v grafe a nad tym nejaky DFS predikat ktory vypise vsetky cesty. K zoznamom snad veci ako [Head|Tail], co to znamena a ako to pouzivat pri tvoreni predikatov napr. na spojenie, reverzaciu, zoradenie atp.
Zobrazit všechny odpovědi (5)
Děkuji. Vycházel jsi z přednášek, nebo máš nějaký lepší materiál?
prednasky, slidy a zdrojáky ku cvikám, nejaký youtube tutoriál a dodatočné googlenie
To máš Koláře v komisi nebo se takto pečlivě učíš všecko? :D
nie, este to mam v kratkodobej pamäti zo vcera :D :D
ale tak po tomto rozhovore si to uz zapamätám
namiesto slova predikat by som asi mal pouzit slovo klauzula... whatever
Zobrazit všechny odpovědi (11)
Nejaky hlavni rozdil mezi predikatem a klauzuli? Klauzule je konkretnejsi?
v tomto kontexte sa klauzula = formula predikatovej logiky prvého rádu ktorá je vo forme disjunkcie literálov. Takže áno :D. Ak nie sú žiadne literály v negatívnej forme, jedná sa o fakt, ak nie sú žiadne v pozitívnej forme, tak je to query a ak sú aj také aj onaké tak je to pravidlo. Toto je asi tiež celkom pekná vec čo sa dá povedať k tejto téme.
Nebo prostě říct, že to je klauzule bez těla, hlavičky...
Klauzule bez tela je fakt ktery je predikat tak jako klauzule s hlavickou jeslti to dobre chapu :D
to ale neznie tak odborne a nezabije to tolko času :D
btw term vs literál? :D
literál je napr Filip a term je muz(Filip), alebo naopak?
Ja beru muz(Filip) jako fakt -> klauzule bez tela a je to taky predikat
Není Filip spíše proměnná? Literál by byl filip... :D
Filip je podle me konstanta na urovni termu :D Literal (alespon podle toho co pisou u SAT problemu) je prave promena (bud negovana nebo ne)
vzhladom na definiciu predikatu "A predicate is a statement that may be true or false depending on the values of its variables", tak by som povedal ze "muz" je predikat "muz(filip)" je fakt a "muz(X) :- ..." je pravidlo