Příspěvky

136

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

« kdy: 10. 05. 2021, 08:06:07 »

Zamyšlení na nedělní večer : proč by lidské jazyky měly být "logické"? Nereflektuje snad jazyk naše přemýšlení? A ty procesy, které nám běží v hlavách by taky měly být "logické"? Nebo na které úrovni -- subatomární fyzika, atomy, ..., organely, buňky, ..., mozek, člověk -- se ta "logika" zjeví?

To "přepsání do logiky", o kterém jsem psal já, je zachycení významu sdělení. Tj. nějaké "statické" záležitosti, ne procesu přemýšlení.

Z hlediska formální logiky začínají zajímavé věci právě tam, kde význam přenáší něco "nelogického" - např. někdo může tvrdit něco, co není pravda. Nebo může i tvrdit něco, co vůbec nedává smysl ("Včera jsem viděl kulatý čtverec." - to je pořád "platná věta", která je jakýmsi způsobem srozumitelná).  V klasické logice by se takové sdělení zhroutilo (z nepravdy vyplývá cokoli). Takže potřebuješ nějakou speciální logiku, která dokáže takový "nesmyslný význam" přenést a přitom ho "nevyhodnocovat". Na škole jsem měl dva semestry transparentní intenzionální logiky a tam bylo zajímavý, že se používal obrat hodně podobný "quote" z programovacích jazyků - formule se dá použít jako celek ("citace kódu") a její nesmyslnost se případně projeví až v případě, že se taková formule "spustí". Hrozně mě bavilo, když nám prof. Materna ukazoval, jak pomocí TIL zachytit významy různých problematických vět

137

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

« kdy: 09. 05. 2021, 13:40:43 »

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

To je čistě subjektivní, já prostě Lisp nesnáším.

138

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

« kdy: 09. 05. 2021, 13:39:59 »

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

Kritizuju materiály napsané stylem definice - věta - důkaz bez slovního komentáře. To rozhodně není styl téhle knížky. Všechno, co je potřeba, je tam bohatě slovně vysvětleno. Motivace pro jednotlivá rozšíření jsou dobře popsané. Důkazy tam nejsou prakticky žádné. Definice tam formalisticky jsou, protože to je prostě přehledový text, takže to je naprosto cajk.

Praktické příklady tam nejsou, to máš pravdu, ale to by ta knížka narostla tak na dvojnásobek. Ale především to není učebnice. Je to prostě přehledový text pár vybraných rozšíření klasické logiky, aby čtenář ochutnal o čem to je a když ho něco zaujme, zápatral jinde. Což je přesně ten krůček dál, kterej by mě bavil (spíš právě formou dobře udělaného přednáškového cyklu než knížky, když celý den čumím do monitoru, tak už večer bohužel nemám energii číst ).

139

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

« kdy: 09. 05. 2021, 12:36:01 »

Naprostý základ je tohle: https://www.isi.edu/~hobbs/csk.html

Aha, no já jsem hledal ten Stanford

Vypadá to docela zajímavě, fakt prakticky, ale není to typ textu, kterým by se mi teď chtělo prokousávat. Už jenom jak vidím ten lispový zápis, tak bych blil Ale i tak díky, dávám do Pocketu, někdy třeba nakouknu na nějaké konkrétní pasáže, které mě budou zajímat.

Celkově ale neumím posoudit, jestli je to to, co jsem myslel. Spíš by se tomu blížil právě ten Peregrin.

Částečně se to kryje s Peregrinem, ale ten to má roztahané po článcích.

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.

140

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

« kdy: 09. 05. 2021, 10:15:20 »

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?

141

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

« kdy: 09. 05. 2021, 10:10:25 »

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).

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

142

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

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

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. ).

143

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

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

Jestli máš zájem o lineární algebru, toto jsou dobré sripta: https://www2.karlin.mff.cuni.cz/~stovicek/dl/20-21-zs/skripta_la6.pdf

