Příspěvky

901

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 12:46:10 »

Takový přehledový základ má pohromadě v http://www.flu.cas.cz/prehled/peregrin13.htm Ale to asi znáš. Je to pěkná věc. Kdyby měl tenhle obsah zpracovaný do přednášek a ještě trošku rozšířený, bylo by to přesně to, co bych si dal.

Tohle je ale stylem, který furt dokola kritizuješ.

Peregrin zrovna hodně jede formalismus bez praktických příkladů. Občas se mu něco povede napsat hezky, ale jinak vůbec nazasazuje do kontextu. Rozhodně se mu lépe daří psát o filosofii, u logiky to dost skřípe.

902

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 12:42:03 »

Sakra, se to odeslalo dvakrát

903

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 12:40:53 »

Už jenom jak vidím ten lispový zápis, tak bych blil

Proč? Má to svůj důvod.

Celkově ale neumím posoudit, jestli je to to, co jsem myslel.

To by sis to musel přečíst Nicméně pokrývá to temporální a dost podrobně modální aspekty logiky a je to o sémantice (FOL), přesně to, cos chtěl. Navíc používá "real world examples" ve vrchovaté míře.

904

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 11:37:01 »

Měl bys nějaký odkaz? Nedaří se mi nic najít, jenom intro kurzy.

Naprostý základ je tohle: https://www.isi.edu/~hobbs/csk.html
Doporučuji nejdříve přečíst Appendix. Kdo pochopí tuto látku (asi každý, základ je FOL), má skvělý základ pro HOL a různá jiná rozšíření.

P.S. Máš tam i modální logiku (v mnohem větší obecnosti než výroková ML) a temporální reprezentace. Částečně se to kryje s Peregrinem, ale ten to má roztahané po článcích.

A ještě P.P.S.: Tento typ reprezentace používá IBM Watson, není to jen nějaká teorie, v IBM to naimplementovali od analýzy po reasoning a propojení s dazabázemi znalostí.

905

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 11:11:03 »

Měl bys nějaký odkaz? Nedaří se mi nic najít, jenom intro kurzy.

Naprostý základ je tohle: https://www.isi.edu/~hobbs/csk.html
Doporučuji nejdříve přečíst Appendix. Kdo pochopí tuto látku (asi každý, základ je FOL), má skvělý základ pro HOL a různá jiná rozšíření.

906

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 10:36:52 »

Ono to stejně souvisí.

Jasný, no, je to přístup z jiné strany a postupně se potkají uprostřed

BTW, když už jsme u toho, máš povědomí o tom, jak na tom dneska ta formální lingvistika je? IIRC někdy v šedesátých a devadesátých (?) letech se myslelo, že stačí "jenom" přirozený jazyk přepsat do logiky a překlad jazyků bude skoro zadarmo. To se asi ukázalo jako dost slepá větev a dneska je v kurzu spíš jít na to přes strojové učení, ne?

Mám. Většina teorií dělá blbě už to “přepsat do logiky.” Překlad se dělá neuronkama, ale různé analýzy (Siri, IBM Watson) jsou založené na pravidlech. I správně udělaný přepis do logiky je ale k ničemu bez rozsáhlé ontologie, to je asi největší problém těchto přístupů.

907

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 10:07:37 »

Se nedivím, že byl zmatený, “formální sémantika” je většinou něco trochu jiného než sémantika FOL.

