Tomáš Kocourek
Tomáš Kocourek
  • 42
  • 31 081
SZZ: Paralelní algoritmy nad seznamy a stromy
Paralelní algoritmy nad seznamy a stromy. Paralelní práce se seznamy.Nalezení předchůdců. List ranking. Suma suffixů. Problém symetrie. Random mating. List coloring. 2logn-obarvení seznamu. Množina oddělovačů. 2k-množina oddělovačů. 2-množina oddělovačů. Práce se stromy, Eulerovská kružnice. Nalezení Eulerovské kružnice. Pozice hrany v Eulerovské kružnici. Průchod typu preorder. Úroveň uzlu ve stromě.
0:00:00 - Předehra
0:00:21 - Úvod
0:00:34 - Paralelní práce se seznamy
0:02:30 - Nalezení předchůdců
0:05:28 - List ranking
0:09:53 - Suma suffixů
0:17:23 - Problém symetrie
0:18:50 - Random mating
0:23:22 - List coloring
0:25:29 - 2logn-obarvení seznamu
0:30:44 - Množina oddělovačů
0:32:22 - 2k-množina oddělovačů
0:35:03 - 2-množina oddělovačů
0:38:13 - Práce se stromy, Eulerovská kružnice
0:41:56 - Nalezení Eulerovské kružnice
0:46:16 - Pozice hrany v Eulerovské kružnici
0:49:59 - Průchod typu preorder
0:55:06 - Úroveň uzlu ve stromě
0:58:53 - Závěr
0:59:18 - Dohra
zhlédnutí: 119

Video