Tyjo, to vypadá opravdu dobře. Přijde mi, že ten text má přesně tu rozumnou míru komentářů, o které jsem psal (https://forum.root.cz/index.php?topic=22723.msg350781#msg350781).

144

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

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

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.

Jinak když jsem říkal "pokročilejší", tak jsem tím myslel "nad rámec běžné povinné logiky na VŠ", ne nějaký šílenosti, kterým rozumí pět lidí na světě Říkal jsem, že bych si takový kurz dal pro radost, rozhodně nemám touhu si z logiky dělat PhD, na to už je fakt pozdě a k ničemu by mi to nebylo, to už by mi větší smysl dávalo přečíst si Bratry Karamazovy

145

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

« kdy: 09. 05. 2021, 00:20:31 »

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

146

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

« kdy: 08. 05. 2021, 22:49:38 »

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

Nejvíc by mě asi bavilo hezké povídání o všelijakých rozšířeních: temporální, modální, vícehodnotové apod. Ale s důrazem na to "hezké". Ani takhle zajímavé téma by mě nebavilo od nějakého sucharského přeříkávače vzorečků...

A na to navázat formální sémantikou, tu bych si moc rád osvěžil. Ale tu by tuplem musel přednášet opravdu skvělý přednášející, protože jinak zrovna tohle umí být neskutečná nuda a jak se tam ten význam na symboly mapuje jedna ku jedné, je strašně snadný se při chvilce nepozornosti ztratit v tom, o čem se zrovna mluví a proč by to mělo být zajímavý...

147

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

« kdy: 08. 05. 2021, 21:31:19 »

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).

148

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

« kdy: 08. 05. 2021, 17:20:09 »

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

Dneska už je to úplně jiná škola, já jsem nastupoval na FI v roce 1999 IIRC.

EDIT: Navíc jak říkám, studijní plány mi smysl dávaly, akorát ta realita mě zklamala.

149

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

« kdy: 08. 05. 2021, 15:39:58 »

A v čem byl problém? Že se mění, nebo učili něco jiného? Pokud je základy myšlena teorii množin, formální logika atd., tak kde je háček?

Sorry, nechce se mi to moc rozebírat. Ale prostě realita byla úplně jiná než dojem, který jsem získal po studiu "náborových" materiálů. Ono by mě to asi i bavilo, abstraktní pohled na věci mám rád, ale vždycky (já osobně) hodně vyžaduju jasnou propojenost s praxí a ta mi tam totálně chyběla. Jak říkám, měl jsem už nějaký věk, v IT už jsem tou dobou pracoval, takže na nějaké hraní si pro hraní si jsem fakt neměl ani čas ani náladu

Myslím, že hlavní problém nebyl ani tak v náplni (no... i když třeba tu matematickou analýzu považuju za pro mě úplně zbytnou) jako spíš v přístupu. Měl jsem dojem, že do studijního plánu prostě naplácali kde co "protože to tam musí být" a nějakou propojenost, zacílenost pro konkrétní obor, natož praktickou využitelnost se vůbec nikdo nestaral. Působilo to na mě strašně alibisticko-elitářsky.

150

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

« kdy: 08. 05. 2021, 15:06:55 »

Tak pročs tam lez? Není lepší si zjistit předem, jestli obor, kam se hlásíš, není pro tebe příliš těžký/abstraktní?

Problém nebyl v těžký/abstraktní, ale v tom, že jsem ztratil víru v to, co všechny materiály a vyučující tvrdili a co znělo dobře (proto jsem tam šel): "naučíme vás obecné základy, které se nemění". Chvilku jsem tomu věřil, než jsem to uviděl v realitě a naznal, že to je nebetyčná krávovina. Taky v tom hrálo roli, že už jsem měl nějaký věk a neměl jsem mladickou touhu zabávat se hovadinama jenom proto, "že se z toho bude zkoušet".

na to by mohol lepšie odpovedať pan Prýmek ako tieto javy funguju a ako sa ich spoločnosť môže zbaviť

Tak hlavně bych poprosil o tykání, to tady vždycky bývalo zvykem

Ne že by to nějak zvlášť se sociologií souviselo, ale pokud vím, není to zvyk ruského původu, ale německého Takže jak se to tady objevilo, je zjevné. A jak to zmizí taky: na naše způsoby už má daleko větší vliv kultura internacionálně-americká než německá. Takže proto se lidi pod padesát tituly už neoslovují