Aha, ok, už to vidím. Netušil jsem, že se tohle spojení používá v lingvistice v jiném významu (pokud teda narážíš na https://en.wikipedia.org/wiki/Formal_semantics_(natural_language) ).

Já jsem myslel ten význam, který se tomu dává v CS ( sémantika logiky, programovacích jazyků apod. ).

Jo, to mi došlo. Ono to stejně souvisí.

908

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 09:29:07 »

Modely v teorii typů, to je jiný kafe

ne nějaký šílenosti, kterým rozumí pět lidí na světě

Tohle je zrovna normální λ-kalkul, jen otypovaný, přesně ve stylu “kousek nad logikou na úrovni Bc”.

909

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 09:24:56 »

Jinak když jsem říkal "pokročilejší", tak jsem tím myslel "nad rámec běžné povinné logiky na VŠ"

Na tohle má skvělé materiály ISI Stanford, minimální formalismus, příklady, které pochopí každý, a výklad zaměřený čistě na praxi (neoamatuju ani jeden důkaz).

910

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 09:08:28 »

to už by mi větší smysl dávalo přečíst si Bratry Karamazovy

V originále možná.

911

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 09:06:53 »

Tohle ale není “pokročilé”…

Tohle ne, to byl příklad pro průzkumabojem. Schválně jsem vybral sémantiku klasické logiky prvního řádu a ukecaný text, aby mu bylo zřejmější, o co jde.

Se nedivím, že byl zmatený, “formální sémantika” je většinou něco trochu jiného než sémantika FOL.

912

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 09. 05. 2021, 00:36:14 »

Hm, jsem se musel jit podivat co to ta formalni semantika je...

A hned jsem si vzpomnel na Feynmanovu historku o tom, jak sel na prednasku filozofie a zeptal se jestli teda "Je cihla esencialni predmet"?

To je úplně něco jinýho. Viz např. http://people.umass.edu/~gmhwww/513/pdf/C14.pdf

Tohle ale není “pokročilé”…

Modely v teorii typů, to je jiný kafe

913

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 08. 05. 2021, 21:34:33 »

Můžeš se tam vrátit a dostudovat

Už mám Brno dost z ruky, takže je nereálný tam chodit byť jenom na jeden předmět. Ale kdybych tam ještě bydlel, zašel bych si spíš na nějaké dějiny filosofie, nějaký výtvarný design nebo tak něco z úplně jiného soudku. Z informatiky pochybuju, že by mi něco z běžných předmětů teď dalo. Leda možná nějakou pokročilejší logiku si poslechnout jenom tak pro radost, ale to můžu spíš na netu a kvalita bude pravděpodobně spíš vyšší než by byla v Brně (bez urážky).

Co je pro tebe "pokročilejší logika"?

914

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 08. 05. 2021, 19:17:43 »

Ináč je podľa vás, ktorí máte vyštudovanú vysokú školu čisto matematického zameranie možné, aby bol niekto matematik-samouk? Dnes sú učebnice dostupné, je veľa prednášok dokonca zadarmo atď. ale je možné sa to naučiť bez toho aby človek bol proste v tom prostredí, bez profesora ktorý ho vedie, bez cvičení atď.? Pýtam sa, lebo toto vlákno ma tak trochu "nakoplo", ja mám nejaký základ, nikdy som však nebol dobrý v matematike, najviac ma bavila lineárna algebra a chcel by som si ju znovu naštudovať, ale tentokrát skutočne poriadne, myslím, že by som takto mal aj značnú výhodu na trhu práce ako vývojár, kopec programátorov má všelijaké školy, ale reálne ich ani nenapadne niečo riešiť pomocou matematického aparátu a lingebra má naozaj veľa praktických aplikácii aj v celkom bežných problémoch nie len v nejakých super zložitých s nejakými diferenciálnymi rovnicami či čo ja viem čo. Tak čo myslíte, má cenu sa do toho vôbec púšťať, tobôž vo veku po 30ke? Vrátiť sa na VŠ už je pre mňa nereálne, musím už zarábať peniaze.

P.S. je možné sa naučiť ako samouk matematiku do takej miery, že sa človek sám naučí čo to sú vlastne diferenciálne rovnice a naučí sa ich aj riešiť? Ja by som povedal, že to asi nejde, ak nie je človek skutočne matematicky génius.

Do určité úrovně to jde bez nějakých větších problémů, ale rozhodně to je lepší s vedením. Dif. rovnice nejsou složité, chce to dobré materiály a hlavně učit se to na praktických příkladech, ne jen matematické symboly bez kontextu, ale třeba na příkladu vlnové nebo difúzní rovnice.

915

Studium a uplatnění / Re:Zlepšení znalosti matematiky - CBT

« kdy: 08. 05. 2021, 17:22:53 »

Divné, studijní plány vypadají velmi slušně.

Dneska už je to úplně jiná škola

Můžeš se tam vrátit a dostudovat