Zobrazit příspěvky
7291
Studium a uplatnění / Re:IT na MFF nezvládám, kam přejít?
« kdy: 24. 01. 2013, 16:28:31 »Já se moc omlouvám za offtopic, ale mám dotaz na Mirka - Co jsem koukal na to PDF, tyhle "znalosti" se někde prakticky používají? Připadá mi ten předmět podobně užitečjnej jako trojný integrály a podobný mrchy, na kterých jsem ztroskotal...To není otázka na mě
Hrůznost těch skript (pro mě osobně) je v tom, že jsou naprosto příšerně napsaný - jakás-takás diskuse je u věcí jednoduchých a složitější jsou už jenom suchým stylem věta-důkaz... Já osobně tenhle styl prostě nesnáším a mám za to, že (teď prosím bez urážky tohodle autora osobně, kterého neznám) je to víceméně důkaz toho, že víc než naučit si chce honit triko a vyházet studenty, kteří nemají nervy se tím prokousat (jak už tady zaznělo, on to zvládne každý druhý, když v tom dostatečně dlouho leží)...Jinak pojmy jako dokazatelnost, teorie, model apod. se využívají všude. To je naprostý základ, který je rozhodně dobré znát. Tady v těch skriptech je to tak složité (jak se mi zdá po pohledu z rychlíku) proto, že tyhle pojmy jsou aplikované na matematické koncepty, které jsou samy o sobě složité. S těmi základními koncepty se dá seznámit podstatně bezbolestněji - ve stylu těch slajdů, co jsem linkoval jako první, ty jsou v pohodě.
Plus jsou tam ještě dvě věci: 1. slušná znalost predikátové logiky se hodí v některých jazycích, které s ní přímo pracují (např. Prolog) a 2. ty operace, které se v PL používají, jsou programování hodně podobné, takže pokud by někomu nešla PL samotná (tím nemyslím tuhle hrůzu), tak by to měl asi těžké i s programováním...
Ano, je to ono - aky je z toho dojem?No co mám vykládat... Málem jsem se z toho poblil, jak jsem to viděl
Otazka je, ci ide robit logika aj bez tohoto "balastu" na urovni velmi striktnych formalizmov atd.Logika *sama o sobě* jde samozřejmě dělat podstatně stravitelněji a pro ajťáka přínosněji - tady ale zjevně byl záměr opačný. Nechci moc fabulovat, ale myslím, že autor přesně splnil to, co splnit chtěl...