SZZ: Model PRAM, suma prefixů
zhlédnutí 265Před měsícem
PRAM model, suma prefixů. RAM model. PRAM model. Přístup ke sdílené paměti. Suma prefixů. Výpočet reduce. Výpočet prescan a scan. Paralelní shluknutí prvků pole. Paralelní sčítačka CLA. Paralelní radix sort. Paralelní quick sort. 0:00:00 - Předehra 0:00:23 - Úvod 0:00:36 - RAM model 0:06:04 - PRAM model 0:08:05 - Přístup ke sdílené paměti 0:10:40 - Suma prefixů - definice 0:16:12 - Suma prefixů...
SZZ: Regresní analýza
zhlédnutí 246Před měsícem
Regresní analýza. Interpolace a aproximace. Korelace a regrese. Regresní funkce, neznámé parametry. Metoda nejmenších čtverců. Lineární regresní model. Matice plánu. Regresní přímka. Bodové odhady regresní přímky. Intervalové odhady regresní přímky. Testy hypotéz u regresní přímky. Diagnostika regresní analýzy. 0:00:00 - Předehra 0:00:18 - Úvod 0:00:28 - Interpolace a aproximace 0:02:46 - Korel...
SZZ: Časová a prostorová složitost
zhlédnutí 624Před 2 měsíci
Časová a prostorová složitost. Časová složitost Turingova stroje. Prostorová složitost Turingova stroje. Asymptotické horní omezení. Asymptotické dolní omezení. Amortizovaná složitost. Třídy složitosti. F-redukovatelnost. C-těžkost. C-úplnost. Polynomiální redukovatelnost. SAT problém. 0:00:00 - Předehra 0:00:12 - Úvod 0:00:25 - Časová složitost Turingova stroje 0:08:18 - Prostorová složitost T...
SZZ: Nerozhodnutelnost
zhlédnutí 442Před 2 měsíci
Nerozhodnutelnost. Rekurzivní a rekurzivně vyčíslitené jazyky. Problém zastavení. Diagonalizace - důkaz nespočetnosti třídy všech jazyků. Diagonalizace - důkaz nerozhodnutelnosti problému zastavení. Redukce - definice a vysvětlení. Redukce - příklad. Postův korespondenční problém. 0:00:00 - Předehra 0:00:14 - Úvod 0:00:33 - Rekurzivní a rekurzivně vyčíslitené jazyky 0:10:33 - Problém zastavení ...
SZZ: Prolog - Změna programu za běhu
zhlédnutí 498Před 4 měsíci
Prolog - Změna programu za běhu. Práce se seznamy. Statické a dynamické predikáty. asserta. assertz. assert. retract. retractall. Okamžitá aktualizace pohledu. Logická aktualizace pohledu. Použití dynamických predikátů při prohledávání stavového prostoru. Další příklady použití dynamických predikátů. 0:00:00 - Předehra 0:00:15 - Úvod 0:00:27 - Práce se seznamy 0:09:59 - Statické a dynamické pre...
SZZ: Prolog - Unifikace a vyhodnocování
zhlédnutí 560Před 4 měsíci
Prolog - Unifikace a vyhodnocování. Úvod k Prologu. Termy, pravidla, fakta, programy v Prologu. Unifikace. Vyhodnocování. Vestavěné predikáty. Operátor řezu. 0:00:00 - Předehra 0:00:13 - Úvod 0:00:25 - Úvod k Prologu 0:02:25 - Termy, pravidla, fakta, programy v Prologu 0:06:38 - Unifikace 0:17:33 - Vyhodnocování 0:49:21 - Vestavěné predikáty 1:08:35 - Operátor řezu 1:26:19 - Závěr 1:26:45 - Dohra
FLP: Příprava k půlsemestrální zkoušce
zhlédnutí 1,6KPřed 5 měsíci
FLP: Příprava k půlsemestrální zkoušce. Definice pravdivostních spojek v lambda kalkulu. Pevný bod a rekurze v lambda kalkulu. Dokazování v Haskellu pomocí strukturální indukce. Práce s komplexními datovými strukturami v Haskellu. 0:00:00 - Předehra 0:00:13 - Úvod 0:01:31 - Definice pravdivostních spojek v lambda kalkulu 0:26:15 - Pevný bod a rekurze v lambda kalkulu 0:40:32 - Dokazování v Hask...
SZZ: Lambda kalkul - definice pravdivostních hodnot a přirozených čísel
zhlédnutí 1,3KPřed 5 měsíci
Definice pravdivostních hodnot a přirozených čísel v lambda kalkulu. Pravdivostní hodnoty. Logické spojky. Ternární operátor. Komplikovanější definice pravdivostních hodnot a logických spojek. Poťouchlejší definice pravdivostních hodnot a logických spojek. Přirozená čísla. Operace následníka. Test na nulu. Operace předchůdce. Uspořádané dvojice. Sčítání. Odčítání. Násobení. Rekurze a pevný bod....
SZZ: Deterministická syntaktická analýza zdola nahoru
zhlédnutí 78Před 5 měsíci
Deterministická syntaktická analýza zdola nahoru. Úvod k deterministické syntaktické analýze zdola nahoru. Úvod k precedenční syntaktické analýze. Tvorba precedenční tabulky. Precedenční syntaktické analýza - příklad. Úvod k LR-analýze. Rozšířená bezkontextová gramatika. Položka. Uzávěr položky. Množina Theta pro jeden symbol. Množina Theta pro bezkontextovou gramatiku. Tvorba LR-tabulek. SLR-a...
SZZ: Deterministická syntaktická analýza shora dolů
zhlédnutí 127Před 6 měsíci
Deterministická syntaktická analýza shora dolů. Úvod k LL-analýze. Množina Empty. Množina First. Množina Follow. Množina Predict. Tvorba LL-tabulky. Rekurzivní sestup. Prediktivní syntaktická analýza. Zotavení z chyb. 0:00:00 - Předehra 0:00:16 - Úvod 0:00:31 - Úvod k LL-analýze 0:09:10 - Množina Empty 0:17:05 - Množina First 0:34:20 - Množina Follow 0:54:10 - Množina Predict 1:05:23 - Tvorba L...
SZZ: Teorie aukcí
zhlédnutí 118Před 7 měsíci
Teorie aukcí. Úvod k aukcím. Anglická aukce. Holandská aukce. All-pay aukce. Japonská aukce. Tajná aukce s první cenou. Tajná aukce s druhou cenou (Vickreyovská). Příklad aukce. Vztah hráčů k riziku. Úvod k ekvilibriím v aukčních situacích. Ekvilibria ve Vickreyovské aukci. Ekvilibria v tajné aukci s první cenou. Revenue equivalence theorem. 0:00:00 - Předehra 0:00:18 - Úvod 0:00:32 - Úvod k au...
Formální jazyky a překladače: Proudění k přípravě na zkoušku
zhlédnutí 3,5KPřed 7 měsíci
Proudění k přípravě na zkoušku. Bezkontextová gramatika. Derivační krok. Jazyk generovaný bezkontextovou gramatikou. Konstrukce bezkontextových gramatik. Zásobníkový automat. Konfigurace zásobníkového automatu. Přechodová relace. Jazyk přijímaný zásobníkovým automatem. Konstrukce zásobníkového automatu. Deterministický zásobníkový automat. Konstrukce deterministického zásobníkového automatu. Ro...
SZZ: Převodníky a překladové gramatiky
zhlédnutí 53Před 7 měsíci
Převodníky a překladové gramatiky. Konečný převodník.Konfigurace a přechodová relace konečného převodníku. Překladová relace konečného převodníku. Vstupní a výstupní jazyk konečného převodníku. Konečný převodník - příklad. Deterministický konečný převodník. Zásobníkový převodník. Konfigurace a přechodová relace zásobníkového převodníku. Překladová relace zásobníkového převodníku. Zásobníkový př...
SZZ: Teorie veřejné volby
zhlédnutí 159Před 7 měsíci
SZZ: Teorie veřejné volby
Teoretická informatika: Turingovy stroje
zhlédnutí 618Před 7 měsíci
Teoretická informatika: Turingovy stroje
Teoretická informatika: Bezkontextové jazyky
zhlédnutí 1,5KPřed 8 měsíci
Teoretická informatika: Bezkontextové jazyky
Teoretická informatika - Regulární jazyky I
zhlédnutí 1,1KPřed 8 měsíci
Teoretická informatika - Regulární jazyky I
SZZ: Vícevýběrové testy, testy o rozdělení
zhlédnutí 488Před 9 měsíci
SZZ: Vícevýběrové testy, testy o rozdělení
Teoretická informatika: Regulární jazyky II
zhlédnutí 1KPřed 9 měsíci
Teoretická informatika: Regulární jazyky II
SZZ: Konečné automaty
zhlédnutí 554Před 11 měsíci
SZZ: Konečné automaty
SZZ: Zásobníkové automaty
zhlédnutí 386Před 11 měsíci
SZZ: Zásobníkové automaty
SZZ: Bodové a intervalové odhady, statistické testy
zhlédnutí 817Před 11 měsíci
SZZ: Bodové a intervalové odhady, statistické testy
SZZ: Randomizované algoritmy
zhlédnutí 574Před 11 měsíci
SZZ: Randomizované algoritmy
SZZ: Markovské řetězce a jejich analýza
zhlédnutí 799Před 11 měsíci
SZZ: Markovské řetězce a jejich analýza
SZZ: Hledání nejkratších cest ze všech uzlů do všech ostatních uzlů grafu
zhlédnutí 167Před rokem
SZZ: Hledání nejkratších cest ze všech uzlů do všech ostatních uzlů grafu
SZZ: Maximální toky v sítích
zhlédnutí 158Před rokem
SZZ: Maximální toky v sítích
SZZ: Hledání nejkratších cest z jednoho uzlu do všech ostatních uzlů grafu
zhlédnutí 159Před rokem
SZZ: Hledání nejkratších cest z jednoho uzlu do všech ostatních uzlů grafu
SZZ: Hledání minimální kostry grafu
zhlédnutí 183Před rokem
SZZ: Hledání minimální kostry grafu

