Fórum Root.cz
Práce => Studium a uplatnění => Téma založeno: baldr 24. 01. 2013, 12:10:52
-
Jsem studentem 2. ročníku bakalářského studia informatiky na MFF a mám pocit, že ta škola je poněkud nad mé síly. Zejména kvůli Matematické analýze a Výrokové a predikátové logice.
1) Možnost která se nabízí je přechod na FIT, otázka je zda bych si tím nějak výrazně pomohl.
2) Napadá vás kromě FITu a VŠE jiná škola v Praze, která by byla jednodušší?
-
Myšleno jiná IT škola, abyste mne hned neposílali na hnojárnu. :))
V jiných předmětech ani na MFF nemívám výrazné problémy.
-
Co se učíte tak hroznýho v té logice?
-
Tak si na to sedni a ty dva předměty se nauč. Cokoliv mimo MFF bude obrovskej skok dolů.
Sám za sebe mám zkušenost s FIT ČVUT a je to dost otřesný. Předměty se člověk naučí za odpoledne, ale (stále se opakujících) úkolů je tam tolik, že to zabere pomalu tolik času, jako studium fyziky na MFF.
-
Tak si na to sedni a ty dva předměty se nauč.
Učil jsem se i vyšší logiky než výrokovou a predikátovou, proto se ptám, co na nich tazateli dělá problém. Ne, že by se to nemohlo stát komukoli, prostě se ptám.
-
Tak si na to sedni a ty dva předměty se nauč.
Logika nevím, ta mi nepřišla tak těžká, ale analýza 2 bývala na informatice (magisterské, ale možná se to na bakaláři neliší) opravdu pekelná. To se nedá snadno "naučit" prostým přidáním času na učení, poctivým chozením na přednášku apod. Hodně ale záleží i kdo to zrovna učí a je (býval) to poslední předmět tohoto typu (docela těžká bývala ještě složitost, ale to je charakterem blíže té logice než analýze). Takže tazateli bych doporučil to ještě zkusit, při troše štěstí propluje a analýzu už nikdy neuvidí...
-
Ja jsem naopak neudelal Matematickou analyzu na FEL CVUT a tak jsem presel na MFF UK, kterou jsem pak uspesne absolvoval. Ja tvrdim, ze pokud ti neco na teto skole nejde, tak prechodem na jinou skolu si nepomuzes. Jde o to, najit v sobe to odhodlani a motivaci ty tezkosti prekonat.
-
Pokud nechceš kvalitativně příliš padat dolů a současně nehnít v ČR na VŠ příliš dlouho, doporučuji aplikovanou informatiku (dřívější praktická informatika) na FJFI CVUT, na rozdíl od ostatních IT oborů, které škola nabízí, se jedná o nenavazující studijní obor, který má významně ochuzenou matematickou část oproti standartům FJFI, analýza i algebra víceméně bez přístupu definice věta důkaz. S uznáním předmětů z MFF by neměl být problém, kolektiv je velmi příjemný a někdy dokonce převažuje počet přednášejících/cvičících z MFF ty z FJFI.
Pokud se chceš upracovat k smrti projekty, tak je FIT jasná volba. Jestli si chceš odpočinout tak vol FIS VŠE. A jestli tě trápí syndrom vyhoření už teď, tak zkus opravdu hnojárnu, třeba lesnictví nebo zahradní architekturu, sice méně peněz, zato o mnoho lepší pracovní prostředí, zdravější životní styl, bezproblémové uplatnění v regionech mimo EU, městské aglomerace a hlavně žádné záření. Vyhodit notebook, prodat desktop, rozebrat mainframe, poslat jej Stalinovi na hraní a hurá stavět dřevěnici do lesa a zasadit pšenici.
-
Co se učíte tak hroznýho v té logice?
Většinou není problém v tom, co se v předmětu učí. Problém bývá v tom kdo a jak to učí, do jaké hloubky to učí a jaké má požadavky a jak je koncipována zkouška. Jaký je poměr objemu látky k její hodinové dotaci a kolik času stráví student ostatními předměty v daném semestru. Taktéž jestli předmětu předcházely jiné předměty se všemi potřebnými prerekvizitami, nebo jestli se tohle dohánělo první přednášku.
Opravdu nemá smysl, aby tady tazatel napsal jména pár kapitol z osnov předmětu a vy jste mu napsal, že vy osobně jste to jinde v jiném předmětu zvládl.
-
Opravdu nemá smysl, aby tady tazatel napsal jména pár kapitol z osnov předmětu a vy jste mu napsal, že vy osobně jste to jinde v jiném předmětu zvládl.
To by opravdu nemělo smysl. Stejně jako by nemělo smysl, kdyby to nenapsal a někdo mu poradil školu, kde se ty samé kapitoly učí taky.
-
Dělal jsem taky informatiku MFF a všiml jsem si, že i relativně hloupí lidé tam zvládli i ty těžké předměty, pokud byli dostatečně pilní. Kdo (třeba i s odřeným nosem) prošel prvákem, měl by dodělat i zbytek, pokud se nezačne flákat, chodit do práce atd. Tak bych spíš doporučil poctivou přípravu ke zkouškám. A pokud byl přednášející chaotik, tak doporučuju zakoupit si dobrá skripta. Nevzdávej to :-)
-
Opravdu nemá smysl, aby tady tazatel napsal jména pár kapitol z osnov předmětu a vy jste mu napsal, že vy osobně jste to jinde v jiném předmětu zvládl.
To by opravdu nemělo smysl. Stejně jako by nemělo smysl, kdyby to nenapsal a někdo mu poradil školu, kde se ty samé kapitoly učí taky.
Pointa celého mého příspěvku je v tom, že o ty názvy kapitol nejde - jde o to všechno kolem.
-
Pointa celého mého příspěvku je v tom, že o ty názvy kapitol nejde - jde o to všechno kolem.
Pointa mého příspěvku je zase v tom, že jsem se na názvy kapitol neptal :)
-
Co se učíte tak hroznýho v té logice?
Ak sa nic nezmenilo, tak sa na prednaskach vacsinu casu postupne robi dokaz Vety o kompletnosti a uplnosti predikatovej logiky a potom analyza teorii na styl
"Nech je T teoria vektorovych priestorov nad F. Dokaz, ze T je modelovo kompletna."
Alebo jedno priamo skopirovane, ku ktoremu je treba spravit dokaz:
"Teorie DAG0 netriviálních divisibilních Abelových grup bez torze má eliminaci kvantifikátorů"
Cele sa to zacne "stavat" od designatorov a postupuje sa dalej a dalej. Okrem toho je tam este nerozhodnutelnost (hierarchia funkcii, ich vztahy atd).
Na prednaske bolo pred nejakou dobou pomerne blbe, ze to prednasajuci nevie vysvetlit (podla neho je to zrejme) a rychlost prednasky je tak velka, ze sa v podstate vacsinu casu len hovori, co je treba sa este naucit zo skript. Tie maju asi tak 130 + 50 stran, ktore su tak nahusto, ze by to bezny clovek napisal najmenej na 1000 stran a nie su pisane velmi citatelne - na pochopenie je treba vyrokovu a predikatovu logiku pomerne dobre poznat (a potom uz si clovek nemusi citat skripta).
Celkovo je vyrokova a predikatova logika podla mna najtazsi predmet na MFF (jediny, kde som vyuzil aj druhy termin). Preto by som sa toho celkovo az tak nebal...
Analyza je nieco ine - to staci pochopit a potom sa da vacsina dokazov vymysliet aj na skuske (u ostatnych je treba vediet aspon myslienku a domysliet ostatne).
-
Díky, studente, tohle mě přesně zajímalo a pro dotaz je to imho podstatné. Takže jestli jsem to dobře pochopil, samotná logika by ještě nebyla tak strašná, akorát se aplikuje na složité matematické konstrukce?
Ty skripta jsou někde online? Našel jsem http://ktiml.mff.cuni.cz/teaching/files/materials/StepanekPetr_VyrokovaLogika_1x1.pdf a to je celkem klasika, co se bude učit všude...
-
Jo, tak si odpovím sám: je to asi tohle http://ktiml.mff.cuni.cz/~mlcek/PART_12.pdf co? Tak ok, to už mám jasno.
-
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...
-
Jo, tak si odpovím sám: je to asi tohle http://ktiml.mff.cuni.cz/~mlcek/PART_12.pdf co? Tak ok, to už mám jasno.
Ano, je to ono - aky je z toho dojem? ;D Este si zabudol na riesene priklady, ktore sa oplati si pozriet, ak student nechce letiet (a vazne ich odporucam aj OPovi - ked sa naucis definicie a vety zo skript a tieto priklady, tak za 3 dostanes, aj ked nebudes vediet na mieste dokazat nic viac)
http://ktiml.mff.cuni.cz/~mlcek/TASKS_12.pdf
Inak tam je "myslienka" za celym pocitanim atd uplne v pohode; akurat je treba vediet od zaciatku kopu terminov, ako co oznacit a co sa vlastne cim mysli, aby skripta davali aspon nejaky zmysel. Otazka je, ci ide robit logika aj bez tohoto "balastu" na urovni velmi striktnych formalizmov atd.
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...
Co mate proti trojitym integralom? Tam si dokazem predstavit aj pouzitie v "realnom zivote"; toto ma dobre dosledky akurat pre par studentov v tom, ze si uvedomia, ze nie vsetko sa da dokazat (Godelove vety) a ze existuju aj naozajstni teoretici, ktori potrebuju striktne formalizmy na uplne obycajne veci.
-
Co mate proti trojitym integralom? Tam si dokazem predstavit aj pouzitie v "realnom zivote"; toto ma dobre dosledky akurat pre par studentov v tom, ze si uvedomia, ze nie vsetko sa da dokazat (Godelove vety) a ze existuju aj naozajstni teoretici, ktori potrebuju striktne formalizmy na uplne obycajne veci.
Já proti nim nic nemám, jen jsem na nich skončil... :-) I když to mělo/má uplatnění (hned v sousedním předmětu, který už může být převeden do praktické praxe). Nejvíc se mi líbí na té odpovědi "ktori potrebuju striktne formalizmy na uplne obycajne veci", z toho si dělám naprosto subjektivní obrázek, za který určitě nebudu u někoho oblíben... Jinak řečeno - pro mě jako naprosto normálního a selským rozumem uvažujícího "nevzdělance" je to k ničemu. Ještě jednou pardon za offtopic, už to tu nechám ;-)
-
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...
-
Nevim koho mas na analyzu, ale vetsina prednasejicich na informatice byla dobra. A se slusnou knizkou nebo poznamkami neni analyza problem. Logika s Mlckem byla opruz, ale staci trocha pile, snahy a jde to.
Uz jsem na MFF par roku a neznam jedinyho cloveka, co by vyletel. Vetsina lidi to vzda, protoze se jim proste nechce tomu dat trochu vic casu.
-
Podla mojich informacii by sa mal buduci rok vymenit prednasajuci. Pad docent je velmi dobry vedec, ale do mysle ani duse studentia - nie genia sa vzit, naozaj, nevie. Tie skripta. Ked to uz pochopite, tak Vam tie skripta pridu strasne super, lebo nie je v nich balast, ba mozno aj ciarka naviac. Su naozaj kompaktne. Ale na ucenie asi vhodne nie su.
Potom je aj druha strana. Som rad, ze som absolvoval tuto logiku, lebo bolo to sialenstvo a bola to jedina skuska, po ktorej som tancovat. Bolo to brutalne a sialenstvo cely cas. Ale ked sa podivam spatne.. drvivu vacsinu predmetov som prisiel, spravil, odisiel. Okrem vedomosti to vela vo mne nezanechali. Ani analyzy uz nie su take narocne alebo brutalne a zavisi od prednasajuceho. Mne sa tie informaticke analyzy velmi nepacia, lebo z kazdeho rozku nieco a nic. Ak uz nieco, tak som rad, ak poriadne..
Neviem ako to vyznie, ale musim povedat, ze na tie sialenstva mam prave tie najkrajsie spomienky. Lebo som ma donutili skutocne makat. Som aj rad, ze som sa prekusal tymi skriptami, lebo to bol zazitok. Nieco uplne ine, ako to, na co som bol zvyknuty.
Nejako mam pocit, ze prave o tych sialenstvach a nepohodlnych cestach je zivot...
-
Ked to uz pochopite, tak Vam tie skripta pridu strasne super, lebo nie je v nich balast, ba mozno aj ciarka naviac. Su naozaj kompaktne. Ale na ucenie asi vhodne nie su.
Jenže skripta jsou učební text. Nevím, kde se v matematicích bere ten pocit, že by lidi jako učební text měli používat kompendium.
Neviem ako to vyznie, ale musim povedat, ze na tie sialenstva mam prave tie najkrajsie spomienky. Lebo som ma donutili skutocne makat. Som aj rad, ze som sa prekusal tymi skriptami, lebo to bol zazitok. Nieco uplne ine, ako to, na co som bol zvyknuty.
Nejako mam pocit, ze prave o tych sialenstvach a nepohodlnych cestach je zivot...
Nevim, jak pro ostatní, ale pro mě to vyznělo tak, že rád vzpomínáš, jak sis hezky zaonanoval :) Nic proti tomu, proč ne, ale jestli "o tom je život", to fakt nevím :)
-
Co mate proti trojitym integralom? Tam si dokazem predstavit aj pouzitie v "realnom zivote"; toto ma dobre dosledky akurat pre par studentov v tom, ze si uvedomia, ze nie vsetko sa da dokazat (Godelove vety) a ze existuju aj naozajstni teoretici, ktori potrebuju striktne formalizmy na uplne obycajne veci.
Já proti nim nic nemám, jen jsem na nich skončil... :-) I když to mělo/má uplatnění (hned v sousedním předmětu, který už může být převeden do praktické praxe). Nejvíc se mi líbí na té odpovědi "ktori potrebuju striktne formalizmy na uplne obycajne veci", z toho si dělám naprosto subjektivní obrázek, za který určitě nebudu u někoho oblíben... Jinak řečeno - pro mě jako naprosto normálního a selským rozumem uvažujícího "nevzdělance" je to k ničemu. Ještě jednou pardon za offtopic, už to tu nechám ;-)
Trojnej integral je vpohode ... jestli chces konkretni priklad, tak rekneme, ze mas nejaky zcela obecny teleso(trebas rekneme lodni vrtuli), a chces spocitat jeho objem - trebas proto, abys vedel kolik materialu budes potrebovat na odlitek. Ostatne, jak myslis, ze se dojde k takovymu peknymu vzorecku na vypocet objemu koule ... vyzkousej si to (nebo si to najdi) ... ;D
Ovsem i to je daleko za hranici toho, co clovek v praxi bezne potrebuje. To co se tu probira, je pak uz spis mimo realitu, proste to ber tak, ze mezi nami existuji blouznici vedatori, kteri maji nutkani dokazovat, ze koule je sisata ... vetsinou pritom na absolutne nic zajimavyho neprijdou, tak se to aspon snazej vnucovat nebohym studentum ... ;D
To urcite znas, ne, jak leti balon v mlze, a nebohy letec zahledne na zemi clovicka. Zepta se ho, "kde sme" ... a ten odpovi "v balonu", nacez dotycny konstatuje ... to byl jiste matematik, odpovedel naprosto presne, a jeho odpoved je naprosto khownu.
-
"kde sme" ... a ten odpovi "v balonu"
Jo, to je dobry :)
Pripomina mi to, jak jsem onehdy mluvil s jednim clovekem, ktery sefuje tymu, ktery implementuje nejake matematicke poznatky. Rikal v kostce neco jako: ono s tema matematikama je to trochu tezky - oni totiz kde potrebuji, tam daji nejake to nekonecno, krasne a elegantne jim vychazi dukazy a tim je to pro ne skoncene. Ze to je problem pak prakticky implementovat do nejakych tech promennych a tak, to uz jim vubec neprijde zajimave. :))
-
Ze to je problem pak prakticky implementovat do nejakych tech promennych a tak, to uz jim vubec neprijde zajimave. :))
Proto se také matematikové nenechávají šahat na počítače a nechává se to dělat skutečnými programátory, ti umí naimplementovat nejenom nekonečna, ale i dělení nulou.
-
Má zkušenost je podobná jako ostatních - kdo udělal na MFF prvák, ten už má dostatečné schopnosti na to, aby udělal i ostatní ročníky. Tzn. pokud dělají problémy dvě zkoušky, doporučila bych spíše konzultace s vyučujícím (většina člověka nevyhodí) nebo si sehnat někoho na doučování. Buď přes nástěnku na MFF, přes spolužáky (to je nejlíp řešit když je ještě semestr, ale snad mezi sebou máte nějaké ty kontakty), poptat se na kolejích. Případně mi napiš do mailu, některé části matiky doučuji i já anebo můžu odkázat na jiné lidi / místa, kde se dá sehnat někdo, kdo pomůže.
Každá škola má svoje - na zemědělce tuna nesmyslných agro předmětů, ekonomka ekonomické věci - všude bude něco, co není až tak snadné. Takže nevím, zda je to až tak rozumné přecházet někam jinam. S rozumnou pomocí se do září dá zvládnout skoro jakákoli matika do úrovně bakaláře, jsou-li znalosti z prváku.
-
To urcite znas, ne, jak leti balon v mlze, a nebohy letec zahledne na zemi clovicka. Zepta se ho, "kde sme" ... a ten odpovi "v balonu", nacez dotycny konstatuje ... to byl jiste matematik, odpovedel naprosto presne, a jeho odpoved je naprosto khownu.
Ano, a tudíž jsme v Tróji nad matfyzem a můžeme přistát jihozápadně ve Stromovce :-).
-
Má zkušenost je podobná jako ostatních - kdo udělal na MFF prvák, ten už má dostatečné schopnosti na to, aby udělal i ostatní ročníky. Tzn. pokud dělají problémy dvě zkoušky, doporučila bych spíše konzultace s vyučujícím (většina člověka nevyhodí) nebo si sehnat někoho na doučování.
Kedze pan docent zije ale v uplne inom svete, tak konzultacie su v tomto pripade zbytocne, ako aj cela prednaska. Prvych 15 minut bola vzdy strasna sranda, lebo pan docent co na srdci, co na jazyku a cloveku sa neda nesmiat, ako listuje v skriptach hore dole a vravi, no toto je trivialitka, toto je zrejme, legracka.. Ale dnes to je uz lepsie, lebo dnes su na neho pripraveni aj cviciaci. Vedia aki je, co asi tak chce a k tomu prisposobuju cvika. Za mojich cias boli cviciaci uplne bezradni, lebo nestihali cvicit a vsetko sa ani predcvicit neda. A rok nato, co uz zili cviciaci v tom, ze uz asi vedia nejako cvicit, to pan docent uplne prahadzal a zas boli mimo. Brala sa zo zaciatku predikatova a vyrokova sa iba letmo spomenula ako specialny pripad predikatovej :)
Prosto kto prejde logiku, prejde aj matfyz :)
-
Pripomina mi to, jak jsem onehdy mluvil s jednim clovekem, ktery sefuje tymu, ktery implementuje nejake matematicke poznatky. Rikal v kostce neco jako: ono s tema matematikama je to trochu tezky - oni totiz kde potrebuji, tam daji nejake to nekonecno, krasne a elegantne jim vychazi dukazy a tim je to pro ne skoncene. Ze to je problem pak prakticky implementovat do nejakych tech promennych a tak, to uz jim vubec neprijde zajimave. :))
To tak, ked niekto najima programatora bez udania jazyku... :) ocividne danemu sefovi pocas kratkej kariery na VS zatajili pojem "numerika".
Moj oblubeny priklad z praxe je logaritmus nekonecna, ktory programator spocital na cca 19.
-
Myšleno jiná IT škola, abyste mne hned neposílali na hnojárnu. :))
V jiných předmětech ani na MFF nemívám výrazné problémy.
Vzhledem k tomu že na hnojárně máme kvalitnější IT než na vše nebo zču netuším proč by si nechtěl k nám, jen to nebereme tak zbytečně do hloubky a nechává se nám tu čas a volnost dostudovat individuálně co každý potřebuje či získat praxi.
nebýt těch stupidních eko předmětů (stačilo by přesunout obor na technickou fakultu) nechápal bych nikoho kdo by šel na jinou školu...
-
Myšleno jiná IT škola, abyste mne hned neposílali na hnojárnu. :))
V jiných předmětech ani na MFF nemívám výrazné problémy.
Vzhledem k tomu že na hnojárně máme kvalitnější IT než na vše nebo zču netuším proč by si nechtěl k nám, jen to nebereme tak zbytečně do hloubky a nechává se nám tu čas a volnost dostudovat individuálně co každý potřebuje či získat praxi.
nebýt těch stupidních eko předmětů (stačilo by přesunout obor na technickou fakultu) nechápal bych nikoho kdo by šel na jinou školu...
Působíte jako troll. Ať už úmyslně, nebo vlastní neznalostí :-)
-
Je mi vcelku jedno jak působím, důležitější je že to co jsem napsal je třeba brát jako fakt.
-
důležitější je že to co jsem napsal je třeba brát jako fakt.
Ale pokud to něčím nepodložíš, je to jen výkřik do tmy. Chtělo by to doplnit, proč ji považuješ za kvalitnější.
-
Vzhledem k tomu že na hnojárně máme kvalitnější IT než {kdekoliv}
(http://cdn.memegenerator.net/instances/400x/26425453.jpg)
-
Hmm... asi je fajn rozdelit informatiku aplikovanou a teoretickou.
- Podle mne je PL dulezita pro teoreticke informatiky, nedulezita pro aplikovane informatiky.
- Vysoka skola, dle meho nazoru, Te nenauci moc do praxe, ale da Ti hlavne dve veci:
1) spolecny jazyk pro komunikaci s ostatnimi v danem oboru
2) spolecny zpusob mysleni, pohledu na vec
z toho mi vyplyva:
- pokud chces byt teoreticky informatik, prokousej se tim. Doporucuju shlednout zahranicni prednasky, z nichz mnoho je na netu a muze Ti to z nich "docvaknout". Budes to potrebovat, jinak budes "outsider" - ne v pejorativnim smyslu, ale proste budes premyslet jinak
- pokud Ti tohle nejde ci Toto neni to co chces delat, prejdi na aplikovanou informatiku (CVUT? VUT FIT?). Budes tam mit mnohem mene takovychto veci (neco ano), kupu projektu, ale naucis se veci vice do praxe.
Ohledne uplatneni - podle mne stejne. My napriklad ted shanime nekoho kdo je dobry na formalni verifikaci, zvlaste pak v casove oblasti, a tam bychom spis radsi nekoho teoretickeho...
-
takovy lopaty nechceme
-
Jsem studentem 2. ročníku bakalářského studia informatiky na MFF a mám pocit, že ta škola je poněkud nad mé síly. Zejména kvůli Matematické analýze a Výrokové a predikátové logice.
Logika an MFF se bere podle síly (resp. inkluze): výroková, modální, predikátová. Kde přesně byl problém?