Matfyz Wiki
Diff for ''
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| Oficiální stránky [http://ktv.mff.cuni.cz/ katedry tělesné výchovy], konkrétní sporty viz. níže. | {{předmět|Výroková a predikátová logika|Josef Mlček|NAIL062}} |
| Line 3: | Line 3: |
| = Historický šerm = * klub historického šermu se zaměřením na volný bojový šerm Duelanti od svatého Rocha přijímá nováčky * cvičí se 2x týdně pondělí a středa od 20:00 v tělocvičně ZŠ Lupáčova, Olšanské náměstí Žižkov * první měsíc bývá zdarma, potom cca 500kč / měsíc, pro nováčky se na první půlrok najde i nějaký ten meč * kontakt: https://www.facebook.com/duelanti/ |
Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty. |
| Line 9: | Line 5: |
| = Plavání = * matfyzáčtí plavci nejsou žádný B-čka: [http://plavani.matfyz.cz] * v [[SCUK|sportovním centru Univerzity Karlovy]] v hodinách pro veřejnost za 80 Kč na ISIC - [http://bazen-hostivar.717.cz/ Plavecký bazén Hostivař] - neoficiální, přesto stále aktualizované stránky * Plavecký bazén na Výstavišti [http://www.incheba.cz/bazen zde] * [http://www.pspodoli.cz/ plavárna v Podolí] ** možnost plaváni ve vnitřním krytém bazénu i ve vnějším, který je přes zimu vyhřívaný (kolem 27 stupňů) ** k dispozici je v ceně také pára (aka mokrá sauna) * ostatní na [http://www.koupani.cz/koupani/] |
## Studijní materiál Mlček (2009-?) ## |
| Line 18: | Line 7: |
| = Squash = * centrum [http://www.squashe.cz/index.php?mm=hastal Haštal] - [http://www.squashe.cz/index.php?mm=hastal&s=2 ceny] pro studenty 130,- za kurt a hodinu (Pá, So, Ne večer dokonce 110,-) * [http://www.mybox.cz/squash-holesovice/ Squash Holešovice] - z Nádraží Holešovice cca 5min na zastávku Maniny (tram #12), [http://www.mybox.cz/squash-holesovice/cenik.htm ceny] pro studenty 130,- za kurt a hodinu |
* [Mlček materiály k přednášce](http://kti.mff.cuni.cz/%7Emlcek/) [požadavky ke zkoušce, celkem brutus](http://kti.mff.cuni.cz/%7Emlcek/EXAM.pdf) * [zápisky Pilát cvika (2009)](http://zaantar.eu/index.php?page=Studijní+materiály) * [zápisky Mlček cvika (2008)](http://www.martinvseticka.eu/index.php?sekce=browse&page=178) * [zápisky,řešené příklady (2009)](http://www.marketa.najevisti.info/studium.php) * [Gödelova věta lidsky](http://cs.wikipedia.org/wiki/Gödelovy_věty_o_neúplnosti) |
| Line 22: | Line 13: |
| * [http://www.squasharbes.cz/Default.aspx/ Squash Arbes] - Arbesovo náměstí, pro informatiky blízko ze školy, studentská cena 170,- za kurt a hodinu | ## Studijní materiál Štěpánek (?-2009) ## |
| Line 24: | Line 15: |
| = Bruslení = * zimní stadion [http://www.nikolajka.eu/ Nikolajka] - Anděl ** cena: 40,- Kč ** - mnoho lidí * stadion na [http://www.stvanice.cz/ Štvanici] ** cena: 80,- Kč ** + kulturní zážitek * stadion pri OC[http://www.icearena.cz/index.php Letnany] ** cena: 80,- Kč ** + kvalita ledu ** + servis ** - vzádlenost od Troje * [http://www.incheba.cz/main.php?pageid=56 malá sportovní hala] na pražském výstavišti ** cena: 50,- Kč ** + dostupnost z Troje ** - žádný bufet ani automat * bruslení [http://supermapy.centrum.cz/map.php?ql=&qlc=-1&bbox=3460802.697119341:5552560.1201646095-3462552.697119341:5553950.037860082&mapsize=1&poi=2,6,7,8&stred=0:0&origin=&sid=&okoli=&search_flag=6 v mrtvém rameni Vltavy] :) ** + stačí zajít na Palmovku a odtud seběhnout k vodě ** + cena :) ** - závislost na počasí * [http://www.praha13.cz/ruzne/stadion/ školní zimní stadion Bronzová] (metro B, stanice Lužiny) ** cena: 30,- Kč za hodinu, 50,- Kč za 3 hodiny ** - v sezóně 2005/2006 mimo provoz * stadion [http://www.hckobra.cz/ HC Kobra Praha] ** cena: 60,- Kč ** otevřeno pro veřejnost: So, Ne - 13:15 až 15:15 ** - vzdálenost (viz [http://www.mapy.cz/?query=Loc:%2050%C2%B01'53.17%22N,14%C2%B025'38.8%22E&zoom=16&mapType=base¢erX=133089632¢erY=135753376#centerX=133087791@centerY=135753054@typ=base@zoom=15@vizType=none@vizIds=none mapa]) ** - hodně lidí |
* [On-line výukové materiály](http://ktiml.ms.mff.cuni.cz/index.php?select=teaching§ion=sources&lang=czech) - slajdy z přednášky, skripta * [Stránky cvika Petr Olmer](http://kti.mff.cuni.cz/%7Eolmer/vyuka/log03.html) - příklady na procvičení * [Studijní materiál na MUNI](http://is.muni.cz/el/1433/podzim2006/MA007/um/) * [Matematická logika na ČVUT (Demlová)](http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html) * [Základní kurz logiky (MUNI)](http://www.phil.muni.cz/fil/logika/uvod.php) * [Výcuc ze skript prof. Štěpánka](http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html) (tahák, PDF) * [Příklady](http://vpl.xf.cz/doku.php?id=start) * [Evýuka](http://snug.ic.cz/index.htm) [Category:Matematika pro informatiky](Category:Matematika%20pro%20informatiky) |