Komentáře

  • @kocotom
    @kocotom Před měsícem

    1:56 Dobře definovaný, ne dobře uspořádaný

  • @kocotom
    @kocotom Před měsícem

    28:54 - Pardon, zda nemá být `x_2` s pruhem, ale pouze `x` s pruhem. Děkuji moc za upozornění @Bakalar :Koteseni:.

  • @katerinaneprasova2939
    @katerinaneprasova2939 Před měsícem

    Opět super video kolego. Malá poznámka - nechybí v čase 0:31:26 timestamp na RZA?

    • @ritcheyk.8242
      @ritcheyk.8242 Před měsícem

      On tam je, ale je špatně uveden a to jako 0:21:27 - Rozšířený zásobníkový automat

  • @iannobody5200
    @iannobody5200 Před měsícem

    Ačkoli to nejspíš není příliš k tématu, zvážil bych prodloužení předehry. Satieho kousky si zaslouží jistě více než 20 vteřin videa. 👏🕊

    • @kocotom
      @kocotom Před měsícem

      Krásný večer a děkuji za tuto myšlenku! :Koteseni:

  • @Mr_ScrufMan
    @Mr_ScrufMan Před 2 měsíci

    Určite pokračuj, veľmi rád pozerám tvoje videá nech si kúsok osviežim vedomosti z teoretickej informatiky. Btw jedná sa o SZZ ktorej školy?

    • @kocotom
      @kocotom Před 2 měsíci

      Krásný večer přeju, děkuji za pěkný komentář, mám radost, že se videjka líbí! Jde o FIT VUT v Brně, inženýrské studium.

  • @Areachi
    @Areachi Před 2 měsíci

    Ahoj, bude i video o složitosti? Případně kdy cca? PS: zachraňuješ nás :D

    • @kocotom
      @kocotom Před 2 měsíci

      Přeji Ti krásné ráno, video o složitosti jsem před chvílí dodělal, právě ho nahrávám na youtube, během několika minut to bude. Ovšem zpočátku bude ve zhoršené kvalitě, dokud jej youtube nezpracuje. Jinak mám velkou radost, že videjko nějak pomohlo!

    • @Areachi
      @Areachi Před 2 měsíci

      ​​@@kocotom Děkuju za info, mrknu na to. Tvá videa rozhodně pomáhají! nejen mně. Jde vidět že je za nimi spousta přípravy a i těžké koncepty jdou z videí pochopit velmi jednoduše (což třeba u přednášek tak nebylo vždy)

  • @ritcheyk.8242
    @ritcheyk.8242 Před 2 měsíci

    Asi detail, ale myslím, že by v čase 1:17:00 mělo být, že stav "u" náleží taktéž do S jako "s" a ne do V.

    • @kocotom
      @kocotom Před 2 měsíci

      Krásný večer přeju, děkuji, je to přesně tak, jak říkáte. Něco podobného se mi stalo v i čase 40:41, ale tohoto jsem si nevšiml. Těsně před tímto videem jsem dělal videa z předmětu Grafové algoritmy a měl jsem ve zvyku používat V pro množinu vrcholů, občas se mi to propsalo i sem. Děkuji tedy moc za upozonění a omlouvám se za zmatky.

  • @iannobody5200
    @iannobody5200 Před 2 měsíci

    V 52:49 je nejspíš drobná chybka. Jedná se o pravděpodobnost že padne 4xT, tudíž by tam mělo být (4 nad 4). Výsledek se i tak nezmění.

    • @kocotom
      @kocotom Před 2 měsíci

      Krásný večer přeju, pravda, děkuji, je to přesně tak, jak říkáte. Nerozumím, proč jsem tam napsal 0, asi nějaký mentální zkrat. Omlouvám se za zmatek a moc děkuji za upozornění.

  • @kocotom
    @kocotom Před 2 měsíci

    1:01:34 - Omlouvám se za překlep, tady má být samozřejmě ° : N^k -> N^n

  • @parnimlaticka1104
    @parnimlaticka1104 Před 4 měsíci

    😼

  • @primarybiomass1060
    @primarybiomass1060 Před 4 měsíci

    kráľ 👑

    • @kocotom
      @kocotom Před 4 měsíci

      Držím palce u písemky! :Koteseni:

  • @kocotom
    @kocotom Před 4 měsíci

    1:18:00 - Efektivnější řešení simplify :: Expr -> Expr simplify (Const a) = Const a simplify (Var v) = Var v simplify (Add t1 t2) = case (simplify t1, simplify t2) of (Const v1, Const v2) -> Const (v1 + v2) (v1, v2) -> Add v1 v2 Provede se pouze jednou, nemusím opakovaně vyhodnocovat.

  • @kocotom
    @kocotom Před 5 měsíci

    5:58 - Exkluzivní součet, nikoliv exkluzivní součin

  • @kocotom
    @kocotom Před 5 měsíci

    40:51 - Nedokazujeme obecně pro libovolný seznam, ale pouze pro seznamy konečné délky.

  • @Antagon666
    @Antagon666 Před 5 měsíci

    Tom to the rescue ❤

  • @stabar8578
    @stabar8578 Před 5 měsíci

    sranda to je docela s datovými typy v generatoru :D

  • @kocotom
    @kocotom Před 5 měsíci

    0:09:50 - Máme ntici se třemi elementy, ne seznam se třemi elementy

  • @Marek-mq5wu
    @Marek-mq5wu Před 6 měsíci

    Měl by sis založit donate button.

  • @B1smarkk
    @B1smarkk Před 6 měsíci

    Vyborny stream! :Koteseni: Dakujem, velmi pomohol pri uceni

    • @kocotom
      @kocotom Před 6 měsíci

      Moc děkuji, mám velikou radost, že to pomohlo :Koteseni:.

  • @zyraxcz
    @zyraxcz Před 6 měsíci

    Skvěle zpracované - zajistilo poklidný průchod zkouškou. Děkuji <3

    • @kocotom
      @kocotom Před 6 měsíci

      Moc děkuji za komentář, mám velkou radost, že videjko pomohlo! A gratuluji k úspěšné zkoušce!

  • @Evgeny-yz2ks
    @Evgeny-yz2ks Před 6 měsíci

    děkují, díky vaším videím mám perfektně napsané zkoušky, a ted' miluju statistiku protože jí rozumím. mělo by tady být více audience

    • @kocotom
      @kocotom Před 6 měsíci

      Krásné ráno přeji, mám velkou radost, že Vám video jakkoliv pomohlo a držím palce v dalším studiu!

  • @Miffiny
    @Miffiny Před 6 měsíci

    easiest zkouška díky tobě, prostě dokonalé video :Koteseni:

    • @kocotom
      @kocotom Před 6 měsíci

      Mám velkou radost, že to jakkoliv pomohlo :Koteseni:. Přeji hodně úspěchů i u dalších zkoušek!

  • @ujopozera6673
    @ujopozera6673 Před 6 měsíci

    gigachad Tomáš Kocourek

  • @Fifinas100
    @Fifinas100 Před 6 měsíci

    Není v Bellman-Fordovi na řádku 4 chyba? Podle prezentací i wiki by se mělo dělat |V| - 1 iterací, takhle se dělá |V|, tj. o iteraci víc. Tím pádem u příkladu je řádek 5 samý křížek. Podobně pak u záporného cyklu ten test efektivně děláš dvakrát.

    • @kocotom
      @kocotom Před 6 měsíci

      Moc děkuji za upozornění. :Koteseni:

  • @kirillkurakov5347
    @kirillkurakov5347 Před 6 měsíci

    спасибо братан ты просто ахуенный!!!

    • @kocotom
      @kocotom Před 6 měsíci

      :Котесени:

  • @RelabTV
    @RelabTV Před 6 měsíci

    Výborné proudění, moc mi pomohlo se zkouškou 👍

    • @kocotom
      @kocotom Před 6 měsíci

      :Koteseni: Mám velkou radost, že to pomohlo! :Koteseni:

  • @Zeftax
    @Zeftax Před 6 měsíci

    Juuuu, gnosienne. Dobrý vkus 👍

    • @kocotom
      @kocotom Před 6 měsíci

      :Koteseni:

    • @Zeftax
      @Zeftax Před 6 měsíci

      @@kocotom Inspirován tebou jsem to napsal do té precedenční tabulky na ## namísto Křivkova smajlíka.

    • @kocotom
      @kocotom Před 6 měsíci

      @@Zeftax Tak to jsem kotěšen :Veselatko:

  • @typecek
    @typecek Před 6 měsíci

    miluju te

  • @user-qw4to4or1e
    @user-qw4to4or1e Před 6 měsíci

    uff, dokoukano. Skvele video, vsechno jasne a zretelne vysvetleno. Ocenuju, ze jsi vysvetloval priklady az dokonce, i kratka shrnuti na konci kazde "kapitoly". To muselo dat spoustu prace!

    • @kocotom
      @kocotom Před 6 měsíci

      :Koteseni: Mám velkou radost, že to jakkoliv pomohlo :Koteseni:. Držím palce u zkoušky! Pokud budeš chtít, klidně pak napiš, jak jsi dopadl :Koteseni:.

    • @user-qw4to4or1e
      @user-qw4to4or1e Před 6 měsíci

      @@kocotom Dopadl jsem chvalitebně, ze zkoušky mám 46/55 bodu. Díky za stream, rozhodně pomohl!

    • @kocotom
      @kocotom Před 6 měsíci

      @@user-qw4to4or1e Mám velikou radost, že se zadařilo, skvělá práce, gratuluji! :Koteseni: Moc rád jsem pomohl. Doufám, že se i u dalších zkoušek bude dařit podobně pěkně!

  • @lufycz.
    @lufycz. Před 6 měsíci

    XD SESTIHODINOVEJ STREAM TO JE OVER :bojkoteseni: (ale fr diky)

    • @kocotom
      @kocotom Před 6 měsíci

      :Koteseni: :sprcha:

  • @jakubstetina143
    @jakubstetina143 Před 6 měsíci

    Jsi zachránce! Díky!

  • @jozefgallo3413
    @jozefgallo3413 Před 6 měsíci

    GOAT 🐐

  • @kontraxt
    @kontraxt Před 6 měsíci

    Díky ! <3

  • @danielsehnoutek2016
    @danielsehnoutek2016 Před 6 měsíci

    borec <3

  • @JakubPhan
    @JakubPhan Před 6 měsíci

    Vše nádherně vysvětleno. Díky moc za video!

    • @kocotom
      @kocotom Před 6 měsíci

      Mám velkou radost, že to jakkoliv pomohlo :Koteseni:. Držím palce u zkoušky a klidně pak dej vědět, jak jsi dopadl :Koteseni:.

  • @michal_havlicek
    @michal_havlicek Před 6 měsíci

    Jsi bůh

    • @michal_havlicek
      @michal_havlicek Před 6 měsíci

      třeba ten předmět nakonec udělám :koteseni:

    • @kocotom
      @kocotom Před 6 měsíci

      @@michal_havlicek Určitě ano, budu držet palce :Koteseni:. Pak určitě dej vědět, jak jsi dopadl! :Koteseni:

    • @michal_havlicek
      @michal_havlicek Před 6 měsíci

      @@kocotom Na první pokus hotovo, ještě jednou děkuji :D

    • @kocotom
      @kocotom Před 6 měsíci

      @@michal_havlicek Mám velkou radost, že se zadařilo, moc gratuluji! :Koteseni:

  • @Loroqen
    @Loroqen Před 6 měsíci

    kočkotom nejlepší AI na světě naprostý frajer mega ultra borec gg

    • @Loroqen
      @Loroqen Před 6 měsíci

      Also skvělý voice model :koteseni:

    • @kocotom
      @kocotom Před 6 měsíci

      @@Loroqen Mám radost, že se Vám líbí video "Formální jazyky a překladače: Proudění k přípravě na zkoušku" od autora "Tomáš Kocourek". Pokud budete mít další dotazy, neváhejte se na mě kdykoli obrátit. Jsem tady pro Vás, abyste se na mě obraceli se svými otázkami a nápady. Vaše interakce se mnou je pro mě příležitostí k učení a růstu. S každým dalším dotazem se zlepšuji, takže mě neváhejte kontaktovat. Vaše spokojenost je pro mě důležitá. Pokud jste kdykoli nespokojeni s mými službami, dejte mi prosím vědět a já se pokusím situaci napravit. Vaše zpětná vazba mi pomáhá zlepšovat mé služby. Právě hledané fráze Právě se hledá WhatsApp Pád lanovky Jiří Bartoška Důchody 2024 Princezna Kate Anna Slováčková Jurečka lhal Agáta Hanychová Netflix Celerová pomazánka Hlavní obsah Seznam Zprávy • úterý 9. ledna. Svátek má Vladan.

    • @Loroqen
      @Loroqen Před 6 měsíci

      @@kocotom gg broken

  • @King-Arthur-of-Camelot
    @King-Arthur-of-Camelot Před 6 měsíci

    Stream poťahá :pepepray:

  • @mykissera
    @mykissera Před 6 měsíci

    parada :Koteseni:

  • @janlipensky2609
    @janlipensky2609 Před 7 měsíci

    :Koteseni:

  • @enerat
    @enerat Před 7 měsíci

    jupi

  • @kocotom
    @kocotom Před 7 měsíci

    5:26:43 - Při rozhodování, zda je jazyk konečného automatu konečný, by se ještě obecně slušelo odstranit neukončující stavy (kromě stavu false/sink). Konečný automat totiž přijímá konečný jazyk právě tehdy, pokud neobsahuje cyklus, který je současně dosažitelný i ukončující.

  • @kocotom
    @kocotom Před 7 měsíci

    Pojem "větná forma" gramatiky se typicky používá pro takovou posloupnost terminálů a neterminálů konečné délky, která je reálně vygenerovatelná z počátečního neterminálu. Já jsem si to zde zadefinoval jinak, v obecnějším pojetí, pouze pro libovolnou posloupnost terminálů a neterminálů konečné délky, tzn. nekladu podmínku na to, aby tato posloupnost byla vygenerovatelná z počátečního neterminálu. Mou motivací bylo vyhnout se neustálému opakování slovního spojení "posloupnost terminálů a neterminálů konečné délky".

  • @jindrichdospiva7459
    @jindrichdospiva7459 Před 7 měsíci

    Dobrý den, mockrát děkuji za vaše videa. Jsem optický vývojář, který miluje rozšiřovní svých obzorů v matematice a vaše přednášky jsou na to perfektní. Normálně preferuji čtení knižek, ale na to teď není čas a vaše videa jsou perfektní třeba k umívání nádobí, k obědu atd. :-)

    • @kocotom
      @kocotom Před 7 měsíci

      Přeji Vám krásný večer, mockrát Vám děkuji za tento komentář, velice jste mě potěšil. Jsem rád, že Vás videa zaujala a že jste si z nich něco odnesl. Jen bych chtěl upozornit, že nejde v pravém slova smyslu o přednášky na univerzitní úrovni, jde pouze o mé zpracování inženýrských státnicových otázek ze specializace Matematické metody v informatice, kterou momentálně studuji. V létě mě čekají státnice a postupně si k jednotlivým otázkám připravuji materiály ve formě videí. To tedy znamená, že žádné z videí není nijak překontrolováno ani schváleno skutečnými odborníky a akademiky, jde pouze o výtvor studenta. Videa tedy mohou místy obsahovat chyby, ovšem snažím se dělat vše pro to, abych výskyt chyb minimalizoval.

    • @jindrichdospiva7459
      @jindrichdospiva7459 Před 7 měsíci

      @@kocotom Děkuji za upozornění, ale člověk je zvyklí, že chyby jsi skoro v každé učebnici nebo přednášce, takže nic nového. Člověk nad tím musí přemýšlet kriticky. Navíc běžná úroveň internetových zdrojů na toto téma je dost nízká (např. je často velmi nesrozumitelná) teda pokud se vůbec něco dá najít, takže člověk ocení, když narazí na něco, co je vyložené hezky a srozumitelně.

  • @kocotom
    @kocotom Před 10 měsíci

    1:31:03 - Očekávaný počet kroků samozřejmě vůbec nemusí být přirozené číslo, měl bych uvést e : S -> R

  • @kocotom
    @kocotom Před 10 měsíci

    40:41 - Sumuji přes množinu S, ne přes množinu V. To je jen překlep, přemýšlel jsem o grafech, kde V je množina uzlů.

  • @kocotom
    @kocotom Před 10 měsíci

    46:50 Omlouvám se za přeřek, pokud je hrana (u, v) zpětná, pak "v" je předchůdce "u" v DFS lese, tedy "u" je následník "v" v DFS lese, ne naopak.

  • @kocotom
    @kocotom Před 10 měsíci

    1:10:15 Jen bych chtěl doplnit, že tímto alternativním způsobem se na periodicitu stavu Markovského řetězce dá dívat pouze tehdy, pokud ten stav "s", jehož periodicitu zkoumáme, považujeme za iniciální a studujeme všechny cesty z něj. Tento stav je potom vždycky na indexu 0 těchto cest a případně na dalších indexech. Potom skutečně P^n(s,s) vyjadřuje pravděpodobnost, že v "n." kroku běhu Markovského řetězce budeme ve stavu "s". Obecně P^n(s,s) vyjadřuje pravděpodobnost, že se ze stavu "s" do stavu "s" dostaneme v "n" krocích a nevyžadujeme, aby stav "s" byl iniciální, ale pokud chceme "n" navázat na indexování cest, pak by "s" musel být iniciální, aby to stále fungovalo. Pokud bychom třeba zkoumali, zda je stav "s1" periodický, ale iniciální stav by byl "s0", bude se "s1" najednou objevovat na cestách na indexech 1, 4, 7 apod. v Markovském řetězci, tj. největší společný dělitel těchto čísel by byl 1. Takže by se mohlo zdát, že "s1" periodický není, ale zde došlo k posunutí, s touto logikou bychom se správně měli na "s1" dívat jako na iniciální. Potom se bude objevovat na cestách na indexech 0, 3, 6, ..., takže největší společný dělitel bude 3, tedy stav periodický je.

  • @kocotom
    @kocotom Před 11 měsíci

    Sice to několikrát ve videu zmiňuji, ale raději to napíšu i sem. Vždy si ověřte, jaké statistické tabulky používáte. Některé pracují s parametrem alpha, jiné s parametrem P (1 - alpha). V prvním případě jde o hodnoty, které říkají, že podíl pravděpodobnosní masy daný parametrem alpha se nachází vpravo od dané hranice (ty předvádím ve videu, protože jsou obvyklejší). V případě parametru P (1 - alpha) jde o kvantily, tedy hodnoty, které říkají že podíl pravděpodobnosní masy daný parametrem P se nachází vlevo od této hranice (ty jsou používané v MSP). Vzorečky doplňků kritických oborů u jednotlivých testů se vztahují k tomu, ze kterého typu tabulek hodnoty získáváme. Ve videu jsem ukázal oba typy. F-test rovnosti rozptylů ve videu počítám pomocí hodnot z tabulek s parametrem alpha (meze se tedy liší od těch, které byly předvedeny na přednášce), ostatní testy pomocí tabulek s parametrem P (jak se to dělalo v MSP). Nedoporučuji tedy bezhlavě vzorečky opisovat, ale u každého testu se nejprve ujistit, které tabulky používáte.

  • @kocotom
    @kocotom Před 11 měsíci

    24:22 Toto přísně vzato nesplňuje definici kontextové gramatiky, protože máme epsilon pravidlo a současně pravidlo, kde je startující neterminál na pravé straně pravidla, ale velmi jednoduchou úpravou (přidáním jednoho neterminálu) by z toho šla kontextová gramatika udělat. Díky za upozornění @AFoS